Magnesium, the microbiome, and reducing the risk of colon cancer
newatlas.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
DoED Puts Harvard Under Financial Monitoring: Federal Investigations Create Risk
thecrimson.com·1d·
Discuss: Hacker News
📚Automata Learning
Access logging in 2025
neugierig.org·6d·
Discuss: Lobsters, Hacker News
📊Runtime Verification
The Cables Stuck Too Deep
gardnermcintyre.com·6d·
Discuss: Hacker News, r/TrueReddit
🩹Self-Healing Systems
MI6 launches dark web portal to attract spies in Russia
bbc.co.uk·3d·
Discuss: Hacker News
🛡️seL4
Depression Reduces Capacity to Learn to Actively Avoid Aversive Events
eneuro.org·4d·
Discuss: Hacker News
🩹Self-Healing Systems
USCIS Employer Data Hub - Record of H-1Bs by State, Industry, or Company
uscis.gov·2d·
Discuss: Hacker News
🔤DSLs
Don’t Take the Auditor to the Strip Club
bloomberg.com·4d·
Discuss: Hacker News
🧠Automated Reasoning
Show HN: MSPaint for Android
play.google.com·5d·
Discuss: Hacker News
📺Vintage Apple
Ask HN: Is anyone else sick of AI splattered code
news.ycombinator.com·4d·
Discuss: Hacker News
🔬Static Analysis
MetalBear’s Mirrord Gives AI Agents a Staging Environment To Test Their Code
thenewstack.io·5d
🖥Self-Hosting
Atlassian CEO promises AI everywhere, clearer views of what your devs are up to
theregister.com·3d·
Discuss: Hacker News
❄️NixOS
Apple Watch Ultra 3 vs Ultra 2: Here’s everything new
9to5mac.com·2d
🍎Apple
Silicon Valley bets big on ‘environments’ to train AI agents
techcrunch.com·5d·
Discuss: Hacker News
🎮Verification Games
I regret to inform you Meta’s new smart glasses are the best I’ve ever tried
theverge.com·4d·
Discuss: Hacker News
🍎Apple
The hunger strike to end AI
theverge.com·4d·
Discuss: Hacker News
🩹Self-Healing Systems
On physiological limits of sense making
lesswrong.com·6d
🩹Self-Healing Systems
NPM Supply Chain Malware with Self-Replicating Behaviour
safedep.io·6d·
Discuss: Hacker News
❄️NixOS
Apple Sports app gets widgets for live scores and schedules on your home screen
9to5mac.com·5d
🍎Apple
Trump hits H-1B visas with $100,000 fee, targeting the program that launched Elon Musk and Instagram
techcrunch.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure