Japanese Scientists May Have Found a Way to Eradicate Down
mymodernmet.com·19h·
Discuss: Hacker News
🍎Apple
Near-cryogenic direct air capture using adsorbents
pubs.rsc.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·15h·
Discuss: Substack
✓Automated Theorem Proving
It's Not WordPress. It's the Plugins
journal.bsd.cafe·3d·
Discuss: Hacker News
❄️Nixified Development
API Security in IAM: Architecture, Best Practices, and Threat Mitigation
guptadeepak.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
QSFP+ and fiber-related question for my homelab
coherent.com·2d·
Discuss: r/homelab
🏠HomeLab
John Wheeler and the "It from Bit" (2023)
johnhorgan.org·15h·
Discuss: Hacker News
❄️Nix
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·3d·
Discuss: Hacker News
🔤DSLs
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·19h·
Discuss: Hacker News
🔬Static Analysis
Reflecting on PLDI 2025
people.csail.mit.edu·5d·
Discuss: Hacker News
⚙️PL Implementation
Project Servfail: One Year In
sdomi.pl·1d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
My 2025 Home Server Build
pcpartpicker.com·5d·
Discuss: r/homelab
🏠HomeLab
Compressed data structures for Heegaard splittings
arxiv.org·2d
➡️Category Theory
Bridging Boundaries: How to Foster Effective Research Collaborations Across Affiliations in the Field of Trust and Safety
arxiv.org·12h
📡Network Protocol Design
YouTuber faces criminal charges, jail time for reviewing handheld consoles
pcgamer.com·9h·
Discuss: Hacker News
🍎Apple
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·12h
💻CS
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·12h
🔍Formal Verification
Show HN: I built a GitHub AI app to automate the fixing of outdated docs
github.com·2d·
Discuss: Hacker News
❄️Nixified Development
"What do you expect? You're part of the internet": Analyzing Celebrities' Experiences as Usees of Deepfake Technology
arxiv.org·12h
🛡️seL4
Parsing Protobuf Like Never Before
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/programming
🔤DSLs