47131.
47133.
47134.
Formally verifying a floating-point division routine with Gappa – part 1
(news.ycombinator.com)
47135.
The HackberryPi CM5 handheld computer
(news.ycombinator.com)
47136.
Learning lessons from the loss of the Norwegian frigate Helge Ingstad
(news.ycombinator.com)
47137.
Rewriting Dataframes for MicroHaskell
(news.ycombinator.com)
47138.
47139.
Deliberate Abstraction
(news.ycombinator.com)
47140.
“No Tax on Tips” Includes Digital Creators, Too
(news.ycombinator.com)
47141.
Court rejects Verizon claim that selling location data without consent is legal
(news.ycombinator.com)
47142.
47143.
47144.
Perplexity reportedly raised $200M at $20B valuation
(techcrunch.com)
47145.
47146.
DOOMscrolling: The Game
(news.ycombinator.com)
47147.
47148.
47149.
47150.
47151.
Anker deals: These essentials will keep all your desk devices charged and connected
(androidauthority.com)
47152.
As Apple pursues AI, spare a thought for the poor HomePod
(engadget.com)
47153.
DDoS defender targeted in 1.5 Bpps denial-of-service attack
(bleepingcomputer.com)
47154.
KDE launches its own distribution
(news.ycombinator.com)
47156.
47157.
47158.
47159.
Clojure's Solutions to the Expression Problem
(news.ycombinator.com)
47160.
Google Is Telling People DOGE Never Existed
(gizmodo.com)