-
1
Bitter Lessoned in Automated Theorem Proving
(essays.johnloeber.com)
-
34
One Man's Pan Am 747 Replica [video]
(youtube.com)
-
1
Zedis v0.2.0
(github.com)
-
2
Empirical agents with hard constraints, strict isolation and trusty protocols
(qip.dev)
-
2
Show HN: Token Beggar, route coding agent subtasks to cheaper models
(github.com)
-
2
Show HN: AiSniff, underline the phrases in a text that read like AI wrote them
(github.com)
-
1
Show HN: I trained a 160M code model on one GPU and got 22.56% on HumanEval
(jakubcwirlej.com)
-
3
The Hackening
(thezvi.substack.com)
-
65
Proton hosts map of 300k Flock devices amid legal threats
(cyberinsider.com)
-
1
TechTwitter – For when you want to keep up, but don't like Elon
(techtwitter-lime.vercel.app)
-
1
"Slow Horses," Apple TV's Best Show
(newyorker.com)
-
1
Show HN: CAS-X – An input-dominant recursive filter (8.5x recovery acceleration)
-
1
Show HN: CAS-X – An input-dominant recursive filter (8.5x recovery acceleration)
-
1
Show HN: I gave Claude control of Photoshop
(github.com)
-
1
Show HN: Automated newsletter built with Grok bot
(news.devs.dev)
-
3
Show HN: libfpv - Modding FPV Drone into Any Game
(hammerill.com)
-
1
AAS: The Metric for Monitoring DB Performance
(kylehailey.com)
-
2
Cveboard: Live Security Incidents
(cveboard.org)
-
3
Node2Shell vuln affected Python too
(opensourcemalware.com)
-
45
White House Directly Intervened to Shut Down Epstein Files Probe
(newrepublic.com)
-
1
Show HN: Distributed, deterministically secure agentic swarm runtime. Enclawed
(zenodo.org)
-
3
Show HN: Conference / expo / trade show finder plus MCP
(conferencefindr.com)
-
2
"No way to prevent this" say users of only language where this regularly happens
(xeiaso.net)
-
1
Clearing Out the Unfinished Project Backlog
(shielddigitaldesign.com)
-
171
CVE Tracker
(cve.0xosprey.com)
-
2
Biggest Fails from the 2026 World Humanoid Robot Games in China [video]
(youtube.com)
-
2
Show HN: distrust, a Go CLI tool for blocking unwanted CA certificates
-
3
Hare is a boring programming language
(harelang.org)
-
1
RTFM: TeamUpdraft (UpdraftPlus) and WordPress Hack on the RTFM Blog
(rtfm.co.ua)
-
3
Surveillance and 'constant paranoia': diplomats tell of life in war-time Moscow
(bbc.com)