TheoremDB · A public workspace for machine mathematics
(news.ycombinator.com)
151.
152.
153.
Tail-Call Interpreters in Rust – Jimmy Ostler
(news.ycombinator.com)
154.
155.
Who wants to buy NYC’s last MetroCard vending machine?
(feeds.feedburner.com)
156.
This Startup Will Pay You $50 to Let AI Read Your Mind
(gizmodo.com)
157.
Quake – 30th Anniversary Update
(news.ycombinator.com)
158.
The next ad market may be built for machines
(feeds.feedburner.com)
159.
Pushing the limits: Infinite Machine's Olto is barely a bicycle
(arstechnica.com)
160.
Tuft & Needle Promo Codes: 30% Off | August 2026
(wired.com)
161.
What Is AI Model Distillation?
(gizmodo.com)
162.
163.
Why Large Language Models Fail at Tabular Prediction
(news.ycombinator.com)
164.
Privacy risks from medical AI tools are not shared equally
(feeds.nature.com)
165.
ZX Spectrum System Tour: Text Mode – Bumbershoot Software
(news.ycombinator.com)
166.
The AI boom has college majors of all types dabbling in computer science
(feeds.feedburner.com)
167.
Let the machines in
(news.ycombinator.com)
168.
AI Images Are Everywhere. Here’s What They Do to Our Brains, and What We Can Do.
(feeds.content.dowjones.io)
170.
ASRock BC-250: Building the Budget Steam Machine
(news.ycombinator.com)
171.
172.
Show HN: BitBang – Reach machines behind NAT from a browser, no account
(news.ycombinator.com)
173.
174.
Absurd GPU Pricing Update: Mid-2026 Edition
(techspot.com)
175.
176.
177.
Elon Musk Is Firing Up the Vote-Buying Machine Again
(gizmodo.com)
178.
Okta buys AI security startup Permiso — source says for about $200M
(techcrunch.com)
179.
China begins producing advanced chipmaking deep-ultraviolet lithography machines
(news.ycombinator.com)
180.