🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Replay: Trump delivers 9/11 anniversary remarks at the Pentagon
france24.com·5h
🎛️Cassette DSP
'Netanyahu, we're not leaving': Defiance in Gaza City as Israel shows aid sites planned for evacuees
bbc.com·1d
📡Feed Security
Add an Accessibility Nutrition Label
gerireid.com·3h·
Discuss: Lobsters
✅FLAC Verification
"I, Mars" by Ray Bradbury (1949)
gutenberg.org·15h·
Discuss: Hacker News
💾vintage computing
Borderlands 4, Nvidia's latest bundle game, demands 100GB but runs well on mid-range PCs
techspot.com·9h
🖥️Terminal Renaissance
Google Cloud enables free switching to other providers in the EU
heise.de·23h
🖥️Self-hosted Infrastructure
The Three Laws of Humanics
pinchito.es·3d·
Discuss: Hacker News
🔲Cellular Automata
Entropy – Favourite at Mind Sports Olympiad
news.ycombinator.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Best Systran Alternative for Enterprises
dev.to·9h·
Discuss: DEV
🔄Migration Tools
HPE DL380G11 Disabling PCIe cards for no reason on a reboot?
reddit.com·3h·
Discuss: r/homelab
🔒Secure Boot
Microsoft AI CEO warns against giving AI rights: 'That's so dangerous and so misguided'
businessinsider.com·13h·
Discuss: r/technews
⚖️Emulation Ethics
Tiny prairie dwellers outshine bison in keeping soil and plant nutrients cycling
phys.org·23h
📡RSS Readers
Warming rivers in Alaska threaten Chinook salmon populations and Indigenous food security
phys.org·5h
🧊Arctic Storage
Show HN: Browse the new MCP registry with Remote MCP
github.com·5h·
Discuss: Hacker News
🔄Sync Engine
Airbnb: Momentum And Diversification, But Valuation Calls For Patience - Hold Recommendation
seekingalpha.com·5h
🔍BitFunnel
Mid-America Apartment Communities, Inc. (MAA) Presents At BofA Securities 2025 Global Real Estate Conference Transcript
seekingalpha.com·23h
📚MARC Archaeology
From Org Charts to Work Charts: Building Clarity in the New Work World
clearwork.io·23h·
Discuss: Hacker News
🔄Archival Workflows
Show HN: I made a terminal UI to manage parallel async Claude Code/Codex agents
github.com·3d·
Discuss: Hacker News, r/compsci
🦀Rust Macros
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·3d
🔲Cellular Automata
Cell memory can act more like a dimmer dial than an on/off switch
phys.org·2d
🧬Copy Number Variants