 |
| 391. | Dyna – Logic Programming for Machine Learning (dyna.org) | |
| 163 points | 2025 | author matthewfl showed up | their comment (+1 more) | thread
“Chapter 2 of my dissertation covers a lot about the syntax of Dyna As refset said in the other comment, In Dyna, terms return values like a function in a functional…” | ||
| 392. | Entropy of a Large Language Model output (nikkin.dev) | |
| 161 points | 2025 | author nikkindev showed up | their comment (+3 more) | thread
“Yes. You are right. I was meaning to paint a picture that instead of the next token appearing magically, it is sampled from a probability distribution. The notion of…” | ||
| 393. | The Joy of Nand2Tetris (tristanrhodes.com) | |
| 161 points | 2025 | author partypete showed up (and submitted it) | their comment | thread
“I just used a free pdf version of the book and the legacy software package which they link to on the website. Great experience. The authors have since created a…” | ||
| 394. | Open-sourcing circuit tracing tools (anthropic.com) | |
| 161 points | 2025 | author e_ameisen showed up | their comment | thread
“This is a new tool which relies on existing introspection libraries like TransformerLens (which is similar in spirit to Garcon) to build an attribution graph. This graph…” | ||
| 395. | Simulating and Visualising the Central Limit Theorem (blog.foletta.net) | |
| 161 points | 2025 | author gjf showed up (and submitted it) | their comment | thread
“Author here; I think I understand where you might be coming from. I find functional nature of R combined with pipes incredibly powerful and elegant to work with. OTOH in…” | ||
| 396. | The origin and unexpected evolution of the word "mainframe" (righto.com) | |
| 160 points | 2025 | author kens showed up | their comment | thread
“Anyone have interesting mainframe stories?” | ||
| 397. | Detecting AI agent use and abuse (stytch.com) | |
| 160 points | 2025 | author mcstempel showed up | their comment | thread
“I'm actually pretty sympathetic to your viewpoint, and I wanted to clarify my stance. I actually spent years working at a "good bot" company (Plaid), which focused on…” | ||
| 398. | A Deep Dive into Solid Queue for Ruby on Rails (blog.appsignal.com) | |
| 160 points | 2025 | author hschne showed up | their comment | thread
“What a pleasant surprise to see this on HN! Happy to answer any questions.” | ||
| 399. | Error handling in Rust (felix-knorr.net) | |
| 159 points | 2025 | author Expurple showed up | their comment | thread
“btw :) Idk about the other articles, but mine doesn't begin with that. The first argument in the article is this: "exceptions introduce a special try-catch flow which is…” | ||
| 400. | Jqfmt like gofmt, but for jq (github.com) | |
| 159 points | 2025 | author noperator showed up | their comment | thread
“see also, sol: a de-minifier (formatter, exploder, beautifier) for shell one-liners I actually wrote jqfmt because I needed it for sol :)” | ||
| 401. | Elements of System Design (github.com) | |
| 159 points | 2025 | author jarulraj showed up | their comment (+1 more) | thread
“appreciate the share :) I was not expecting this to get so much attention. To clarify: this is indeed just a taxonomy of classic system-design principles. The…” | ||
| 402. | Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info) | |
| 159 points | 2025 | author kcsrk showed up | their comment | thread
“This talk is a _subjective_ take on how the OCaml programming language evolves, based on my observations over the last 10 years I've been involved with it. My aim/hope…” | ||
| 403. | Why effort scales superlinearly with the perceived quality of creative work (markusstrasser.org) | |
| 159 points | 2025 | author markusstrasser showed up | their comment | thread
“Somehow the worst thing I ever wrote is on the front page of HN. I wrote this fast so there's jargon and bad prose. The title is deliberately dry and bland so I wasn't…” | ||
| 404. | PythonBPF – Writing eBPF Programs in Pure Python (xeon.me) | |
| 158 points | 2025 | author varunrmallya showed up | their comment | thread
“The code is in a very very bad state right now, but the architecture is pretty ok to explain. In step 3, we translate from the Python frontend to the LLVM IR. In step 4…” | ||
| 405. | Mind the encryptionroot: How to save your data when ZFS loses its mind (sambowman.tech) | |
| 158 points | 2025 | author mentalpagefault showed up | their comment | thread
“I'm not sure why you're getting downvoted because you're absolutely right. Depending on if you're being optimistic or pessimistic, either 1) neither I nor ZFS did…” | ||
| 406. | Condor's Cuzco RISC-V Core at Hot Chips 2025 (chipsandcheese.com) | |
| 157 points | 2025 | author clamchowder showed up | their comment | thread
“they try for all instructions, just that it's a prediction w/replay because inevitably some instructions like memory loads are variable latency. It's not like Nvidia…” | ||
| 407. | The Burrows-Wheeler Transform (sandbox.bio) | |
| 157 points | 2025 | author raboukhalil showed up | their comment | thread
“nice to see the article posted here! I'm currently looking for ideas for other interactive articles, so let me know if think of other interesting/weird algorithms that…” | ||
| 408. | Twin – A Textmode WINdow Environment (github.com) | |
| 156 points | 2025 | author cosmos0072 showed up | their comment | thread
“I've been using Twin as my everyday terminal emulator and terminal multiplexer since ~2000, slowly adding features as my free time - and other interests - allowed. As…” | ||
| 409. | Passkeys are just passwords that require a password manager (danfabulich.medium.com) | |
| 156 points | 2025 | author dfabulich showed up (and submitted it) | their comment | thread
“My sentiment is mixed. I like the anti-phishing protection of passkeys. I don't like getting locked in to one password manager. I think passkeys are worth it for…” | ||
| 410. | Rubywm: An X11 window manager in pure Ruby (github.com) | |
| 155 points | 2025 | author vidarh showed up | their comment (+2 more) | thread
“This was discussed on HN a year ago too: Note that the warnings still apply. I have used it continuously since, and there are a few bugs here and there but it mostly…” | ||
| 411. | 0+0 > 0: C++ thread-local storage performance (yosefk.com) | |
| 155 points | 2025 | author yosefk showed up | their comment | thread
“any tips on dirty tricks somehow using %fs + offset from a shared library, without calling __tls_get_addr and without recompiling the executable (for instance, from a…” | ||
| 412. | Being “Confidently Wrong” is holding AI back (promptql.io) | |
| 155 points | 2025 | author tango12 showed up (and submitted it) | their comment | thread
“You’re right in that it’s obviously not the only problem. But without solving this seems like no matter how good the models get it’ll never be enough. Or, yes, the…” | ||
| 413. | 'I paid for the whole GPU, I am going to use the whole GPU' (modal.com) | |
| 154 points | 2025 | author charles_irl showed up | their comment | thread
“Thanks for sharing it.” | ||
| 414. | Failing to Understand the Exponential, Again (julian.ac) | |
| 154 points | 2025 | author Inufu showed up | their comment (+1 more) | thread
“The argument is not that it will keep growing exponentially forever (obviously that is physically impossible), rather that: - given a sustained history of growth along a…” | ||
| 415. | Terrain Diffusion: A Diffusion-Based Successor to Perlin Noise (arxiv.org) | |
| 154 points | 2025 | author xandergos showed up | their comment | thread
“Cool to see it has been posted here already. I want to clarify some points on things other people have mentioned: - This architecture is not as fast as Perlin noise. IMO…” | ||
| 416. | Show HN: TabPFN v2 – A SOTA foundation model for small tabular data (nature.com) | |
| 153 points | 2025 | author noahho showed up | their comment (+1 more) | thread
“The breast cancer dataset is simple and heavily saturated, so small differences between methods are expected. As you say, single-use examples can be noisy due to…” | ||
| 417. | Coding agent in 94 lines of Ruby (radanskoric.com) | |
| 153 points | 2025 | author radanskoric showed up (and submitted it) | their comment (+3 more) | thread
“The part about coding agents that wasn't clear to me was how much of the "magic" is in the underlying LLM and how much in the code around it making it into an agent.…” | ||
| 418. | Mag Wealth (2024) (saul.pw) | |
| 153 points | 2025 | author saulpw showed up | their comment (+1 more) | thread
“One of the main points of Mag World is that different orders of magnitude are qualitatively different. Yes, of course, with more assets you can get more credit. But the…” | ||
| 419. | Resizable structs in Zig (tristanpemble.com) | |
| 152 points | 2025 | author rvrb showed up (and submitted it) | their comment | thread
“let me know if you have any questions or feedback :)” | ||
| 420. | Comptime.ts: compile-time expressions for TypeScript (comptime.js.org) | |
| 152 points | 2025 | author MKRhere showed up | their comment (+1 more) | thread
“To be clear, what you're asking for is basically: const X = comptime(condition ? A : B); and have it compile down to const X = A; without attempting to serialise the…” | ||
| More | ||