1. Early Humans Likely Ate Carbs and Sugary Foods (www.history.com)
Find out more about the shows on Sky HISTORY's TV channel, with plenty to read and watch on your favourite historical topics.
2. The Creation of Abulafia (blog.veitheller.de)
In 1988, Umberto Eco published Foucault’s Pendulum. In it, three editors at a Milan publishing house (Belbo, Diotallevi, and Casaubon) spend their working…
3. ProgramBench Vetted: Reverse Engineering from a Runnable Binary (vetto.ai)
ProgramBench Vetted remediates the original reverse-engineering benchmark with calibrated tasks, stronger verification gates, and evidence-backed analysis.
ProgramBench Vetted improves reverse-engineering benchmarks by incorporating calibrated tasks and enhanced verification methods, ensuring more reliable analysis of runnable binaries. This update aims to provide a more accurate assessment of reverse-engineering tools and techniques.
4. Anthropic IPO filing will show AI backlash as a risk factor, sources say (www.cnbc.com)
Anthropic is poised to debut on the stock market at a time when the public is increasingly upset about data centers and is fearful about AI taking jobs.
Anthropic’s upcoming IPO comes amid growing public concern over the environmental impact of data centers and fears about AI’s potential to displace jobs. These factors are expected to be highlighted as significant risks in their filing.
5. Electric shock gloves in use by police departments in Bellevue, Omaha (nebraskapublicmedia.org)
Electric shock gloves are making headlines after Immigration and Customs Enforcement announced it was planning to outfit its agents with the technology. They've already been used in Nebraska for years.
6. Knowing When to Stop: The Art of Making a Loop Converge (a16z.com)
The systems that matter will not be the ones that can keep going. They all can.
Understanding when to halt a process is crucial in system design, as continuous operation isn’t always beneficial. This piece discusses the importance of convergence in creating effective systems.
7. Fast and Hard Code (lucumr.pocoo.org)
People pick languages differently with LLMs.
Large language models are influencing how developers choose programming languages, highlighting a shift in decision-making processes. Discover the implications of this trend for the tech industry.
8. Show HN: Zcomplete – Shell Typo Correction (github.com)
Mistype a command and zcomplete runs the one you meant, worked out from the commands you usually run. zsh, bash and fish. - omarfakih1/zcomplete
Zcomplete automatically corrects mistyped shell commands based on your usage patterns, supporting zsh, bash, and fish. It streamlines your command line experience by ensuring you execute the intended command without hassle.
9. Learning about "The Unix Time-Sharing System" (playtechnique.io)
13. Protocol-Aware Deterministic Simulation Testing (tigerbeetle.com)
14. Show HN: EchoVault, an app that interviews you and answers as you after death (apps.apple.com)
Download Echovault - Digital Legacy by Ugochukwu Nwune on the App Store. See screenshots, ratings and reviews, user tips, and more apps like Echovault - Digital…
16. Show HN: I let an subagent workflow refactor my codebase for three days (github.com)
Accountable, adaptable runtime for subagents. Contribute to ringlochid/oh-my-subagents development by creating an account on GitHub.
19. Show HN: 3D Engine for Rust Programs (github.com)
Contribute to David-OConnor/graphics development by creating an account on GitHub.
20. Show HN: PgExtAssure – pre-admission security evidence for PostgreSQL extensions (github.com)
Portable pre-admission evidence for PostgreSQL extensions. - borborich/pgextassure
21. Show HN: Front end skill pack for AI agents, with machine-enforced quality gates (krishna-modi12.github.io)
A skill pack an AI coding agent loads while it writes frontend code. It routes one of 19 skills per request, holds the output to 60 machine-checked constraints, and ships only when all 11 gates pass. Route a request and run the checks in your browser.
23. Show HN: Get Your IP Address (ip.ysebie.be)
24. Show HN: Heimdall – Trust-verified knowledge layer for AI coding agents (github.com)
Verified, self-healing knowledge layer for AI coding agents — ranked search with trust verdicts (STRONG/WEAK/STALE/REBUILT), session auto-sync, grep guard. Orchestration over Graft-style semantic m...
25. I own 28,000 books – here's what I've learned (www.shelvd.org)
Not about collecting philosophy, but about logistics: shelving, insurance, moving, and the look on the removal man's face.
26. Show HN: Forst – migrate TypeScript back ends to Go (forst-lang.org)
28. Show HN: I reverse-engineered Bambu's 3MF color format so GLB keeps the colors (github.com)
Open-source color customizer for multi-color 3MF files from the Snapmaker U1 / OrcaSlicer / Bambu ecosystem. Recolor zones in a browser, export GLB or 3MF, or convert in Node via the CLI. 100% clie...
29. Show HN: ServerKit - Self-hosted control panel for apps, Docker, and databases (github.com)
ServerKit is a lightweight, modern server control panel for managing web applications, databases, and services on your VPS or dedicated server. Built with Python/Flask backend and React frontend. -...
30. Show HN: Plethora – Social platform and SDK around games and interactive content (plethora.studio)
Step into a world of tiny interactive bits: games, art, music, puzzles, toys, and strange little experiences.