A German startup is turning cockroaches into cyborg spies
(techspot.com)
6421.
6422.
6423.
TLA+ Modeling Tips
(news.ycombinator.com)
6424.
Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing
(news.ycombinator.com)
6425.
Therabody Promo Codes: 50% Off | December 2025
(wired.com)
6426.
Why Google's new Interactions API is such a big deal for AI developers
(venturebeat.com)
6427.
Robinhood knows you want to trade on everything
(feeds.feedburner.com)
6428.
6429.
Introduction to Software Development Tooling (2024)
(news.ycombinator.com)
6430.
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
(news.ycombinator.com)
6431.
6432.
How common is Alzheimer’s? Blood-test study holds surprises
(feeds.nature.com)
6433.
Visualizing interaction-driven restructuring of quantum Hall edge states
(feeds.nature.com)
6434.
The global hydrogen budget
(feeds.nature.com)
6435.
6436.
6437.
More than 60,000 pounds of cooked chicken recalled over allergen risk
(feeds.feedburner.com)
6438.
Dafny: Verification-Aware Programming Language
(news.ycombinator.com)
6439.
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(news.ycombinator.com)
6440.
I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h
(news.ycombinator.com)
6441.
6442.
6443.
TRELLIS.2: state-of-the-art large 3D generative model (4B)
(news.ycombinator.com)
6444.
Score a rare discount on the Apple AirPods Pro 3
(androidauthority.com)
6445.
6446.
Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers
(news.ycombinator.com)
6447.
Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers
(news.ycombinator.com)
6448.
6449.
6450.
AI will make formal verification go mainstream
(news.ycombinator.com)