skysight-inc/HackerNews huggingface dataset:
To be honest, maybe I am going off topic but I wish for the level of innovation in the ai industry in the energy industry.

It feels as an outsider that very little progress is made on the energy issue. I genuinely think that ai can be accelerated so so much more if energy could be more cheap / green
>> If you look at other contenders, they were all lacking these points.

I'm not saying you're wrong but that's not really proving your point.
Yes, Alexandria Egypt.

No, this is not a joke.

https://en.wikipedia.org/wiki/Internet_Archive#/media/File:I...

It is kind of funny that they chose to put it there, given the history of the super famous library in the ancient city.
Make a few small mistakes, even typos, and C becomes really that bad, because you have full control, no restraints, few guard rails.

C trades very fast execution for rather slow development, especially of larger code bases, if you want correctness. It's fine for tiny programs though.

(Ruby, of course, has its own set of jolly footguns, as any dynamically typed language.)
304 votes, 75 comments 3 hours after posting and this is already being thrown all the way back to 134 rank on the front page with some 2-3 day old posts. This is very clearly hacker news: a case of opsec slipup in easily the worst fashion coming straight from the SecDef (or one representing the SecDef). A shame it is probably getting flamed and downvoted over partisan reasons, although I know there are many conservatives here who probably don't enjoy these constant leopards eating face moments they've unleashed and am not surprised they'd be acting out and flagging embarrassing posts.
https://archive.ph/2025.03.24-152922/https://www.wired.com/s...
The Wrights were motivated by money. They wanted to get rich off of licensing their technology.

They turned out to be fantastic engineers, but not so good at making money.
At FP16 you‘d need 64GB just for the weights, and it‘d be 2x as slow as a Q8 version, likely with little improvement. You‘ll also need space for attention and context etc, so 80-100GB (or even more) VRAM would be better.

Many people „just“ use 4x consumer GPUs like the 3090 (24GB each) which scales well. They’d probably buy a mining rig, EPYC CPU, Mainboard with sufficient PCIe lanes, PCIe risers, 1600W PSU (might need to limit the GPUs to 300W), and 128GB RAM. Depending what you pay for the GPUs that‘ll be 3.5-4.5k
Oh, I didn't see it in Homebrew, so I searched for "install V" and found the documentation which only has compiling from source.
Just a quick reminder, slavery is still common in the United States.
I think its unknowable, but I definitely read 30% expected undiagnosed in the population.

Here is a reputable source that claims 25%

https://wexnermedical.osu.edu/mediaroom/pressreleaselisting/...
For a book for adult learners I recommend (and am working my way through) Ivan Savov's No Bullshit Guide to Math & Physics. Here's a link to a sample from the author's site. I find it a great resource for brushing up on my math(s) to explore audio DSP.

https://minireference.com/static/excerpts/noBSguide_v5_previ...
The history from wikipedia:

>The biologist Julian Huxley popularised the term "transhumanism" in a 1957 essay.[ The contemporary meaning of the term was foreshadowed by one of the first professors of futurology, a man who changed his name to FM-2030. In the 1960s, he taught "new concepts of the human" at The New School when he began to identify people who adopt technologies, lifestyles, and worldviews "transitional" to posthumanity as "transhuman".[7] The assertion laid the intellectual groundwork for the British philosopher Max More

Huxley was British, The New School was in NYC, More also British. I'm not sure you can pin it all on NorCal.
Hey HN,

We’re launching something we’ve been quietly building: a new computational architecture we call the Universal State Machine (USM). It doesn’t use gradient descent, it has no learned parameters, and it doesn’t require expensive training.

Announcement X Post: https://x.com/renxyzinc/status/1899539629411270758

Yet, it performs on par with GPT-1 on language tasks, including zero-shot reasoning and basic dialogue – and it does this using a symbolic, graph-based runtime that evolves in real time.

What’s the trick?
Instead of training a dense neural net, USM constructs a dynamic knowledge graph of symbolic states. Each “learning episode” adds structure to the graph, and querying it is a traversal problem, not a matrix multiplication. Inference is logarithmic in graph size.

Key ideas:
- No backprop, no SGD
- Stateless components and graph-local routing
- Online, modular, interpretable learning
- Super-efficient inference (GHz speeds vs tokens/sec)
- Not a transformer, but equivalent in expressivity

Why we think this matters:
We believe the future of AI needs to move past brute-force scaling. The USM offers a new path: efficient, interpretable, dynamic intelligence without GPUs or billion-dollar training runs.

In the video, we demo the USM performing real-time sequence generation, using symbolic reasoning – without expensive training. It’s early, but we’re excited to share this new paradigm and open the conversation.

You can learn more about the underlying theoretical concepts behind the USM in the whitepaper: https://opensource.getren.xyz

Would love your thoughts – technical feedback, skepticism, wild ideas welcome.

– The Ren Team
https://getren.xyz
So to do an efficient MM on AMD you need to find every MM in the pytorch model and replace it with a call to this library? Seems like something that should've been fixed years ago.

Also I assume nvidia does the same thing but it is still hilarious that this is how it works

https://github.com/ROCm/aiter/blob/main/aiter/configs/bf16_t...
Even if we are generous and assume Signal's protocols and entire communication infrastructure are 100% safe and cannot be compromised, any one single person in the group chat using Signal on a compromised device invalidates all of that.

The fact that Signal was used is less concerning to me personally than the fact that they had this group chat outside of the overall safety umbrella of fully end-to-end vetted systems.

Though the use of Signal is still concerning in that any official system they would otherwise use would have (one would hope) made it far harder if not impossible to accidentally leak the conversation to a random third party.
> Feels like you’re telling a kid Santa Claus doesn’t exist. Why kill the magic?

Because lying to your kids will only cost you their trust, however letting adults believe in magic leads to them making bad decisions with tragic consequences to themselves, their families, communities and countries.
Another one is Presburger Arithmetic, which is Peano Arithmetic minus the multiplication. What makes it interesting (and useful) is that this removal makes the theory decidable.

https://en.wikipedia.org/wiki/Presburger_arithmetic
SO much for 'the most transparent administration in history', not that I bought into that claim in the first place. Seems like a violation of multiple public record-keeping laws.
Businesses of all kinds go bankrupt.

Are you drawing a distinction between SPAC and other forms of ownership? Are SPACs more likely to flameout (big money and big (fast?) collapse?)
> What? Where did you get that impression?

https://doc.rust-lang.org/beta/

> Yeah, like C code normally would, just in the STD in this case.

Yes, in that manual checks are still needed. My point is unsafe code in rust is nowhere near safe and cannot be considered as safe without extensive analysis, no matter the language features used.
Anything with Europe in the title gets shunted off the frontpage within an hour or so. What gives dang?
I think the only people who will ever make money are the shovel makers, the models will always be free because you’ll just get open source models chasing the paid ones and never being all that far behind, especially when this S curve growth phase slows down.
Arc AGI 2025
78.0.1 doesn't look yanked to me https://pypi.org/project/setuptools/78.0.1/

afaict they just released 78.0.2 with a revert of the offending bits
Bibliotheca Alexandria installed a mirror of the Internet Archive in 2007, it's unclear from a brief googling if the relationship was sustained

https://www.bibalex.org/en/News/Details?DocumentID=1550&Keyw...
what spec is your local mac?
It makes me sick also. The Greens are nutcases. As for the mummy mask, what they did is criminal.
Is https://delphi.fandom.com/wiki/Delphi_for_PHP the one you're thinking of?

This is truly interesting, and the description on that wiki page suggests that it might be exactly what I'm looking for, but it seems like any concrete information about it has vanished.
I think you’re right, but also wrong at the same time.

I haven’t read as much as I should have on him, but from the stuff live gleaned, his personality didn’t change once he got into that position of a large budget. Sure, his persona and leadership style evolved along with him, but it was always there. It’s what got him to be what we know today.
Tree-shaking also happens in GC heap space (both in the server and in the browser): V8 and SpiderMonkey and JavaScriptCore will all eventually treeshake unused code out of memory entirely. The ESM format was designed to allow that. Modules actually only reference each other through weak references and things like import * build proxy objects of weak references designed for tree-shaking.

Depending on how your application is structured, an ESM version of a server-only Node application may still benefit from the performance optimizations of the server being able to do dead code elimination at runtime.
One has to imagine there are some legal consequences to the debtor burning their only asset as they enter protection…
disappointed this didn't link to some analysis of clay tablets
I never realized before with this photo, but space was actually made to still use the toilet sitting in that room with the tower of boxes 6 inches from your face. Straight out of a comedy sketch, almost too perfectly staged with the gaudy lights, stool colored formica, and $2 walmart shower curtain with the pressure fit rod right into the plaster. A shame for all of us that the photo came out of real life and not satire.
It is already on the LLM arena right, codename nebula? But you are right they can fuck up their releases royally.
one would hope that they could find a way to be sustainable with a payment of $100 per record or whatever it was. (i don't have a good sense of what their costs per commercial sequence are.)

but the difference between food and 23andme, beyond the obvious necessity v curiosity, is that 23andme is a 1 time purchase. once someone has seen their results, they've extracted all the value and have no reason to buy anything else.
I'm looking forward to using this as the missing documentation for Lazarus
As mentioned on this very thread, "such a thing" is exactly what happens "here", but without you impractical demand to track the productivity of a worker with government-recognized sub-par productivity.
I'm not sure where you get that version of The Singularity? Wikipedia has the most popular version of the technological singularity is AI making better AI leading to an intelligence explosion which may or may not happen but is not especially faith based or religious. (I think we'll have AI making better AI but more of a gradual ramp up than an explosion).
Emboldened by Trump, A.I. Companies Lobby for Fewer Rules
https://archive.ph/2025.03.24-194132/https://www.nytimes.com...
For programs less than about 10k lines or so, Lua exists in a class of its own. It offers nearly optimal start up latency and the interpreter is fast enough that it can interpret said 10k lines about as fast as python can run hello, world. This means you can iterate by configuring your editor to save on every keystroke and in a terminal run say `ls foo.lua | entr -c lua(jit) foo.lua` and get nearly instantaneous feedback with every keystroke.

I feel so much more empowered with this workflow than anything else out there. It is like a persistent repl (though you do have to teach yourself how not to write infinite loops regularly). The setup is so much lighter weight than an lsp and is actually more responsive. Indeed, when I get feedback this frequently and quickly, I find that I have little need for more advanced features.

Eventually though, the lack of a type system does become a problem as refactoring becomes difficult. I also dislike some of the syntax. But there is a great solution to both of these problems: use Lua to write a compiler for a new language and fix those problems. That's what I did, so now I don't use Lua anymore. But without Lua, I don't think I would have gotten to where I am now.
I had some correspondence saved from him, but all it says is "Nyuk-nyuk-nyuk!"
I have a feeling that it's a lot more difficult to purchase indulgences nowadays than it was during Luther's time.

But luckily, I'm not Catholic, so I have no idea.
I had the same experience. Initially it was a fun and exciting, but in the end, the consistent small bugs and destructive agentic behaviour (deleting random code) made it less productive than simply writing the code yourself. And if you write yourself, you already understand it, and it's of a higher quality (unless you are a beginner).
I too run openweb-ui locally and use deepinfra.com as my backend. It has been working very well, and I am quite happy with deepinfra's pricing and privacy policy.

I have set up the same thing at work for my colleagues, and they find it better than openai for their tasks.
It's kind of insane going from 76% to 3% on the new version of a benchmark. We clearly need more rapid progress on the creation of benchmarks.

Then again, I wonder -- if a benchmark is way too hard from the beginning, would it make it much harder for people to test new solutions that actually have real-world impact, even if the new results on the hard benchmark only increased the score by 1%?
> Our state school played the pledge of allegiance every morning

I had the opposite experience, I never did the pledge in public school (or in the Adventist schools), at least not regularly enough for me to recall, but in the evangelical school it was the entire school doing it together in a big room every damn morning, first thing. I'd argue religious schools are more likely to drill it into you than public schools on account of the "under God" part that they've retconned in.

I also never saw military recruiters in public school, neither in military-dense Hawaii nor in deep red central Oregon.
Minecraft clone showcasing the SDL3 GPU API
This is SO true
Brewster is always referencing the old library of Alexandria as an inspiration when he gives tours of the archive, it's certainly no coincidence

What's funny is their San Francisco headquarters was chosen because they saw a building go up for sale that looked vaguely like their logo :)
What other antics and policies do “we” groan about and then nevertheless elect politicians to govern the rest of us? Policies attacking female reproductive freedom? Attacks on LGBT? Attacks on freedom of religion? Attacks on separation of church and state?

I feel like you are trivializing the dogged, uncompromising, and ceaseless war organized religion wages against intellectualism, progress, and tolerance.
Almost certainly false? The source is the CEO of the manufacturer who complained about specific requirements in the contracts issued by the Bundeswehr itself.

https://www.welt.de/wirtschaft/article147528582/Sind-deutsch...

> For example, one of the more than 100 "relevant documents" for the development contract for the infantry fighting vehicle stipulates that the technical regulations for hazardous substances must also be observed. These stipulate that the carbon monoxide content must not exceed a certain limit, as otherwise there is a risk of "damaging the amniotic fluid" in pregnant soldiers. The air inside the Puma must therefore be so clean that even pregnant women can ride safely.

Another problem in a related vein: the Pumas have fire extinguishers which brick the vehicles by spraying powder into the engines. Normal extinguishers that keep the vehicle operational are banned because the gases aren't friendly enough to the ozone layer. This was admitted to be a problem and never fixed.

https://www.bild.de/politik/inland/feuerloescher-macht-panze...

Manufacturers want to sell vehicles. They usually don't wish to comply with expensive rules as they do so. If they're complaining about regulations that make manufacturing hard, and doing things like equipping their vehicles with fire extinguishers that break the engines, then at minimum the Bundeswehr has screwed up its acquisitions and communications process so badly that its suppliers are confused about what they should do. More likely the manufacturers are correct and the people writing the rules didn't think through the consequences of what they wrote.
Late-stage Central Banking.
If a large bit of the US had thought I'd one a sig heil at a large event, I would certainly clarify that it wasn't one instead of making fun of the folks who ere "confudsed". The lack of clarification is all the clarification I need.

"Who are you gonna believe, me or your lying eyes" only goes so far for most of us. Not everyone, I guess, but really, hoss we're not idiots and can tell what it was.
I have to say my neurotypical family members love goblin chef tool as well as the spectrum individual.
Because programmers play too much Stardew Valley and the high pay removes the anxiety of starving to death when it doesn't rain because you can just spend your way out of problems.

Also have never probably experienced harvesting things in the heat. It fucking sucks.
Arguably the entire hack created by protestantism was the infinite free indulgences "salvation by faith alone" glitch.
Oh, I'm convinced that if the Wrights had disappeared in a kiln explosion, the solution to powered, controlled flight would have been developed within another 5 years or so.

The canard design was the result of the Wrights being terrified of a stall like that which killed Lilienthal. And they were correct that the canard made for a quicker response to a stall. But it was also the source of pitch instability, and was eventually dropped.

Lilienthal died in 1896. The Wrights started the project by collecting every paper they could find on aeronautical engineering. The shortcomings of the existing research are evident in the fact that the Wrights still had to develop a series of prototypes, each designed to solve a particular aspect of flight. They put the solutions all together in the 1903 Flyer.
If it's an equal partnership, each partner respects the right of the other to exit. If it's an equal partnership, both countries are equally sad if it ends, since both got equal benefit.

The US/Europe relationship fails both those criteria.
Arc Prize 2025
China has allowed quite a bit of market liberalism, so it isn’t that surprising if their AI stuff is responding to the market.

But, I don’t really see the connection on the flip side. Why should proprietary AI be associated with communism? If anything I guess a communist handling of AI would also be to share the model.
idk I read all that and it still sounds very bad to me.
Why flag any and not just see what the community engages with? You don't have to participate in threads about subjects you aren't interested in, you know. And the expectation that this is somehow taking time from the community who would otherwise be engaging in threads you are more interested in yourself, is a little, well, self centered to me.
Skolem arithmetic is decidable too: https://en.wikipedia.org/wiki/Skolem_arithmetic

I'm wondering whether there are decidable first-order theories about the natural numbers that are stronger than either Skolem or Presburger arithmetic, that presumably use more powerful number theory. Ask "Deep Research"?

[edit] Found something without AI help: The theory of real-closed fields is decidable, PLUS the theory of p-adically closed fields is also decidable - then combined with Hasse's Principle, this might take you beyond Skolem.

[edit] Speculating about something else: Is there a decidable first-order theory of some aspects of analytic number theory, like Dirichlet series? That might also take you beyond Skolem. https://en.wikipedia.org/wiki/Analytic_number_theory#Methods...
Announcement of a project that's been around since 2004? Interesting to say the least.
launch video: https://www.youtube.com/watch?v=M3b59lZYBW8
If you didn't notice the military recruiters in your US public school, I have to imagine you weren't paying attention. They posted up during lunch with tables and stuff where I was. Maybe they were just capitalizing on the 2008 recession.

There was never an assembly dedicated to them; it was always just a kiosk-type thing students could walk up to.
They said years ago, when they last took a look. Just a thought, maybe just let all this go, people are complicated, you'll never please everyone. It's not worth the time trying. If anything you're giving them more ammo to prove them right about your attitude to negative takes. I'm not taking sides, just my opinion! :)
For me it’s also the existential aspect of realizing I’m spending the best years of my life just being in front of a screen. In my mind part of the reason good engineers are paid well us because they can mentally compartmentalize that fact and still be effective over years of the career.
It's Time to Stop Building KV Databases
Semantics. By knowing what meat to reveal amongst a group of tigers, you can effectively moderate the feeding frenzy. Some meat you keep hidden, lest they go nuts on each other for it.

Now I guess, should this be made transparent?
Email providers don’t usually provide idempotent API endpoints because they have no way to enforce that the email will be sent exactly once downstream.

The best you can do with email is at least once (and you can’t even really do that because of spam), so you should just build that assumption into your app. If 1 out of 100,000 emails gets sent 2x no one is going to care (as long as you include information the user can use to dedupe manually).

Maybe adding an idempotent send endpoint reduces that from 1 /100,000 to 1/150,000 or whatever, but is that worth the extra complexity? Is dropping your duplicate email rate from some very small number to some smaller number going to make enough money to pay for the extra dev time, and the extra lifetime maintainability burden? Almost certainly not.
> an invention that was already ripe for the taking.

Powered, controlled flight was clearly not ripe for the taking at the time the Wrights embarked on solving it. See the list of their accomplisments I posted. They had to get all of them right to solve the problem. Which is another reason why I'm not buying what the pretender defenders contend.
You're right, I should have chosen better words.

I merely meant setting a flag bit from 0 to 1, later to be picked up by your loop. Since actual semaphore was communicated with flags...

I have yet to see the perfect software debounce algorithm. I've come to believe that it is a Sisyphean task. Meanwhile, Schottky diodes are extremely well-suited to the task.

You might consider 100 lines worth of complexity to make a switch work to be free, but I won't lose any sleep believing otherwise.
Interesting that an editor choose to leak the info publicly instead of proper notification.
Most systems come with Python today, so starting an HTTP server for local testing is often a one-liner like `python -m http.server`. Anyone already working with Node has access to one-liners like `npx http-server`. (Deno and Bun also have one-liners.)
So...we're draining the aquifers, the rivers are running dry, and we're going to increase the head of cattle?

It's not sustainable. Just like burning coal and burning oil isn't sustainable. WTF is wrong with people that they can't get it through their heads that this lifestyle isn't sustainable and if we keep it up nobody will ever again be able to enjoy these things, even once in a blue moon? It's selfishness and ignorance beyond the pale.