TorchLean: Formalizing Neural Networks in Lean
(news.ycombinator.com)
271.
272.
Show HN: Xmloxide – an agent made rust replacement for libxml2
(news.ycombinator.com)
273.
Modern Illustration: Archive of illustration from c.1950-1975
(news.ycombinator.com)
274.
275.
277.
Qt45: A small polymerase ribozyme that can synthesize itself
(news.ycombinator.com)
278.
Tech people keep falling for the same scam
(news.ycombinator.com)
279.
Vibe coded Lovable-hosted app littered with basic flaws exposed 18K users
(news.ycombinator.com)
280.
The physics of squeaking sneakers
(arstechnica.com)
281.
282.
283.
Will vibe coding end like the maker movement?
(news.ycombinator.com)
284.
This time is different
(news.ycombinator.com)
285.
Time Is Different
(news.ycombinator.com)
286.
Anthropic ditches its core safety promise
(news.ycombinator.com)
287.
Why Sierra the Supercomputer Had to Die
(wired.com)
288.
289.
Danish government agency to ditch Microsoft software (2025)
(news.ycombinator.com)
290.
291.
Show HN: Hacker Smacker – Spot great (and terrible) HN commenters at a glance
(news.ycombinator.com)
292.
Here's why Scotch tape screeches when it's peeled
(arstechnica.com)
293.
DJI sues over the FCC’s decision to block new drone imports
(theverge.com)
295.
"Just a little detail that wouldn't sell anything"
(news.ycombinator.com)
296.
I Ported Coreboot to the ThinkPad X270
(news.ycombinator.com)
297.
FreeBSD doesn't have Wi-Fi driver for my old MacBook, so AI built one for me
(news.ycombinator.com)
298.
FreeBSD doesn't have Wi-Fi driver for my old MacBook. AI build one for me
(news.ycombinator.com)
299.
Flock cameras gifted by Horowitz Foundation, avoiding public oversight
(news.ycombinator.com)
300.
IBM Plunges After Anthropic's Latest Update Takes on COBOL
(news.ycombinator.com)