skysight-inc/HackerNews huggingface dataset:
(Author here.) I'm biased but I do think that the blending between Guix and Shepherd is unique and supports a level of integration beyond what's usually achieved in distros.

The services-in-containers extension you mention is a good example of that: it is implemented on the distro side (in Guix) without any modification to the Shepherd itself. The good thing is that the distro is in a good position to determine how to set up that container since it knows about the package being run, its configuration, and so on.
This is very cool. It seems like the prompt is asking the LLM to one shot an answer. Have you tried asking it to make a group, confirm whether it's correct, and repeat with the remaining words? (like a human would)
I thoroughly enjoyed this article. I had no idea that Nolan Bushnell / Atari was behind the original Chuck E. Cheese, but in retrospect it makes so much sense. What an amazing playfulness and somewhat crazy thing for them to do-- i don't think having the kind of success Atari had was an accident when you read about visionary, long-term stuff like that (even if the venture itself didn't technically work out that well for Atari / Bushnell _this_ time...).
Of course it is because of weight-loss drugs. And because the richest people are getting on them first, the society-wide effect (on economy etc.) will be way beyond the small drop in obesity rate - because people who matter the most will shed the weight first...
I'm willing to give them the benefit of the doubt, there's a tendency to write like that when you certainly wouldn't say it like that. It doesn't help that it's an example.

In a real meeting, it might be more like "the email bug last week was a big problem. I'm not trying to blame you, but it can't happen again, so what happened?"

But I'm also inclined to agree with you. If your strategy to maintain quality hinges on people not messing up, you'll have a bad time.
A consequence of millions of dead missing leaders in the family and in the community.
I have looked at it but not updated yet, and I don't think I will.
v5 looks more like React (effect, props), but it still keeps much of the simplicity from Svelte.
I think they wanted to be more explicit so it better supports larger applications with fewer surprises. I don't love the fact that they are creating new abstractions to learn when everyone loved the previous ones, but I can see why they did that.
And I think that I'll still have a pleasant experience with v5, but don't quote me on that.
What are the benefits? You mean exhaustive match or...?
Google Debuts New Quantum Chip, Error Correction Breakthrough, Roadmap Details
The kiss of death is when accountants assume control of engineering and production.

Accountants know how to count and save money. A very different set of skills is required to actually *make* money. And doing do often means diverging from a path of least expense.

Intel and Boeing are two prominent examples.
> 440 km/s—"Typical speed of the stepped leader of lightning (cf. return stroke below).[31]"

Good one, I didn't think about that one. It means that galaxies are travelling lightning fast, literally.
Sure, I appreciate that concurrent GCs are hard. For interfaces, the Go team chose one of a number of possible solutions: https://github.com/golang/go/issues/8405 If the language were to add support for union types, these tradeoffs could potentially be revisited.

Other commentators have pointed out that nil is a perfectly good default value for a union (if it's underlyingly an interface).
Everything works. The question is how well it works compared to what (opportunity cost).

Soon you will start to find "Duolingo wrapped" posts on Twitter, and you will see that top 1% of active users spend ~5 mins / day avg. and learn a few hundred words.

Considering that to reach fluency you need around 8k words and 700-1000 hours of study + practice (depending on language, and assuming good mindset, methods, teachers and resources), I'd say that Duolingo does not work at all.

Duolingo is not for people that wants to learn a language, it is for people that wants to want to learn a language.
Making quantum error correction work
IMO I just don't think it would have been anything closet to being as difficult as a Kodak phenomenon for VMWare. AWS started quite small with just one service and it was funded by an extremely low profit margin e-commerce business.

If VMWare had the product vision at the right time they could have been AWS.
Unfortunately "serverHold" goes above registrars. I learned this the hard way. There's a variety of watchdogs that false flag things all the time, and a handful of tld's that will blindly obey these orders. I'm guessing io is one of these. You'll have to escalate it with them, though I was never successful. Good luck.
Porkbun is best on the market at this point.

Namecheap I find is less easier to use and sometimes higher cost over time. I also haven’t had reliable domain renewal service from them when I used them.

Granted this is all a few years back. I was at Cloudflare until this year when I switched to Porkbun and I’ve been very happy
I'm not sure. I understand what you are trying to say - do you think we should give up on OS diversity? Are you making fun of a company for actually investing in something ambitious which can benefit many if successful?

While I'm not sure you are in the same crowd, I always think it's interesting that the HN hivemind tends to be upset with the browser monoculture, but doesn't bat an eye at OS monoculture. It feels like you're really just channeling feelings about the company rather than the projects.
How Atari's star engineers designed the Amiga (and Commodore's, the Atari ST) (2020)
Publishers are selling papers to train AIs – and making millions of dollars
As long as the compiler is not optimizing by "let's give this 3 seconds of solving time, then continue if no better solution is found", then optimizing is not inherently nondeterministic.
some European safety AI company haha. It's exactly what you would expect from Europe :)
Looks like mblaze but with extra steps

https://github.com/leahneukirchen/mblaze
Ask HN: FOSS developers on Gitlab CI, where are you going? Where
Just got an email from Gitlab about their limits for compute on CI. I have my own build infra for my private project and now I am wondering if I should take my FOSS projects there as well or move to Codeberg.
A pattern still overlays a physical object. You can abstractly describe the pattern of a crystal without looking at a crystal.
The correct answer to almost all of these problems that play with the hierarchy levels between English and Math is "undefined". If you want to play in English, you get intrinsically sloppy, provisional, and context-specific answers, and that is effectively by design and a feature, and anyone who insists that there is only one answer is in error. Our languages work that way for good reasons; we see the costs of the occasional misinterpretations, but the benefits of language not requiring endless precise specifications for everything that is obvious in context is taken for granted.

By contrast, if you want to play in Math space, you need to be rigorous, and provide a Math-quality conversion.

If you refuse, what this reveals about the one posing the problem is that they themselves labor under the delusion that you can apply math rules to English, that there is exactly one and only one such mapping, that everyone should know and agree upon that mapping, and that is so true that you are justified in playing "gotcha!" games with people who don't know this nonexistent mapping.

It doesn't paint a terribly flattering picture of such people, in my opinion.

In the meantime, the rest of us should meditate a bit on "The Only Way To Win Is Not To Play The Game", because spiraling down trying to figure out the exact nature of the aforementioned nonexistent mapping is just a waste of time. There isn't one, so arguing it is just a waste of time and emotional energy. Pick a lane up front. They're both fine, but anything that functions by always choosing whichever lane maximizes the "gotcha!" in the moment is not worth spending time on.
That's the only thing? We're talking Apple here. If you can't provide tens of millions of chips per quarter, you're useless to them.

TSMC not only has the best fabs, the chips fly out of those fabs at blinding speed.
I have the same attitude and I don't care if it's rewareded or not, it just makes me happy (and, incidentally, well-remunerated).
Found the classically trained musician.

Any and all formal, mathematical, informal theory about music can be called music theory. Music theory is about modeling music. Period. It does not matter if it's about harmony, rhythm, pitch, form, timbre, dynamics, or some other aspect of music. Whether it helps with understanding music, composing music, improvising music etc is a separate topic. Music theory neither has to be about practical music making skills, nor it has to be about music of a particular artistic tradition. It just needs to present some model that can be a helpful tool in some musical context. Maybe what you call "audio engineering" is a specialized skill for some musical traditions, but for musical traditions where the expressive content primarily comes from timbre and synthesizers are common instruments, it will be an essential music making skill.
Happy Mother of All Demos Day to those who celebrate [video]
> I guess for people that are not very tech savvy iOS is maybe easier and safer.

This is dismissive. I'm tech savvy - I'm a programmer who has written kernel level code shipped to hundreds of thousands of people. It's not about it being "easier and safer", it's about not caring wanting to have to make every microdecision just so I can read an email.
At least in my area, Chuck E Cheese is experiencing stiff competition from places like ClimbZone, a kid-oriented climbing gym and ropes course, and Altitude, a trampoline park for kids. They all have the arcade, albeit in somewhat scaled back form. Their food offerings are vestigial.

I've been to kids' birthday parties at all of these. Chuck E Cheese is the only one that doesn't have our kids asking to go back again on the ride home. They have a good time while they're there, but they don't perceive much "replay value".

In light of that, this seems like a good move on Chuck E Cheese's part. They arguably can't completely get rid of the show component for brand identity reasons, but converting it to screens probably reduces their cost structure enormously. And it could free up some floor space, which would let them shift the focus toward physical play. That is something that has a lot more novelty value for kids nowadays than it did when I was growing up. I think probably because the availability situation has flip-flopped: they live in an ocean of high quality passive entertainment, but opportunities to jump and run with a crowd of other kids are becoming increasingly hard to come by.

I still suspect it's too little too late though? Chuck E Cheese locations are physically too small to accommodate a really good indoor play space. They're typically in strip mall locations that don't offer the kind of floor and overhead space needed to install indoor play equipment that's up to modern standards for novelty.
It just depends on the user. You probably also think cd & ls is so much harder than Finder or whatever.
AI in dev tools, late 2024: where we are and where we might be headed
The challenge is from the security guard who won't let you into the club without proof that you're 21+.
<jk> Maybe they were onto something with bloodletting. </jk>
"Ignoring" is the charitable framing of this.

Sum types and product types are fundamental to a type system, the same way that addition and multiplication are fundamental to arithmetic.

You wouldn't design a language with only multiplication and not addition. You wouldn't design boolean operations with only `&&` and not `||`. You wouldn't design bitwise operations with only `&` and not `^`. You wouldn't design set operations with only `∩` and not `∪`.

The alternative to "ignore" here is "ignorant", so it seems a nicer intention that they were aware of the fundamentals and chose not to use them.
PS: the 700-1000 hours figure comes from https://www.cambridge.org/elt/blog/wp-content/uploads/2018/1...

Everyone quotes the FSI estimate, but I find this one much more generalizable.
This Video is AI Generated! SORA Review [video]
Counterpoint: Archlinux is 89% reproducible with optimizations enabled. The only thing I see which is difficult to make reproducible is optimizations with a timeout.
> Falcon 9 is still not fully reused

Yes I'm well aware. Full reusability is their stated goal, not the current status.

The fact that they revealed their ultimate goal to the entire industry and they still haven't been able to catch up makes SpaceX dominance even more embarrassing. Rather than keep everything close to the chest, SpaceX literally told everyone else "where the puck will be," but they still missed it.

> SpaceX would have launch dominance more or less same as it has even without reusability

[citation needed]

Building 10x as many first stage rockets isn't cheap.
I agree with that. But that can be attemped to be solved by wrapping Nix with a better UX instead of building something from scratch.
Ah yes, the only standardized test questions that gave me trouble back in school... "Guess what the speaker was implying"
Creative Computing Magazine Interviews Clive Sinclair (1980)
>Last week, around 7 a.m. in Midtown Manhattan, the CEO of United Health Care was shot dead on his morning walk. Broad daylight, a busy street, and a man with a gun, it was the kind of scene that happens in São Paulo, Johannesburg, maybe Moscow. But America doesn’t do this

What? Ever read any crime stats?
They're not over expanded and are generally fun to visit. They basically have the right number of stores to interest ratio in an area and they're competitive on pricing.
He said 'all my hats are green' either that statement is to be interpreted to require that the set of hats is not empty or it isn't. In the first case that interpretation would be part of the statement he made.
yo this is genius! and can we take a moment to appreciate how well designed this site is?
I completely disagree but it might come down to semantics on the old 'what is engineering' question. As a disclaimer I understand a company can define its roles however it wants, but engineering software is something specific, and it is precisely because it is technical (and hard to master) that it should be the primary focus of engineering.

Again I understand many companies in the software industry like to blur the role and have engineers worry about much more than just the technical part, but I believe everything is a trade-off. You might be solving one problem but ignoring another in the long term. In this case I think it creates an environment of shallow problem solving, with engineers not having the availability to deep dive and solve problems in a "proper" way (i.e. engineering robust systems that follow solid principles), and instead the focus is in short term execution and presenting small gains as big wins (which is how marketing and business likes to think). Ultimately it depends on the product though, i.e. it could be a shallow app with features growing horizontally and depending on understanding the business more than understanding how to implement a custom framework.
the reason 4o and pro doesn't exist is because they aren't available via API yet!

the website is updated, don't worry :)
Rust has no GUI game yet, and it’s the last heavy bastion of C++.

Therefore, I think it’s because so many Rust programmers were C++ programmers they would like to move another major stronghold over.

Pure speculation though.
last release 2017, good game. also only works on Windows with Linux emulator.
Of the three, only two are Google produced. The rust implementation is written by Facebook for use in their build system. The java implementation is the original but is pretty tied to the the bazel build system and not really very suitable to other uses. The go implementation is meant to be embeddable into a varying number of applications.

An example application is https://github.com/shac-project/shac

Within Google, there a large number of similar tools which are written in go and harness the starlark language. While there are plenty of other options, I will say I think starlark is often a great choice.
In programing, you can always rewrite that first rule as "all" and "some" must compose over set union. So, "all (A ∪ B) == all A && all B", and "some (A ∪ B) == some A || some B".

That lets you discover the answer for the empty set.
Because the FTC is budgetarily starved intentionally and doesn't have the time to go after every minor false claim out there. It's also a somewhat losing game because all they really have to do is have a single measurement showing a car did produce more horse power after placing the slab on the chip, which is extremely doable because measuring generated horsepower is far from a perfectly repeatable measurement, and they could slip out of any case brought by the FTC or winnow it down to a minor fine for less than the profits from their sales.
Obviously they are, that's why they have this problem. Or did the terms "instruction tuning" and "instruct models" change their meaning when I wasn't looking?
So what you're telling me is that I should be listening to you, a random person on the Internet, and expect that one of the most valuable companies in the world with decades of consistent revenue growth, a monopoly in internet search, duopoly in smartphone operating systems/app stores, one of the big 3 social media companies, one of the big 3 cloud compute companies, one of the big 3 AI companies, and the owner of the digital cable TV provider with the highest subscriber count is just going to magically not be successful in the future?

You might as well be telling me that you think that Saudi Aramco is going to go under because they need to fix their "culture."
It's in the site source - although unclear whether this is used directly in the front-end.

In Google Chrome, you can View > Developer > Developer Tools > ⋮ > Search > "you are"

It shows up in this file as of writing this comment:

https://www.y2k.movie/_next/static/chunks/725-60697f355a8830...
I think the objection is to the conflation of strong/weak with dynamic/static and it being unclear exactly what typed/untyped means, since it can refer to either. Python has always been strongly typed at runtime (dynamic), vs say JavaScript which is relatively weakly typed at runtime.

Obviously lihaoyi was referring to static/dynamic when they wrote untyped (as made clear by the reference to type annotations) but kstrauser is objecting to using the term "untyped" since that can be interpreted to mean weak typing as well, which Python is not.

$0.02 anyway.
I did read the abstract. It did mention that they relied on internally created T but then the title is a bit misleading.
Very likely correct in the literal sense (you shouldn’t rely on the published software); but I believe the approach it uses is still relevant / generalizable. I.e. you can take whatever the current state-of-the-art facial recognition model is, and follow the steps in their paper to produce an adversarial image cloaker that will fool that model while being minimally perceptually obvious to a human.

(As the models get better, the produced cloaker retains its ability to fool the model, while the “minimally perceptually obvious to a human” property is what gets sacrificed — even their 2022 version of the software started to do slightly-evident things like visibly increasing the contour of a person’s nose.)
Was 80s stuff not "retro" in 2000? Because I remember feeling that it was.
Willow, Our Quantum Chip
Author was pretty clear about the spirit of the riddle:

>Note: this question was originally set in a maths exam, so the answer assumes some basic assumptions about formal logic.
Looks like you've put a heap of work into it!

I've been building minimal open source versions of those features for JSON Resume -> https://registry.jsonresume.org/thomasdavis/letter

I removed the interview feature because it didn't seem to have much value but I will be sure to give your implementation a spin.

I haven't released it yet, but it feels amazing when I play with the prototype is a feature where you essentially talk to a job counsellor and it writes your resume as you go. It feels very natural and using 4o etc gives fantastic results.
3 months ago: https://news.ycombinator.com/item?id=41287518
This looks interesting, although I'm curious on how it handles binary data, since that page is blank in their documentation.
I could even argue that Asm is to some extent typed. Depends on the processor, but some cisc have operations for different types.
But also the comment is correct: Python is strongly, dynamic typed.
The argument is fair... in a different context.

Monomaniacally monopolizing the topic is anti-social behavior.

I mention this because apparently you could use a bit of clue on that as well. You're actively pushing people away from Rust at this point when you resist the clue stick this hard.
It depends on what definition of "type system" you're using. Colloquially many programmers use it to refer to any system that checks whether objects have specific shapes. Academics, on the other hand, have a very specific definition of a type system that excludes dynamic detect languages. From TAPL (one of the authoritative works on the subject):

> A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.

And later on:

> A type system can be regarded as calculating a kind of static approximation to the runtime behaviors of the terms in a program. ... Terms like "dynamically typed" are arguably misnomers and should probably be replaced by "dynamically checked," but the usage is standard.

In other words, you're both correct in your definitions depending on who you're talking to, but if we're going to get pedantic (which you seem to be) OP is slightly more correct.

Personally, it feels like dynamically typed language advocates have been getting more and more vocal about their language of choice being "typed" as static typing has grown in popularity in recent years. This seems like misdirected energy—static typing advocates know what they're advocating for and know that dynamically typed languages don't fill their need. You're not accomplishing much by trying to force them to use inclusive language.

Rather than trying to push Python as a typed language it seems like it would be more effective to show why dynamic checks have value.