skysight-inc/HackerNews huggingface dataset:
Ouch, thanks. About what I get now on a single-CPU box with 128 GB+a 4090. Was hoping for a major speedup.
Creating transparency... everyone is so placid about this.
Daniel Kahneman, Nobel laureate in Economics, described this in his book, "Thinking, Fast and Slow".

Saddam Hussein's capture caused oil industrial stock to climb because of the association between oil and the Middle East. After people realized that Saddam Hussein actually had no relevance to the price of oil or the product, the socks fell back down.

Stock market is quite often pushed emotion and asinine assumptions versus logic and reasoning. Enough social media echo cambers can easily sway stock prices momentary to make a quick buck.
The "Linux-related drama" is child's play compared to what I have seen occur within corporate governance meetings.
Hey HN -

I made a bunch of GenAI projects in 2024:
- 2 frontend React/Tailwind codegen projects (1 an agent, and 1 a really cool website builder)
- 1 Node.js codegen AI agent
- 1 ecommerce product placement image generator

I'm not working on these anymore (and the code and dependencies are probably far out of date now unfortunately - haven't looked at some of these for a year at this point).

But I thought I would just go ahead and make the code public and share it out there in case it can help anyone or inspire some new ideas.

Besides just sharing the code, if you click through to the detailed pages for each project you can see a demo video of each one showing how it works and read some of my notes about each one.

About the projects:

I really love the website builder, it's probably my favorite project I've done - so many cool details.

Other projects have some cool agent things going on, maybe some novel approaches to codegen in there - not sure.

The image generation one has a bunch of ComfyUI workflows that I spent a bunch of time on.

Happy to answer any questions here - although I'll probably have to review the code if anything is too in the weeds as I've forgotten a lot already.

Also the code is not very well-organized and there's some dead code and stuff floating around and things commented out or half-implemented at places. I didn't bother to clean it up too much besides making sure I'm not leaking any env secrets or API keys (if you spot one, let me know please!)

And last - these are mostly written in Node.js, React, and a bit of Python. I don't claim to be an expert in these languages and was pretty unfamiliar with using them before I built these - so don't use this as a reference on how to write great code, rather I hope you enjoy the concepts behind the features.

Hope it can be of interest and potentially of help to someone out there!
Next election is November 4, 2025, Choose wisely.
https://en.wikipedia.org/wiki/2025_New_York_City_mayoral_ele...

Adams is running again.
It's greatly improved with Flathub's "Verified apps" [1] implementation, but you can make similar arguments about downstream packaging (e.g. from distros) not being clear about being independent of "offical" builds.

It's also very worth noting that `Fedora's Flatpaks` are sourced separate from the "Main" `Flathub` service which most people expect flatpaks are generally being sourced from which has many "official" flatpak releases of software directly from projects leading to extra confusion.

Flathub itself is fairly auditable (but not trivially so) and built through their CI, but I still agree that the unofficial packages are often of questionable security/quality.

That said, Many of the "native" (e.g. not Flatpak) distro packages are using far from supported/official builds with often missing/broken features and it's an unreasonable support burden when nearly all of issues related to distro packaging end up on the upstream issue trackers/support channels.

It's especially troublesome when the upstream has official builds available and it's unclear to the user reporting issues that they are not actually using official builds.

[1] https://docs.flathub.org/docs/for-users/verification/
The point that I was making was that there can be no federal law which requires an institutional review board for private research, which was something the author alluded to in the paragraph after the flow chart:

> The government can’t possibly claim to regulate what me and my roommates eat at home! That would be stupid!” Yes, it would be stupid. But who says the world makes sense? Now, would you actually be prosecuted for violating those rules?

Author says "those rules" without actually citing anything.

There is no scenario in which the Secretary of HHS can create rules which would do what the author was suggesting. It is not even something Congress could do, which is why they haven't created a statute which goes beyond their authority in requiring these boards for anything other than research receiving federal funding. If the Secretary were to create such a rule, it would obviously exceed his authority.
> Article doesn't say what parts of Nvidia's stack use SPARK.

Their linked case study lists three examples and one category, https://www.adacore.com/uploads/techPapers/222559-adacore-nv...

- image authentication and integrity checks for the overall GPU firmware image
- BootROM and secure monitor firmware
- formally verified components of an isolation kernel for an embedded operating system
- In general, their targets tend to be smaller code bases that would benefit the most from SPARK’s strong typing, absence of runtime errors, and in some cases, rigorous formal verification of functional properties

More details in 2021 talk on RISC-V root of trust in Nvidia GPUs, https://www.youtube.com/watch?v=l7i1kfHvWNI

> NVRISCV is NVIDIA’s implementation of the RISC-V ISA and Peregrine subsystem includes NVRISCV and multiple peripherals. They show how fine-grain access controls, formally verified for correctness, allow following the principle of least privilege for each partition. NVRISCV provides secure boot that starts with an immutable HW, the chain of trust extends to the Secure Monitor in SW, where partition policies are set up and isolation enforced using HW controls.. Boot and Secure Monitor software is implemented in SPARK.
It's hard to tell what components are now written in spark. The driver is mostly c, and none of the open source repos are identified as spark.

https://github.com/NVIDIA/open-gpu-kernel-modules

https://github.com/NVIDIA/
> Why would we assume that Ted […] acting in good faith?

Because he has done more for Linux than you ever will. Therefore, he gets all the benefit of the doubt, and you are assumed wrong
I am not saying it would be clearly good if AI wiped out humanity, I'm just also not saying it would be clearly bad from a universal perspective.

There's no way to know until it all plays out and either way I won't be here when it all plays out.

But IMO to assume our continued existence is universally a positive (or of any universal consequence at all) is a hefty dose of narcissism.
This is a piece of Internet lore I'm not familiar with! Any good summary or article or anything you'd recommend?
Obviously opinions vary, but a lot of people consider it to be one of the worst of common lettuce varieties. Like the Red Delicious apple, it's popular because it holds up well during transport and storage, not because it's particularly good.
not the phrase I'd choose to associate with, even metaphorically
Three other DoJ attorneys under Keller have resigned as well. I can't think of any parallel since the Nixon administration.
Sounds like a sensible and principled fellow.
Wow, this is crazy. Do you have anti-corruption NGOs who can sue officials on behalf of a civic entity in the US?
That may not be entirely true. Just look at all these people working in semiconductor fabs that China is trying to copy. A lot of that knowledge is institutional knowledge gathered from decades of specializing in one tiny area of the chain. That knowledge may be in a PHD program somewhere but more likely it is only on the job training.
Good. Academia is done growing. We're in a steady state, which means if you're in grad school, look at your advisor. Look at the other grad students who have him. Look at the work of the grad students who came before you, with this advisor. Think about the ones that will come after.

Only ONE of you will take your advisor's place, statistically speaking.

If you an afford to pursue a PHD for the sake of doing the work and getting the education, go for it. If you have to make the PhD pencil out financially, think long and hard before enrolling. And if your ambition is to be a full professor, reread the first paragraph.
they never cared, it’s just that one extra step to suck up to the current leader
There could be at least 2⁵² of these if we are talking about the set of contiguous integers that can be represented as doubles. If that didn't fill up the space of the server you could also make packages for the various rational numbers that can be represented as doubles, or make packages for all the strings starting with length 0 and working up...

Wonder how many you could make before Microsoft took away your publish rights? Could you get away with more if your were a competitor? Elon Musk?
Mine (NVDA) isn't annoying about non-ASCII symbols, interestingly enough. But for something like this form of Unicode "abuse" (?), if you throw a ton of them into a message or something, they become "lines" I have to arrow past because my screen reader will otherwise remain silent on those lines unless I use say-all (continuous reading for those who don't use screen readers).
Every conspiracy is being confirmed, so I wouldnt be too harsh calling these conspiracies
initially used redhat then fedora till 2006

switched to ubuntu for desktop and debian for server in 2006 for my company, by 2020 most developers chose mac for desktop and debian/ubuntu for server
The problem is aging code sours like milk.

I empathize but we need to have people take over these initiatives and refactor them into something easier the maintain. Not saying introduce a new language or anything but change how we fundamentally look at “The Kernel”. I think reducing scope and making it so hardware providers must maintain their drivers is a good start. If your toolchain doesn’t suffice, create a new tool.

If rust is so much better, create a new kernel in rust and force a paradigm shift. I think we can do better than bicker and fight over it and post email chains about it. Bring solutions. Tech debt is just OpEx to everyone else.
There are still a few custom kernels out there. Liquorix comes to mind.

https://liquorix.net/
You're welcome. It's a pretty easy thing to mix up. Glad it's clear now!
> they just spent a period of about 10 years making sure they were involved in every major financial scandal due to poor judgment.

Hard to imagine any relationship between that outcome and a policy of exclusively hiring a demographic that's notorious for having high intellectual skills but low life experience. Wait, no, not hard. Easy.
Writing news articles about this behavior just glorifies it.
I mean, you pretty much answered your own question with "blow" which doesn't indicate it being a worthwhile purchase.

The people I know who have done well in business don't have extremely fancy houses anyway. They vacation a lot.

> Why bother going through the struggle of becoming a CEO just to work for one year as CEO then go live in a regular house? Does not make sense at all.

People's priorities change. Maybe you're driven and got that kind of position and then think shit I can leave this and live well for the rest of my life.
To play devil's advocate here:

- most of that space is for entertaining/selling to other execs

- the execs that work up there aren't actually there most of the year (they travel A LOT, like A LOT A LOT)

- execs, per my understanding, are basically on-call, with a few exceptions

i agree that old-school rank-and-file workspaces are spartan and depressing
It was "acquired" at the demand of the Swiss regulator because it was bankrupt.
I really love this style of explanation. There was another one I saw recently (OIDC, I think?) that I wish I'd bookmarked but I forgot to
"It doesn’t even seem to occur to people that one might pursue a doctoral degree because one is interested in the subject and wants to do research. "

Frankly, no. Because as beautiful as that concept is, it's 6 years in your younger decades, where the magic of compound interest makes every dollar you save or spend count a lot more than any money you make later in life.

Add tuition and loans, also with compound interest, and well, I have no resentment against people from wealthy enough backgrounds that they can just do this. If that's how want to use your privileged background, nothing but respect from me.

But 99% of us have to consider the money.
Obviously, this is because computer science offers many interesting jobs. But in other regions, these jobs are hidden after Phd.
I would have just removed them and moved on, but starting a police investigation and publishing a news article about it is certainly another approach.
There is redox os
SystemRescue 11.03 on a Motorola moto g play 2024 phone using Termux and QEMU
What the AI bull Wall Street analysts didn’t realize is that AI will replace their job much sooner than replacing programmers.
A lot of people arguing in this thread. I'm an adult who started learning piano about two years ago. I found that the following exercise was immediately easy for me with no special practice:

- Learn a piano song, memorize it, play it many times.

- My wife plays random keys on the keyboard.

- I tell her when she got to the opening note of the song by comparing what she played to my memory of the sound.

So then I was confused because aren't I not supposed to be able to do that?

After reading online it became clear to me that this is called "pitch memory" by musicians and it's a totally normal ability that anyone should be able to do if they remember a sound well enough, and it's distinct from "absolute pitch" because people with "absolute pitch" don't try to remember a sound and match it up. They just know what a D sounds like abstractly and can identify any D based on that feeling. It would be like the difference between me knowing what green and red look like, and me identifying green and red things by imagining whether they look similar to traffic lights.

The study linked is also aware of this distinction:

> It remains unclear whether the participants [in prior research] really learned the chroma of the tones, which is shared by notes that are one or more octave(s) apart with the same pitch name and considered the essence of AP (Bachem, 1955; Zatorre, 2003), or they merely learned to name a highly specific set of tones based on pitch height.
Dawkins gave a concise explanation of the evolution of the eye here as well:

https://www.youtube.com/watch?v=2X1iwLqM2t0
Very much so. Sassoon's resignation letter describes the Acting Attorney General (prior to Pam Bondi's recent confirmation) as objecting to a DoJ lawyer taking notes in the meeting with Adams' lawyers, and demanding those notes be handed over when exiting the meeting.

https://www.youtube.com/watch?v=hGo5bxWy21g for those who don't get the reference
I'll play devil's advocate because I have the karma to burn.

I don't remember Dimon ever committing to making work-from-home permanent. From my brief time working with/interviewing for JPMChase, I never got the impression that they would ever do this. They were always very attached to their offices.

If this is true, then I think it's totally within his right to call it back.

It would be a whole other thing if he pulled a Sundar and said "wfh really works! wfh forever" in 2021 when vaccines were being rolled out only to cry "but my efficiency" in 2025 and roll it all back.

I also don't think Chase is going to lose much of their top talent over this. Most of the super highly paid/highly-talented people in tech that work there live near their central offices anyway, and the folks that worked for the business never really had a choice since finance is very tightly coupled to a few geos (NYC, Chicago, San Francisco, Houston for O&G, London, Hong Kong).
I've started switching back to LibreOffice because the situation with MS Office nagging me to save my files to the cloud, or to use "connected" AI experiences, keeps getting worse.

(The connected experiences, including Copilot, can be disabled with a dialog hidden deep in Office's Trust Center, but even that's confusingly worded. It's unclear from the wording and the structure of the dialog what the combination of checking "all connected experiences" but unchecking "experiences that analyze your content" should actually do, for example.)

MS Office is certainly the more polished product, especially Excel. There are some spreadsheets I can't feasibly convert to LibreOffice Calc without equivalents to Excel's lambdas and tables.

But LibreOffice does the job in most cases. I'm really excited to see this new work—especially CRDT-based sync between desktop app instances over a network file server, which would turn LibreOffice into a significantly better experience than MS Office for my purposes.
There is some additional commentary/background in the OSNews reporting: https://www.osnews.com/story/141723/fedora-should-not-push-i...
Cordiceps 2028
1) You're still overgeneralizing 2) If $100 was actually trivial for a business then Apple wouldn't demand it.
Not sure if your utility allowed for planned usage changes (ie, planning to buy an(other) EV, planning to install heat pump). This is what my installer submitted to justify my 180% over-specced solar install. This is PG&E in CA.
I mean on the big scale, yes of course. Why would the ones in power organize themself out of the equation. But it started as a good willed thing of course.

I think it’s important to have a distinction between the concept and the organized bit
Hey! I’ve been a maintainer of wasmCloud since 2019, I’m glad it sparked some interest and I appreciate the time spent going through the docs and QuickStart.

I’ll have to take another look and answer questions when I’m at the keyboard tomorrow! Appreciate all the feedback here, it’s really helpful to hear the fresh perspectives
Kindle originally had text to speech functionality. The Audibook people sued and Amazon went in to buy Audible
Considering that Netscape used to have “about:jwz” as an Easter egg URL and he was influential in open sourcing Netscape…
more surprising is there's no way for them to delete it from the flatpak registry

https://pagure.io/releng/issue/12586#comment-955583
Instructors ⊂ Academia
Its like reading or watching/listening to Murdoch news/sky news in Australia. sounds like the exact same bullshit mindset.

I'm so, very sick of it.

This narrative is going to ruin us all. The rich and powerful will be ruined as well, it'll just take a little bit longer.
2028? He can't run again, so I don't think he much cares.
Aforementioned image for those who are curious: https://cdn.jwz.org/images/2024/hn.png
Yep, in fact Cloudflare are the original people who came up with this, when people were complaining about seeing turnstile screens too often
Can you help us understand why you support cuts to NIH and cancer research?
You should have never had them in the first place.

Hire fairly. Avoid [bigoted] bias in your hiring.

That you had to advertise you did that meant you were not doing it in the first place. Meaning you were not treating equally and fairly.

Lots of these corporate efforts, whatever they are, are a money printer for organizations “helping” including those proposing streamlining, time management, equity, X analysis, etc. whether delivered by the big5, individuals or any other entity, they are money pits that make management feel good: they’re doing something.
This guy, Chris Aruffo, has an interesting blog about his research in absolute pitch. I don't think it's been updated in quite a while though: http://www.aruffo.com/eartraining/
I think the specific argument being made here, is that the technical details of how Fedora implements this mean that people who do not read carefully and click a checkbox may attempt to install the official flatpak version and get Fedora's rebuild of it instead, with no obvious cue that they did so, other than the bugs that they then go report, not understanding the internals of Fedora's opinions on flatpaks.

I suppose the closest analogy I can imagine from non-malicious(arguably) history would be software hosting sites that would repackage installers with their own adware or toolbar or whatever "value add".
Ya but, based on the brief resume in your profile, you've also probably made out quite well, no? Is that a completely incidental thing, or do you think you'd feel even a little differently if what you earned throughout your intellectual journey ended up leaving you financially vulnerable, whatever that would mean in your geographic region?

To me it's a question of how much cost a person should reasonably incur in order to pursue one's interests, and I think the amount of people with absurd student loan debt and time spent, compared to their earning potential, is at meme status for millennials and zoomers.

To be clear, I do think the motivations aren't inherently misguided, but they could be, and my guess is that people are taking their potential outcomes more seriously.
It tastes like water. Romaine is better.
Why do you need an article? Just find a link to some page on http://jwz.org somewhere on news.ycombinator.com, and click it. Note that you will get a (really quite tame) NSFW image. Said image will explain jwz's feelings regarding Hacker News.
Pre-supposes existing high quality, a fact not in evidence.
> Add tuition and loans

There are no tutions and loans for a PhD. It's free. Additionaly, you earn a small salary that can be bumped up to the median wage with internships.

Imagine spending your twenties without financial obligations, working on one problem you love without it having to make a business sense.
> the engineers which contribute the code will disappear

From the other side, as a very occasional contributor, I'd actually want to deal with fixes or reviews around the code I contribute.

But it's usually edge cases on otherwise stable and mature libraries, so hopefully it probably won't happen more than say once in a decade. If I got a mention on a PR I'd reappear, but that doesn't sound like the standard way, I never got involved again on anything submitted.

I feel like either the maintainers are doing an incredibly good job at vetting the PRs, or got used to deal with the aftermath another way and just don't need the original code submitter to reappear most of the time ?

Am I missing some bigger part of it ?
Whats the name of the books? Didnt see them in the article.
Did any of these guys put their name on the algorithm by themselves?
Totally. Though I am pretty confident I don't get 10 people saying thank you for one cussing me out :-).

People become vocal when they are pissed.
True. One advantage I can imagine for a DSL is that it constrains what is possible and optimizes (syntactically) what it's supposed to be for. I think that the author of Nix justified its language that way.

The counterargument is "eventually you'll need every facility provided by a programming language, so just start with a programming language."

I'm not sure how I feel about it. The YAML templating situation in Kubernetes is a [shit show][1]. Then again, I did once cave into the temptation of writing a [lisp-like XML preprocessor][2] to make my configurations less verbose. It doesn't have any access to the environment, though, so it's not a general purpose configuration language, just a shorthand for static XML.

[1]: https://www.davidgoffredo.com/no-string-templates

[2]: https://github.com/dgoffredo/llama
Follow the money...

Unions make money off of your labor - and the more people they can convince to join the union, the more money they make. Put another way, a Union is a business and you are the product.

How much value does the average union provide a highly-skilled in-demand employee, such as those working at JPMorgan or FAANG companies? Very little if any at all, it would seem.