skysight-inc/HackerNews huggingface dataset:
It’s cheap but it’s not available for 1+ months so you have to live without a dishwasher for a month. Idk about your family but mine would struggle for more than a week without one
Good point. I'll add the homebrew installation method. Maybe some other popular package managers.

V is very easy to install from source and to bootstrap. And it changes fast. So we're not big fans of package managers yet.
There is quite a selection in the link I posted… for example FreeBSD/ARM
You should choose what is right for you and accept that others won't like it, like anything else in life
When have protests ever prevented anyone from getting a degree?

If you are a Republican, you have no right to complain about the difficulty and cost of getting higher education in this country. Trump just blew up every regulations regarding student loans [1]. As a result, some people have seen their payments 4x (!!) in a matter of days and defaulting rates just reached 41% (!!!).

These are the real "bullies" you mention. Young people protesting a genocide partly funded by the US state aren't.

[1] https://www.theguardian.com/us-news/2025/mar/24/student-loan...
If only there were some temporary method to get dishes clean without a dishwasher. Because it is temporary, it would be acceptable if the method required more human labor than the dishwasher method.
I will never buy anything Bosch again after reading this thread. What other reason could Bosch have for hiding this functionality behind a website and user account if not to monetize it down the line or worse, bring more of the functionality behind a paywall. We already saw what happened with HP charging to print and even the recent Chromecast outage where something that should be handled locally is pinging back to Google and then working.
> a Git contribution graph

Aka a heatmap.
If we need a fraud detection algo what tech bro demographics would be stat sig?
> I have to pay for my college at a prestigious university out of my own pocket

You can't really cry poverty at Columbia. For the past couple years they haven't charged a cent for any students from families earning 150k/year or less.

> The government should be holding universities who allow students to bully and block students from learning

That's not remotely what this is about. They're using any angle they can find to curb-stomp higher education because it's a source of authority that does not come from The Leader. The picked the protests at Columbia, but they're cutting funding for others because of DEI policies, and if it isn't that they'll find some other excuse. In Maine it's because their governor won't give a "full throated apology"[1] for some imaginary offense.

[1] https://www.pressherald.com/2025/03/22/trump-demands-full-th...
It's been 4 hours already. How are you doing? Didn't forget to eat and drink? Just checking in on you :)
Yeah, stuff like that pisses me off too. At my university there was a protest thing, but it was organized with the police and stuff, and they did it on public land, so it didn't actually hurt things, and I had a good conversation with one of them about the issue that I learned a lot from. I really support people protesting and taking advantage of the rights we are so lucky to have, but I think at Columbia things went way too far.
Open Source Mythology
Divisions being off isn't the end of the world. Even without the bug the division can be fully off due to it using fixed precision floats.

Stress analysis and financial reports are more likely to be wrong due to other sources of error than a division being slightly off. If you really wanted exact numbers you wouldn't be using fixed precision floats anyways.
Now that you mention it, I have always enjoyed that general feeling of resourcefulness. I've talked about this with other people, but given my fairly eclectic background I usually feel like I can handle a pretty wide variety of problems. It's a very centering feeling, so it would make sense as to why other people worry about being overinvested in just one skill.
Over hilly terrain in jungle-y environments I bet that goes down a fair amount though, you have to make the simultaneous leap of wheeled carts plus road paving or maintenance to make the carts not a slog probably.
Such discussions are always the same. You say there are lots of issues, but can never list one. And you point to articles that complain about V using libc or that C2V was released in 2022 and not earlier. It's 2025!

Our documentation is very vast and up-to-date and we try to keep it up-to-date. So if you say it's wrong/missing/outdated, you could post a couple of examples, so that we can fix it. That shouldn't be hard for you.

As for an issue you referenced, yes a pre-1.0 language has bugs. Thousands. Like all other pre-1.0 languages being developed. We fix them quickly (~9k fixed, ~800 open)
It would seem odd, that if he did sign that away, that he nonetheless appeared in the credits of Minecraft, until he caused social media fury, and then Microsoft removed him from the credits.

It does seem crazy to me, given he lived in Sweden, where copyright transfers only economic rights, not moral rights (such as the right to be identified as the creator of a work), but allows the author to waive their moral rights, that he would waive his moral rights.

In any case, he seems pretty miserable, regardless of his twitter outbursts.
Apparmor, systemd, containers, lxc… landlock.

Hard to choose! One thing I don’t run anymore is docker.
I recently bought and installed the same dishwasher. I also don't like the app requirement to access some features. But contrary to some of the other comments, I feel the need point out that it's still a fully functional dishwasher even if you never connect it to Wifi.

You will miss out on a few "advanced" features, but it washes dishes really well. I read the manual before I bought it, and I got the performance I expected. I would have preferred to have access to a rinse cycle and a cleaning mode, but I don't need them. It definitely gets my dishes much cleaner than the old failing one I replaced, and I have no complaints so far about its performance.

A few more notes while I'm here:

Yes, partially unscrew the front legs with a wrench before you put it in place. They are too tight. Partially adjust the rear leg before you put it in too. The diagram is confusing and may not adjust the leg in the direction you think it will. I wonder if this is what happened to Jeff.

The dishwasher apparently will refuse to connect to a Wifi network without a password. For mostly philosophical reasons I don't want to add a password to my network, and this is part of the reason I haven't connected it.

Note that the Costco version (at least in my area) is a subtly different model that does not include the automatic door opening "Auto Air" feature. Since this is one of the best features of this model, you should not buy it from Costco unless you verify it comes with this.

The "touchless" buttons are annoying. It frequently beeps and comes to life when I'm just trying to open the door. The interface as a whole isn't great, and I sometimes worry it's not set correctly. But once you figure it out, it will wash your dishes quietly and effectively.
<absoluteTotalTangent>

I read Australia<snip>Major Problem, and I immediately had the Koxbox track pop into my head. Naturally, it's easiest to find it on YT[0]. I never did take the time to look up where the sample came from, not what the full audio would say. I just assumed that Australians dutifully ignored it when heard as much as 'murikans ignored the FBI warnings at the head of VHS tapes--later DVDs.

[0]https://www.youtube.com/watch?v=sh7IW3Or590

</absoluteTotalTangent>
> by the time I read that it needs to use their website for some functions.

> you cannot use all the functions without creating an account on their website and have them run those functions for you.

Which functions?

This is a really confusing post without knowing what those functions are.
Did we run out of textual tasks that are easy for humans but hard for AI, or why are the examples all graphics?
The strike wasn’t about pay but pensions. Regardless, you deserve to be upset, I just don’t think it’s that big of a deal to get upset over, as it happens all the time (COVID, strikes,…)
Coiling was actually the main method and there's not any evidence they used potters wheels until after European contact and even then it didn't take off.

https://en.wikipedia.org/wiki/Ceramics_of_Indigenous_peoples...
I learned early on it doesn't matter what's inside, but how you present it ;)
https://archive.ph/GvZ2p
Hey, pretty cool! Good going for building all that out yourself, have you worked in Web-tech or anything before?
I am not really referring to wilhelmn II in world war I itself but rather the 20 or so proceding years where his pursuit of naval and colonial supremacy alienated Germany from the British and French, undoing Bismark’s alliance system. WWI I think was almost inevitable.
>voodoo kinds of tricks attacking the nervous system.

You mean like the art of advertisement, or more like what the extant system of social conditioning does in general?
The utility of microkernels is orthogonal to hardware/software co-design.

From a practical engineering perspective, monolithic kernels were faster/easier/had more resources behind them and security is as robust as can be had with C (i.e. best effort and full of bugs). Lots of hardware has been introduced to try and mitigate that mess. But you theoretically wouldn't need a security co-processor with SeL4 because you have a very high degree of confidence that processes are isolated from each other and there are no root level exploits. So yes, hardware/software codesign is important!

That being said, the team behind SeL4 has had to spend a lot of engineering resources on eliminating side channels from the hardware. Hardware is also faulty as the real world doesn't care about your physics simulation.

The benefits of a microkernel here is that it is small enough for formal verification to be tractable. The proof itself is 10x the size of the kernel. Context switching on SeL4 is an order of magnitude faster than Linux, so the performance impact should be negligible. But if we magically could verify the millions of lines of a monolithic kernel, then it would still be faster to not do context switching. Indeed, the SeL4 team tried to move the scheduler to userspace but it cost too much in terms of performance. So it was kept in and added to the proof burden.
Is it acceptable to call this administration fascist yet? Or should we wait until it's outright made illegal?

They are literally appointing political commissars to oversee academics, and creating a special armed force to curb any dissenting voice that would oppose the party's ideological line.

What more will it take for people to get angry?
Consumer reports has been not just bad but actively untrustworthy ever since they framed the Samurai, probably before.
Borland was really a pioneer, made great stuff.. Sad they couldn't survive the Microsoft onslaught both in terms of product and tactics.
This looks great, Eli.

I'm an Australian software developer in the midst of changing careers into primary school teaching at the moment. I still check Hacker News every day out of habit. Perhaps the overlap is stronger than you think!

I've recently worked on my own AI-assisted learning site to scratch my own itch for learning the Ukrainian language: https://naholosy.com .

Nothing in the primary learning space yet... However, I'm also in the final year of a masters and will be producing a self-study on how to leverage my software background to improve teaching outcomes for Australian teachers. I've been thinking about the various ways that I might use my knowledge of students' progression and misconceptions in order to generate tailored exercises to help them whilst saving the labour of manually fitting to a template.

Your work looks VERY highly aligned with the sorts of things I might want to do. I would love to reach out to you in the future and discuss your approaches and/or possible ways to collaborate.

I'll drop you an email when I can. My own is topbenteacher AT protonmail.com
> But contrary to some of the other comments, I feel the need point out that it's still a fully functional dishwasher even if you never connect it to Wifi.

Thanks. Some of the other comments are implying that they’re missing something important without WiFi but nobody seems to want to explain what’s missing.

Can you explain what features are missing without the WiFi connection?
White House Reviewing Signal Use After War Plans Chat Leak
It's ridiculous to call these riots "protests" or "demonstrations". We have videos of anti-israely rioters literally running after Israeli students, assaulting them, not letting them get into classes.

The propaganda is ridiculous and pathetic.

This administration does strange things at times, but this action I support.
> In some ways yes, in some ways no?

Yea I agree, and wrote as much (e.g. revolutions)

> How do Tibet, Xinjiang, Taiwan, and until recently, Hong Kong fit into your theory?

I mean, kinda on a similar level as Yugoslavia, Ukraine, and Western Russia?
So funny to see React among these projects. Tells a story about “frontend” on its own.
Not all proofs have proof terms, so not all proof can be compiled to existing languages.
Show these videos.
Film and tv are safe, this was done by political appointees. The civil servants (you know, the "deep state") are much better about it because it's their job.
I'm not diagnosed anything, but I'm a paid user because of Magic ToDo -- and I don't even use it that often. It really is magic, and I use it most often as a demonstration of what LLMs are capable of in somewhat unusual use cases.
I think this is it. And I suspect most of these folks don't honestly believe they want to actually run acres and acres of farmland as a commercial enterprise.

But speaking as someone who has a small herd of sheep, a few pigs every year and processes his own 50~ meat birds on the property every year. I know how much it sucks to watch a lamb and mother die in childbirth. I know the itch of thousands of hay cuts after clearing a field of bales and putting them up.

And I also have a 2g fiber line to my house and work a tech job remotely for my primary income. My desire to do the land things is not based on mythology. It's because the food tastes better when I helped raise it. It's a slight independence from some of the modern just-in-time food conveniences. It also means I have to work with my neighbors, cause who else is gonna help you cull a dying sheep in a pouring rain and put it down and get it in the compost?

I don't do these things because they're easy. I do them because I feel a little more alive once it's over and I've shared a difficult moment, or a delicious meal with a friend or my children.
Ask HN: Should I leave the company I co-founded?
Longtime HackerNews user, but for obvious reasons doing from a throwaway account.

I'm at a difficult crossroads and looking for outside perspective.

I co-founded a company that’s now doing millions in revenue (with potential for a high 8 figure to low 9 figure exit). We’ve raised very little outside capital and there’s no independent board — it’s just me and my co-founder at the top.

The challenge is: my co-founder and I are now headed in completely different directions. They’ve taken increasing control over key decisions and are steering the company in a direction I fundamentally disagree with. I’ve tried to influence things, but it's become clear that I no longer have real say in where this is going.

Worse, I genuinely believe the path we’re on will run the company into the ground.

I’ve been considering walking away and selling my stake — even at a discount — because if things don’t change, I think we’re going to fail anyway. But it’s incredibly painful to think about leaving something I helped build.

Has anyone faced something like this? How do you decide when it’s time to walk away — even if it means taking a hit — versus staying and continuing to fight for a different outcome?
It's an example of a thing that doesn't make any sense.

And people are made to care about things that don't actually make any sense all the time, you just gotta set up the incentives just right.
Thanks. Yes I worked in web dev 22 years ago after graduating with a CS degree. I've been a high school teacher for over 20 years now though. I've always had side projects on the boil though as I love web dev and try to keep up with changes in the field.
Lol - when I studied aerospace in France the hagiography literature was all about Louis Breguet and Louis Bleriot. I don't recall mention (i.e. in general conversation, offhand references in non-formal literature, or on posters, etc.) about the Wright brothers.

Oddly I don't recall much mention of Alberto Santos-Dumont either so, go figure.
I wrote https://andrewkelley.me/post/why-we-cant-have-nice-software.... after going through a similar process - used Consumer Reports, and then purchased exactly the one pictured in the blog article.
Getting actionable insights.
> Every 6 months you need to do this otherwise pay for a service call to do this.

Is this legal? It seems like an excellent case for a state attorney general to sue them. At least extract a settlement with promise to repair the software bug.
> One could argue, as many have, that some of this increase in housing cost is offset by decreased costs in other expenditures such as food or technology.

A Georgist perspective on this would be that it's the decreased costs in other goods and services which have (partially) contributed to the increased cost in housing, as any increase in disposable income allows you to bid up the price of land. Not everyone does, but enough do so that it has this overall effect, and the effect is stronger where housing supply is already limited.
Well, I have a bunch of successful parents that think that "higher education" == "converting kid to liberal trans gay woke person" that refuse to actually pay for education. I got an opportunity to go to a very prestigious program for CS that was my goal for my entire life. If the same thing that happened at Columbia happened at my university, I would be very upset because my one opportunity that my entire life has led up to is being ruined by a bunch of people who think that blocking classrooms and harassing people is the best way to get what they want.
>> The reason these tasks require fluid intelligence is because they were designed this way -- with task uniqueness/novelty as the primary goal.

That's in no way different than claiming that LLMs understand language, or reason, etc, because they were designed that way.

Neural nets of all sorts have been beating benchmarks since forever, e.g. there's a ton of language understanding benchmarks pretty much all saturated by now (GLUE, SUPERGLUE ULTRASUPERAWESOMEGLUE ... OK I made that last one up) but passing them means nothing about the ability of neural net-based systems to understand language, regardless of how much their authors designed them to test language understanding.

Failing a benchmark also doesn't mean anything. A few years ago, at the first Kaggle competition, the entries were ad-hoc and amateurish. The first time a well-resourced team tried ARC (OpenAI) they ran roughshod over it and now you have to make a new one.

At some point you have to face the music: ARC is just another benchmark, destined to be beat in good time whenever anyone makes a concentrated effort at it and still prove nothing about intelligence, natural or artificial.
That’s really unfortunate considering they are a top rated dishwasher with historically basic feature sets on their products. My Bosch doesn’t even have an LCD display on it.
You can easily convert these tasks to token strings. The reason why ARC does not use language as part of its format is that it seeks to minimize the amount of prior knowledge needed to approach the tasks, so as to focus on fluid intelligence as opposed to acquired knowledge.

All ARC tasks are built entirely on top of "Core Knowledge" priors, the kind of elementary knowledge that a small child has already mastered and that is possessed universally by all humans.
Gift link: https://www.theatlantic.com/newsletters/archive/2025/03/jeff...
Discussion: https://news.ycombinator.com/item?id=43462783
Just Launched Card Memoir – Build Simple, Visual Interfaces with Cards
Hi everyone! I'm so excited to finally share something I've been pouring my heart into: Card Memoir.

It's a new platform that lets you build simple, visual interfaces using linked cards. Think of it like a website builder, but way simpler and quite flexible. You can create anything from resource hubs to interactive learning modules, all with drag-and-drop ease. Up to 24 visual links per card!

Why did I build this? Honestly, I was tired of clunky unsatisfying interfaces and scattered information. I wanted a better way to visually organize my own information and share it with others. So I built it!

Here is the interesting part:

• Easy to use: just drag, drop, and link. Every tiles is a visual button.

• Flexible and powerful: Anything from simple lists to complex knowledge bases.

• Affordable and sustainable: Simple pricing at ¢50 per Publication Seal.

Read more about the concept, see example cards and look at the making process video at https://concept.memoir.cards

I'd love for you to check it out and see for yourself!
#CardMemoir
More:

https://www.theatlantic.com/newsletters/archive/2025/03/jeff...
> Congress hasn't been neutered

It has. Congress' job is to pass laws and give the executive laws to execute. When the executive is suspending the constitution, kidnapping people and sending them into slavery in foreign countries, engaging in open graft (let's be honest about what the Trump crypto coin is), it's their job to hold him to account.

Just because a majority of congress is cooperating with suspension of the Constitution doesn't mean the everything is above board and legal. Congress has been neutered by the political party that has captured it.
I think this is annoying, but given that the basic functionality works, it personally wouldn't be a dealbreaker for me. I don't normally do anything fancy with the settings on my dishwasher, I just want it to wash the dishes. I'd rather have a dishwasher that puts delay and eco mode behind an app, than some shitty dishwasher that doesn't clean the dishes well on the "normal" setting.
Declaring a variable or function as extern(al) just tells the compiler to assume that it is defined "externally", i.e. in another source file. The compiler will generate references to the named variable/function, and the linker will substitute the actual address of the variable/function when linking all the object files together.

Modern C won't let you put extern declarations inside a function like this, basically because it's bad practice and makes the code less readable. You can of course still put them at global scope (e.g. at top of the source file), but better to put them into a header file, with your code organized into modules of paired .h definition and .c implementation files.
Dishwasher electronics are subject to elevated heat and humidity levels. A DIY solution will be extremely unreliable. An amateurish job on the power electronics can be a fire hazard and will void any insurance policy if they find out what you did.
>> We were assured by the highest level of their company + security division that the box our test was run on would be wiped after testing

Yuri Geller assured us he was bending the spoons with his mind. Somehow it was only when the Amazing Randi was present that Yuri Geller couldn't bend the spoons with his mind.
It's tricky to get ChatGPT (even with o1 pro) to generate good manim code:

https://x.com/RahimNathwani/status/1901771994397622357?t=LGO...