skysight-inc/HackerNews huggingface dataset:
Yes, that's true. But that means the problem is solved, no? I think my previous comment was badly worded. I just meant to say that Go has a concurrent GC and a runtime representation of a value that can instantiate one of a number of different types (i.e. interface values). So as long as one is willing to accept that as an implementation for an enum/union type, all of the major runtime problems are already solved.
Not really,

https://en.wikipedia.org/wiki/Orders_of_magnitude_(speed)

440 km/s—"Typical speed of the stepped leader of lightning (cf. return stroke below).[31]"

445 km/s—"Max velocity of the remaining shell (mass about 0.1 mg) of an inertial confinement fusion capsule driven by the National Ignition Facility for the 'Bigfoot' capsule campaign.[32] Current fastest macroscopic human-made system."

1,000 km/s—"Typical speed of a Moreton wave across the surface of the Sun."
You're moving the goalposts and also in the wrong direction. What does United have to do with this?

Yeah, the US healthcare system is kinda messed up, but you don't see skilled Americans going to take jobs in Italy for the better quality of life.
I searched google scholar for "gait surveillance" articles since 2023 and got 12,000 results. I'd be willing to bet some of them are in operation at this point.
Syrian rebels free prisoners from the Red Prison in Sednaya [video]
Even though the video is obviously politics-related, there is an interesting tech aspect at work.

Allegedly, the rebels couldn't break into the subterranean part of the prison for a long time, because the guards have fled and didn't open the doors.

The doors were kept shut by an electronic system and no one knew how to bypass it.

In this case, "bruteforcing access" is quite literally what happened.

A real-world cryptographic incident, so to say.
Cooking food on par with a restaurant can take literal hours.

Turning on a TV/Home console takes seconds. The convenience factor is not there.
Quantum Computing Inches Closer to Reality After Another Google Breakthrough
>United Healthcare is the 8th most profitable company on Earth. They're #8 on the Fortune Global 500.

Fortune Global 500 ranks by revenue not profit.
I was simply trying to explain why the US refers to entry as “customs”.
Reddit introduces AI-powered 'Reddit Answers' search feature
I've never managed to find a way to wrap my head around tracking price changes over time in a fiat currency system.

When the money supply can be changed so dramatically, how do I know whether energy prices are stable because the comparative value of energy is stable or whether its because fiscal policy is being manipulated to keep the appearance of a stable price?

I'd like to reach for inflation numbers and inflation adjusted prices. That requires an extremely reliable inflation metric though, and when I go down the rabbit hole of how inflation is tracked and how that has changed over time I just don't trust it enough to lean on it for comparison.

"Hard money" based on a tangible asset has definite problems, but prices are much easier to track. Comparing energy prices to a gold backed currency seems much more reliable than comparing against a fist currency that has seems a huge growth in the money supply over the last 80ish years.
"Free" Cooling for Data Centers: Strategies and Advantages
We rely on a multi-layered validation approach, where multiple independent sources must confirm any given data point before it’s presented. Aravind described this well on the Lex Fridman podcast. Behind every green dot is a chain of LLM prompts, reviewers, and “critics” ensuring accuracy. On top of that, user feedback and browsing patterns continuously refine the system’s weighting, so recommendations get better over time. We’re also working on a feature to show which tools your competitors are using. I think this will be really great.
But then you lose all of the benefits of sum types, so what's the point?

You can do roughly what you're asking today with interfaces.
See also: the Dead Internet Theory [0].

[0] https://en.wikipedia.org/wiki/Dead_Internet_theory
Are you not using instruct tuned models ?
Adafruit has a couple holiday guides based on their Feather boards and NeoPixel lights.
https://learn.adafruit.com/festive-feather-holiday-lights/ov...
I believe they just don't market them there, probably not interested in confirming to all the different regulations for different markets, etc. I know some folks have imported them, but I don't think they are sold directly. I think Laura Kampf claims to have one of the first SawStops in Europe.
Maybe they could. I am uncertain whether they would need legislation to do so.

IMO that would arguably be the more correct option, but it would also remove the sort of information pool that can enable leakage or fishing expeditions the current law seems aimed to generate.
That's only true for greenfield projects where people start a new project with types in mind. It's absolutely a nightmare for old projects because, without the need to write types, people write all kinds of code that cannot fit within what's possible in python's type annotations.
> In the US, almost every coffee shop serves drip coffee.

Not in my part of the US. Drip coffee is extremely rare outside of restaurants and doughnut shops. Starbucks might serve it, too, I don't know.

Most coffee shops offer "americanos" (watered-down espresso) as the substitute for drip coffee.
A good deal of fuchsia is done in rust (roughly 50% and increasing over time). People over emphasize the importance of zircon needing to be in rust. It's more important for new code to be rust than for existing code to be rewritten. Zircon isn't a very fast growing part of the entire OS.
the same happens to every other project that gets infested by the CoC people

at that point just move on and find another library/tool/language/OS kernel :(
I'm very much aware of Gentoo...but if you're going to compare basically any distribution is "poor man's Gentoo" because it's a collection of packages built from source files.
Untagged unions lack the ability to model "the success value is a string and the error is a string", right?
Boeing whistleblowers reveal years of concerns over airplane parts [video]
This isn’t a problem in practice. Most of my prompts ask the LLM to do a bunch of chain of thought before asking them to spit out JSON. I extract the JSON, which works 97.5% of the time, and have a retry step being real specific about “here’s the conversation so far but I need JSON now” that handles the rest. Adding examples really helps.
I appreciate your taking what was meant to be mostly a humorous comment in the spirit which was intended.
Show HN has a specific meaning on HN explained here https://news.ycombinator.com/showhn.html, you don't need it for a regular blogpost.
Have you got an overview of how the technical side of this works, from your perspective?

Or should I just go read more about the details of email and DNS and networking and blah-blah and wait for it to click one day? Usually that type of information is written in a Big Tech-friendly way though, and what you're saying here resonates with me. So I wonder if I could skip straight to the good stuff.

I mean these kinds of points you make:

> gmail is not email anymore, it is Big Tech messaging, compuserve and AOL all over again.

> DNS racketeering.
Maybe not "every shop," but ones with a security guard monitoring the video who's actually doing his job, trying to "dazzle the camera" would definitely draw extra attention to you, which is probably not what you want.

"Dazzle the camera" is an idea that sounds good when you fail to think about the whole system, and instead hyperfocus on one component.
Northern Lights Photographer of the Year
This actually is useful, because it allows the symbols to visual indicators when reading currency figures and can be used in a programmatic way. $ becomes a start marker for the beginning of a currency figure where the most significant digit is immediately after the marker and anything remaining after flows from that, and the same is true for cents where the symbol acts as an end marker and infers a lower bound. They can almost be thought of as start and end markers in regex, although they are not used together so not exactly that way.

It makes a sort of rational sense, at least to me.
Exactly. More generally the natural initial value for a fold of an operation is the identity (or zero) element for that operation.
It can and is both imo. It's technically hard to get supplies up that high and culturally people wouldn't want so obviously lessen the accomplishment of getting to the summit.
Grandparent tried to argue that the mere existence of a tag tells GC what to do, when that's racy.

If you avoid the race, forcing sum types to only ever contain a single pointer, sure that avoids the race too.

It still doesn't get you a meaningful zero value, which the language design assumes to exist for every type.
I've noticed the similar pattern and always wondered how Micro Center seems to manage to do OK.
No but I'm in favour of word inventability and extensionabilityization.
(Note that the Rust implementation is by Facebook, not by Google.)

If you're looking to embed a scripting language in a Go program, having a embedded language implementation written in Java isn't very useful. And vice versa.
> Too many spammy applications from Chinese?

As I explain in my own post, to many Chinese applicants, period. A lot of Chinese students are very good, but since China population is huge and a lot wants to go abroad (student visa is a door for immigration) there simply too much demand to go in what is a smaller country in comparison.

Taiwanese are definitively seen in a different light than Chinese, however there isn't a strong awareness of the shared past between the two countries in younger generations.
What is this a reference to? I'm guessing an rlib was required without them considering ABI stablility, but I can't figure out the rest.
links to his useful blogpost: A Gentle Introduction to LLVM IR

https://mcyoung.xyz/2023/08/01/llvm-ir/
Europe's Maiaspace steps up effort to counter SpaceX with reusable rocket
I was called by an NPO and had to drive 500 miles to fix their Y2K problem. Their custom software was written in Savvy from the mid 1980s. The problem that faced them was the get time and date function returned punctuation instead of numbers after 1999. I had to sit down and learn the language and then study the problem. I discovered the punctuation followed the ASCII sequence and was able to write a function to call the date function, analyze the the result and then return the correct timestamp. I offered to write a new modern replacement but they declined. They didn’t want to change. They are still using this software on Linux machines using Dosbox. I switched them to Linux to use CUPS to be able to capture the output to the printer and make email statements. All apps written in this language requires a partition not exceeding 40 MB in size or it will freeze on startup. 25 years after Y2K and they're still using it.
Why not just use YAML at that point?
If you want to get your mind blown, bring up traffic light cameras in Texas where people use "I have the right to privacy" to literally mean they should be able to run a red light [and potentially T-bone someone].

Public roads should be a clear case where your business is everyone else's business since you're hurtling down the road in an increasingly heavier vehicle, but we're far from being able to acknowledge that.
It's not currently pluggable but there are quite few interaction points between RTS & DB so I imagine it could be done relatively easily. Depending on what you want to do, this might work well or become ultra-slow ;) Acton persists the execution of individual continuations (like actor methods but chopped up at every I/O point), so if you write functions in certain ways, you end up with many commits and if the database is not super fast, this can become a real chokepoint.

There are design for how to improve this in Acton through batching and asynchronous commits.
If Ive already ocr'd my pdf's (AWS Textract) and stored each page (3 million) as a row in my search db. Can I send those pages with meta data to your system ? After I ask the LLM the question can the results have sources (my pages location) footnoted?
All these are unimportant distractions from my main thesis. Also you clearly don't know what "straw man" means.

You fail to actually address my main point, which is that everyone was betting against reusability (this inconvenient fact is almost never brought up now, to the point where some people even revise history[1]), and now this same reusability quest is driving their world-beating launch
cadence.

SpaceX's stated goal has always been full reusability, and Falcon 9 is more than halfway along the path. They did warn the industry, from day 1! They told us their end goal and their iterative path to get there, and the rest of the industry ignored them or laughed at them. Now the chickens have come home to roost.

And yes, I'm well aware that F9 isn't fully reusable.[2]

The fact that people like yourself are still spreading FUD about reuse economics (simultaneous with mass industry panic over SpaceX's reuse-driven dominance) only proves my point. The doubters and haters have been proven wrong every time, but amazingly it persists.

[1] https://forum.nasaspaceflight.com/index.php?topic=59186.0

[2] https://news.ycombinator.com/item?id=42367626
Basically, they have an economic incentive to engage but not succeed. Kind of like dating apps.
SaaS in the Age of AI: The Great Software Overhang
Show HN: DefendMyRent – Free Tool to Help Tenants Fight Unfair Landlord Fees
An example might be railroads putting a derailer at the bottom of a hill to protect industry or businesses. The derailer is removed when servicing the line, but put back to protect the end of the line industry from run-away cars. Conclusion: they'd rather have run-away cars de-rail and have to recover them, then letting them damage a factory or business.
Kanmail turns your Gmail labels to a columnar kanboard, pretty useful in wide screens https://kanmail.io/
I like the idea, but I feel like in the context of an enterprise there can be other non-coder roles to help maintain a mental model for future “generations”. As a Technical Product Manager I don’t help with coding often, but usually will create onboarding documentation centered around the “theory” of the system’s programming to help cut down on churn if we bring in new resources.
There are a number of things that can affect crystallization; Storage conditions, filtering, what the bees foraged, etc.

There are some genuine honeys which rarely crystalize.

Afaik (as an amateur beekeeper), it is not a good indicator of anything in particular, there are even reports of adulterated honey crystallizing. This make sense, since honey and fake honey are both a supersaturated solution of sugars that will gladly crystalize if given an opportunity.
CPython on NuttX
I just feel lucky we won't have to deal with the year 10,000 problem.
The sort of "untyped" that your last sentence is referring to is a dead term, though. The only "untyped" language still in common use is assembler, and that's not commonly written by hand anymore (and when it is, it's primarily running on numbers, not complex structs and complex values). There aren't any extant languages anymore that just accept numbers in RAM and just treat them as whatever.

So increasingly, this objection is meaningless, because nobody is using "untyped" that way anymore. The way in which people do use the term, Python is only "optionally" typed, and a lot of real-world Python code is "untyped".
I wrote a systems/integration testing framework for this purpose specifically and I wrote a few essays alongside it. It has the same name as my handle.

Not much traction, unfortunately. Id be interested in any comments you might have.
> Has anyone built a gait recognition system?

Years ago it was announced that some Chinese cities would use gait recognition for surveillance, but I don't know if the deployment stuck. I remember a video showing off the tech, although I can't look for it right now.
MacBook Pros with OLED Displays Won't Have a Notch, Roadmap Shows
A (super easy to set up) rsync on IPhone that can "see" the itunes music folder would be a huge boon and likely change the world for the better!
Absolutely right. Every GUI email client that I’ve tried is clumsy and slow. Mutt is elegant, powerful, and fast.

https://lwn.net/Articles/837960/
Thanks for the feedback! I'll work on improving it. :)
Obesity rates are down. Is that because of weight-loss drugs?
No idea what the practical applications of this are, but kinda interesting. My favorite voice is "Good News (en-US)" on the demo page:

https://mdn.github.io/dom-examples/web-speech-api/speak-easy...

Bee and Puppycat vibes; I think my kids will get a kick out of this.
o1 pro Solutions to 2024 Putnam Exam
Yeah I reckon the scrolling isn't making it easier to focus!
I've tried to use Thunderbird several times over the years, and I always ended up going to something else. Maybe the UI bothered me, I'm not sure.
You might want to layer some sugar on top to enable naming of the variants. I was just trying to keep my example as close as possible to valid Go code.

Even if you have to manually define separate named structs, you still have the benefit of exhaustivity checking in type switches. That's arguably the other 10% that people want.
I am interested in learning about what you are referring to, but you linked his entire Substack and Twitter account. Would you please link a specific post?
This depends on `liar.hats` being undefined, but what if `liar.hats` is an empty array? That seems like an equally valid way of representing a person that owns no hats.
> It's approaching a very strange situation where people make overly wordy and bloated AI generated content and other people try to use AI to compress it back into useful pellets vaguely corresponding to the actual prompts used to generate the initial content. Which were the only bits anybody cared about in the first place. One guy pays the AI to dig a hole, the other guy pays the AI to fill in the hole. Back and forth they go, raising the BNP but otherwise not accomplishing anything.

Dead Internet Theory in a nutshell.

https://en.wikipedia.org/wiki/Dead_Internet_theory#:~:text=T....
> I agree, but I already have a California DMV app that does this. It doesn't need a ZKP.

What happens when you aren't in California? Or what happens when someone from outside of California comes to a bar.

> Indeed my argument is that ZKP seems unnecessary in this example, and yes it's extremely hard for me to appreciate the usefulness of a ZKP with an example where it seems useless.

Then go find better examples if you're this interested.
Really digging the IRIX-style CSS theme on this website.
Just a clarification (that doesn't really change the point), he was in his early fifties when Go was first released
I think the title is actually very misleading. It should be "He Built Apple's 1980s Retro Themed iPad Concept [video]" or even better "He Built a Case for His Raspberry Pi Based on Old Apple Concept Art."
If the problem is having to wait for applicants, then you’re right; stopping early will help. In my experience, companies already do what you’re suggesting simply by having a deadline or time window for filling a job. Even if a lot of companies would love it, most job posts don’t get over three thousand applicants per seat available.

In this particular case, MS didn’t have to wait for people to show up, they got 100k candidates before they could have even made a decision on a small subset. And in general, the problem being discussed in this thread isn’t having to wait, it’s how to deal the flood of applications coming in too fast.

* huge edit to this comment after this rattled around my head a little more: actually, duh, sieve and early stopping are completely orthogonal, this is not an either-or situation, and you are probably assuming a sieve in your proposed approach. You can sieve 1 candidate at a time, since it’s a series of criteria ranked in order of how much time each one takes to evaluate. If someone doesn’t meet minimum requirements, they’re rejected quickly and not invited to interview. If you’re going to stop early but you have a lot of candidates to evaluate, then you still have to sieve. Like, I’m pretty sure you’re not proposing to conduct 37,000 interviews for 100k candidates, right? Even if we stop before looking at all candidates, each candidate will have some early criteria used to cull them, and only the ones that pass all the early criteria are invited for an interview. That’s true whether or not we stop early. The sieve is a given and unavoidable. The only question is whether to stop early, which we would only do if it solves a problem. We can, if we want, interview the same number of candidates either way. The sieve allows you to look at all candidates efficiently, but does not require it. If you do look at all candidates, then the more people in the top of the sieve, the statistically better the final interview pool will be. Stopping early is valuable only if the applications process is slow (which is not the case here) or if the early criteria take significant time to evaluate.
And Programmatic advertising makes this extremely difficult. Once you add a giant, automated ad exchange to advertising you've created opaque supply chains that help make it trivial to obfuscate who actually makes money from an ad. This article on ad fraud goes into more detail: https://xenoss.io/blog/programmatic-ad-fraud-detection
It must have been the initial usage, it seems like the first 5 or so messages are basically set in stone, I was saying complete nonsense and it was basically ignoring what I said.

From there on out it does seem like it's using an LLM.
its use in the legal realm isn't new, and companies like @LegalDiscovery have been at this for years.

LLMs are more general purpose, and will probably eat/merge with that business.
That’s the mafia state.
Comparative lit class will be first in Humanities division to use UCL AI
Slackers have always existed. So the prudent line of thought is to question what purpose the "quiet-quit" terminology serves?

The first thing I notice is that it replaces a description of behavior with an external assessment of a motivation. I already begin to suspect this is one of those slippery words that will be abused for their vagueness by people pretending not to. But for now we'll go get a description from googling. Pretty wide definition, but seems to encompass:

1. Minmaxing. Doing as little work as possible for as much money as possible.

2. Burnout.

3. Employee lets their responsibilities slip because they're busy applying and interviewing elsewhere.

4. Social behavior that is actively against office collaboration and comradery.

Those more specific issues translate to:

1. This is just wage negotiation. At the end of the day, someone performs to the standard of their role and remuneration, or they don't. If someone meets expectations without going above and beyond, calling it a "quiet-quit" is a management whinge.

2. Management is failing an employee.

3. Management has failed an employee.

4. Management has failed a workplace.

QED: This is an HR word for management types to talk about low morale without admitting to their fuckup.
social media can reach far more people with a single post then you can with a single phone call or text message. Social media also rewards engagement and reposting which further propagates a message.
My 2 cts: churn has objectively a cost. At some point that cost can kill a business. Where exactly is that point, depends on many different factors. There is to my knowledge, in this regard, nothing special about software, that cannot be said about other development activities.