skysight-inc/HackerNews huggingface dataset:
>Using the same language everywhere. Naturally, if we want to share type information as much as possible, we need to be using the same language

This goes to the heart of what's not great about this, types impose global semantics on a piece of software, they introduce coupling. (It's why Alan Kay used to stress "late binding of all things") as a feature of managing complexity.

In fact one result of this kind of programming were microservices. What do they do? Reintroduce runtime dynamism. It's not often framed that way but there's a reason you see more statically typed microservices than Lisp or Erlang ones. It's because they're an attempt to get away from the coupling imposed by type driven programming and towards more independence of each service. Which is already baked into message based, dynamic languages.

And there's also a fundamental misunderstanding about data and types in the article.

> Making our types represent the “truth”

Types can't represent truth. Real world data doesn't have types. It changes incrementally however it wants, and all the time. You can use types to not let something you don't want into your program, but you can never represent arbitrary real world data by matching types onto them.
I love Crystal and have been a sponsor for a long time, but it's not comparable yet. Compiling is much slower, you have to manually add dependencies to shards.yml, cross-compilation is not as simple. And when it comes to scripts and tools, popularity / stability is a main concern.
Maybe just set a reminder in your phone annually to replace all AirTag batteries
Limiting piracy is the ongoing reason, but there is also the historical reason of the Video game crash of 1983 which led to Nintendo's Seal of Quality.

Essentially as the platform owner, you want to ensure games sold for the platform "just work", and if you have a bunch of third parties running bad software, consumers would lose faith in the platform altogether.
There is some research suggesting that maximizers, people who insist on only the best, are less happy than satisficers, people who stop when they've found something that's good enough.[1] Perhaps it has something to do with how maximizers, due to their exhaustive research, know all the shortcomings of the thing they eventually choose. Anyway, this research is pre-replication crisis, so who knows if it has stood up, but I've found maximizer/satisficer to be a useful distinction.

1: https://en.wikipedia.org/wiki/Satisficing#In_personality_and...
I’m a new developer (2-4 years experience, all self taught) and I get what they are saying.

I obviously have gaps in my knowledge (started with Python, moved to frontend). Frontend is too abstracted from actual CS.

But I actively take University papers in my spare time on CS, and do C in my spare time to appreciate the lack of abstraction in low level code.

I really enjoy this (learning and C) more than economic programming (frontend, web, career).

I just love learning and realising how little I know. The latest thing I’ve learnt is that structs can have holes, and struct packing for situations where you need specific address offsets. Made my own bitmaps from scratch etc.

Next I’m thinking of picking up a Lisp.
Conservative-Sponsored Petition Calling for an Immediate Canadian Election
Going a bit farther back, we had Brainstorm (Natalie Wood's last movie): https://en.wikipedia.org/wiki/Brainstorm_(1983_film)

There was a scene, where one of the researchers looped a porn scene, and they busted down his door, to find him in bed, twitching.
Another thing that happens to outdoor grown cannabis is pesticide contamination. Even if your farm is a good distance from some commercial agriculture, if they spray it can, and does, contaminate your crop -- which for regulated cannabis requires destruction. Literally burning (or composting) thousands of dollars of product.

And if the pesticides test are hot on the cross-contaminated cannabis; how much is on those apples three fields over?
Microsoft renames Microsoft 365 App to Microsoft 365 Copilot
No, I don't think you understood the GP's argument. Network and filesystem errors are not always "unrecoverable constraint violations". They're often just simple errors -- things that you should expect to happen, even -- and your (1), or, better, (2), are the most appropriate reactions to those.

"Unrecoverable constraint violations" occur, for example, when you've done a sanity check on some data structure and found that it's in a state that should be impossible, and so continuing from there is unsafe.

Even then, you may choose to handle them in a better way than simply aborting the program. For example, if I'm writing a HTTP service that is backed by a database, and I get a customer request that results in me finding that a column in the database is NULL when it shouldn't be, I'll probably just return a 500 error to the customer rather than panic!(). The assumption is that even though there's a problem with this particular data, that might be the result of an almost-never-hit edge case, and we can still serve other customer requests just fine.

Sure, a simple single-user command-line application may choose to panic!() if a critical data file can't be opened from the filesystem. Maybe that is an "unrecoverable constraint violation" sometimes. But I think there's a lot of nuance you're missing.
> I don't see many poly gay dudes

From my experience. I only know a few poly gay men. I know far more gay couples in open relationships that have similar lines that I do when it comes to anything beyond that.

I mean, for sure those lines get blurry. Things that you may traditionally associate with dating like cuddling on the couch at a party (just a party, not anything more) or similar things. But, there is still that line.

I do wonder why that seems to be the case. I am reluctant to get into stereotypes to explain it...
No question about it; we did all of those things! We took up new indoor hobbies, too; I learned to bake bread, and my wife made tile mosaics. The life was not without its charms. No matter how busy we kept ourselves, though, it was lonely, and the feeling that I was perpetually just killing time, waiting for something to happen, grew hard to bear.
Theft-tracking is sort of an "off-label" use for AirTags, from Apple's perspective.

They'd rather make AirTags less generally useful than make them both more generally useful + open to stalking occurrences and lawsuits.
When you’re on your deathbed, I’m sure you will be glad that you spent your kid’s taekwondo tournament writing an email so that an e-commerce company could make line go up.
The quote isn't about "Poly" it's about non-monogamy. Having a one night stand with a stranger while simultaneously having a partner is not monogamy.
And it’s so advanced because it was/is designed to represent the types of real world dynamic JavaScript. More often than not, when people complain about the complexity of the types they encounter in the TS type system, they’re really complaining about the types of the underlying JS (which are the same whether they’re expressed statically or not).
Thank you for the correction there have been way more of these than I thought.

It seems they are referring to this as a "landmark" ruling because it's the first one with a "payout" condition.
Certainly not JS, you can learn most features of JS in a year easy. Not what I’ve heard with C++
Out of curiosity - what would you say is the reason for this rise in prices if energy generation is so effective as the article implies?
Fiestaware from Macy’s is exactly what I’m referring to in the original post - they changed the design slightly on all items few years ago and now plates don’t match! We still use them, of course, but it’s funny that this was the core proposition why we used this brand and they compromised it.
It's possible it could have been a trucker with a bad tire throwing extra rocks for awhile, damaging windshields, who then left the area.

I'd say that is more probable than collective delusion.
I have a hard time believing the ‘since’ part of that description. Intuition suggests the latest iPhone would take that crown each year.
I think you can still thread the needle. The cases are identical except for one situation--if the air tag is difficult to find or remove.

If you can't find or remove the air tag, then the option you have left to not be tracked is to separate yourself from the tracked thing. In the case of someone being stalked, that's inconvenient (that doesn't do it justice, but not really important to my point). In the case of someone who stole something, that's actually the desired outcome.

Imagine a situation where you get in a car and a few minutes later it says there's an air tag following you.

If you're being stalked... you can drive straight to a mechanic who can take all the time they need to find it, take a taxi over to the police and report it, etc.

If you just stole that car, now you know you're on the clock. Once someone's looking for you and that vehicle, there's a really good chance they're going to find it. You can take it to a mechanic, but a reputable mechanic might have some questions. You can try a less reputable mechanic, but they're gonna be pissed when the cops come knocking asking about the stolen car sitting over there and you might not be going back there any time soon. So if you can't find and remove the air tag relatively quickly, what options do you have left? Probably makes more sense to abandon the vehicle and try another one with a lower risk of winding up in jail.

I _know_ where the air tag is in my suitcase and it would take me tools and ~15 minutes to remove. How long is someone going to spend at that versus just tossing it?
So they learned their lesson and hopefully don't make the same mistake again. We are in anecdote land now (both yours and mine), I don't know what's more common. Behavior like that (waiting for long for perfect candidate) can cripple or kill businesses
> Which specific aspect of that work was responsible for humans being better able to solve complex problems after its development which could not have been solved before it, if the same access to materials and resources were available?

It sounds like you don't know what the scientific method is?

> The German regime

Yes, it was. And I wrote "tend to be" not "absolutely 100%".
Dear god please no. The kind of people who don't notice empty batteries also don't notice the annoying beeps. But I do.

Apartment living can be hell when there are neighbours who don't replace their smoke detector batteries. I can't fathom how people can sleep through this loud annoying chirp every thirty seconds. I certainly find it hard and my apartment is far enough away that it's hard to determine where exactly the chirp is coming from.

The thought of smoke-detector like beeping of airtags all over the place gives me the worst kind of creeps. Please don't give them ideas! Please!
It's not called a Code Red.

Not all catastrophes are immediate in nature. Most organizations have incident response protocol which works well enough for an immediate catastrophe. Non-immediate, gradual threats can represent a much greater risk, because there's no inflection point (beyond "way too late") where the threat becomes so imminent as to trigger that response. Code Yellows are a mechanism to artificially force that inflection point before it is too late.
It burnt down in its early days when it was a shack town, before the cluster of multistory buildings were erected.
> 2019: Building our fourth senior executive team in six years to lead us to the next plateau of scale.

Sounds like nobody was sticking around long enough to even find out.
It’s not pedantry at all, he’s highlighting a major usability issue
Are the encryption quantum safe?
Can't believe I never noticed this. I've used GLM a bunch before.

It's funny, and it's nice, but it's not quite the ironclad level of "NO MILITARIES" as I'd like. Plus, enforceability becomes a question with classified military stuff, not even going into the actual legal discovery process. A common license would suffice for me, as I'm not going to modify the GPL as they did.

Thanks for sharing though, it made me laugh.
My advice, prepare to be disappointed whatever you buy. The state of modern appliances is a dismal landscape of bare minimum functionality and corner cutting.

We tried to avoid the garbage tide by thinking "you get what you pay for" and paid a lot expecting a better outcome. Ha! The Miele dishwasher we got didn't last 5 years. Turns out the fancy German engineering does not help with reliability but with creating overcomplicated designs with more moving parts.

The d/w that the Miele replaced was a damaged floor model we got for $100 from the orange store. It was so bare the bottom had no cover (by design) and all the parts were exposed, buttressed by some styrofoam and glued to a unibody plastic tub. It literally looked like something out of an injection molding machine with a bunch of parts randomly stuck to it. And yet it lasted longer than the replacement. We're going back to absolute cheapest and expecting to just replace every few years and still come out ahead.
We’re talking broad-stroke statistics here.
Returns of what? I feel like this argument is leaving out words and skipping logical steps. Hamburgers are a product, cars are a product, cleaning services are a product. Wealth is not a product.

If you have a company and worker productivity goes up 200%, where does the product go? Wealth created selling that product may go to the owner, and carry power with it, but that doesn't answer the fundamental question. Where is the product?
Brought Larry Page back to do what? Google is worse than ever, Gemini is just one more piece of clutter ruining what used to be a useful tool.
Builders: optimize energy capture, put roof planes directed south (in northern hemisphere).
> Perhaps they want to see what people come up with for this.

Not going to happen without jailbreaking the locked-down VisionOS.

Apple could choose to enable for 18 months, then integrate the best use cases into the platform.
> At Beacon, we are not going to wait for the next crisis to sweat our biggest challenges; we will build a culture that makes Sweating The Problem our default.

Brilliant! I love it. It's Code Yellow all the time. If it worked once a year at Instacart, and Google made so much progress with it, we'll just turn "the Yellow" on all day, every day.

Then maybe they can have a Code Red for when it's super-duper important to "sweat" the problem.

> you walk away with the confidence that you can handle whatever comes next.

You don't even need a bonus, just enjoy your new found sense of accomplishment. And maybe a subscription to the jelly-of-the-month club [1]

[1] https://kitchychristmas.com/jelly-of-the-month/
Nice to see, I hope it helps people get more cheap energy.

All I have are nits to pick:

> 10.7k TWh globally

This brings back memories of the time I almost shortened "thousand kilometres" to "kkm".

Also, and this is not a criticism of Google, the IEA link on that text looks suspiciously like the IEA is still forecasting linear deployment of PV between 2025 and 2035, despite at least a decade of people pointing at it being historically exponential and asking why they don't assume the exponent will continue — I'm expecting about double their number for PV by 2035, if trends continue.
Sendy kept sending confirmation emails to one of my subscribers for months
The first point lost me because it pushed responsibility for functioning software onto the user. If your entire application ecosystem has to be recompiled because you conceived of a new clever way to conceptualize the data that doesn’t actually affect the user experience, what happens is I have to update my damn bank app every time you think you’ve done a smart, even though you’ve changed nothing in regards to my checking my balance.
our local PD was union at the time. we never got any overt support but there were a few kind gestures. on a cold morning an officer dropped a box of chemical hand warmers by the dumpster and made it very clear he was disposing of them because they were "the wrong size" and he wouldnt be back today to check on them. about three days later his supervisor made a trip to the dumpster and left out a box of donuts and a big take-out coffee jug, warning us we absolutely shouldnt consume them after he left as the donuts were the made the wrong size and the coffee was too hot.
Scientists find new forms of life inside human bodies
When I lived in California I wrapped a bunch of chain around the cat on my truck. Wasn't actually that secure but thieves see a ton of chain and padlocks and go "ehhhh keep moving."
This is exactly what I do with socks, and then I replace the whole set.

But then it runs into (un)surprising problem: most brands don’t maintain their designs, so if you find something you like, it’s not going to be available when it’s time to replace entire set couple years later.

In the end I standardized on Blacksocks, which seem to have same design forever, although they are more expensive than I would like.
Kdenlive 24.12.0 Released
In my experience close to 100% of productivity increases accrue exclusively to shareholders.

When my companies have produced more output from the same inputs (or the same output from less inputs in the case of mass layoffs), we return the cash to shareholders by way of a stock buyback or special dividend the following quarter.

Maybe in some companies they instead give workers raises or outsize holiday bonuses, but I’ve never seen this.
From the US Department of Justice's lawsuit against Apple:

>Apple recognizes that driving users to purchase an Apple Watch, rather than a third-party cross-platform smartwatch, helps drive iPhone sales and reinforce the moat around its smartphone monopoly. For example, in a 2019 email the Vice President of Product Marketing for Apple Watch acknowledged that Apple Watch "may help prevent iPhone customers from switching."...Apple also recognizes that making Apple Watch compatible with Android would “remove[an] iPhone differentiator.”[1]

The lawsuit also alleges that Apple degrades APIs to hurt Third Party watch manufactures.

[1] https://s3.documentcloud.org/documents/24492020/doj-apple-an...
The image processing described is very cool, but I have questions about the application. Google started doing these solar potential estimates about 10 years ago, so let's imagine that they have been developing the capability since about 2010 or so. In that time the cost of PV has fallen by an order of magnitude. Hasn't that settled the question of where PV should be installed? I thought the answer is now "yes" everywhere.
I’m not quite following your point. It sounds like you’re agreeing that Jira sucks?
When I get out of my car, my iPhone remembers that this was the last place it was connected to the car's Bluetooth. I don't have an special devices or tracker apps or anything else, just "Find My" automatically pinning my car's location on the map. That's such a neat and helpful feature!
4.5M GitHub Fake Stars: Growing Spiral of Popularity Contests, Scams and Malware
I wish it didn't require authors to practice doing the wrong thing (writing invalid HTML) for to use the tool.

Authors are free to either create any data-* attributes they wish for any purpose, so long as the custom attributes are prefixed with "data-".

Authors are also free to create any (valid) HTML custom element, and to invent custom attributes for those elements.

But this appears to require authors to write invalid HTML.
A second species of Asian wasp appeared also in Europe near an Amazon warehouse. Extirpated, I hope.

The situation with Vespa velutina looks "stabilized" with a lot of traps set, but they still keep killing people here and there. Sarcozy fucked it royally when they appeared and the government didn't understood the need to allocate resources against them.
Microsoft renames ‘Microsoft 365 Copilot Studio Laptop’ to ‘Microsoft Copilot 365 Copilot Studio Laptop Copilot’”
I’ve said “you guys” all my life (grew up in the northeast) but I’m a professor and teach mixed-gender classes from all over the world. Plenty of people are completely fine with “guys” as a gender neutral term and express bafflement that there would be a problem. However: a non-trivial percentage find it weird, not necessarily because HR told them to, but because it really sounds odd to them. One person asked me if it would sound normal to ask “how many guys have you dated recently” and I took their point that this would indeed sound very gendered.

The lesson is: things that sounded normal to you and your peer group growing up might not work in the larger and more culturally diverse world you encounter professionally. So why insist on them? I’ve switched to “you folks” which makes me sound like I’m about to lead a square dance, but people seem to find it disarming.
Film geeks still talk about Strange Days. It has a cult following.
> First, I assert that Java's checked exceptions are a solidly good feature.

I agree in theory, but I think they're very poorly implemented, and the syntax and tooling around handling them is terrible. And, frankly, those flaws (yes, I agree everything has flaws) make the overall feature mostly useless, unfortunately. It really doesn't matter where you think all the hate comes from; the hate is there, and it means that very few people use checked exceptions, except for where they're required to when stdlib methods throw them. Ultimately that's all that matters. If no one uses the feature, then it's not a useful feature, regardless of the reasons.

> The issue is that Rust's Result (and Java's checked exceptions) require a different paradigm. A Result is in the type signature because it's part of your domain's API design.

Correct, but in Java, checked exceptions are also a part of the API and ABI, so there's really little difference there, outside of ergonomics. (Which IMO are one of the most important parts!)

> (This suggestion is sarcastic to prove a point. It should, hopefully, sound ridiculous to add stack traces to every return value from every function.)

I don't think that proves a point. Sure, you can argue every proposal into absurdity; it doesn't make the suggestion itself bad.

> Rust has unchecked exceptions; they're called panics and they are 100% okay to use* in the vast majority of applications that the vast majority of day-job programmers work on.*

Yes, and this really bothers me. I wish more people would annotate their functions with `#[no_panic]`. Actually, I wish that was the default, and if you want to write a function that panics or calls functions that can panic, you need to annotate the function with `#[can_panic]`, and the compiler should enforce that, and `rustdoc` should surface that in all documentation.
> Waterfall development is the most appropriate way to develop software, most of the times.

This is only true if you work on unimportant projects where delays and failures are acceptable.
Thank you so much for doing this work. I expect many NLP projects and organizations are going to benefit from this, and I'm looking forward to all the models that will be derived from this. I'm already imagining the things I might try to build with it over the holiday break.

Tiny feedback maybe you can pass along to whoever maintains the HuggingFace blog — the GTE-en-MLM link is broken.

https://huggingface.co/thenlper/gte-en-mlm-large should be https://huggingface.co/Alibaba-NLP/gte-multilingual-mlm-base
Downvotes are mad that you're correct.
Believing in Santa does not inspire your kids to be good for goodness' sake
> Types can't represent truth. Real world data doesn't have types. It changes incrementally however it wants, and all the time.

What do you mean? If a variable is a date/time or an integer etc. in the real world it should stay that way and be represented as such in software.