A 515-Mile Lightning Flash Is Longest on Record
e360.yale.edu·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
EXT4 Shows Wild Gains With Better Block Allocation Scalability In Linux 6.17
phoronix.com·2d·
Discuss: Hacker News, r/linux
⚙️Operating System Design
Talking robots learn to manage human interruptions
hub.jhu.edu·1d·
Discuss: Hacker News
🎮Verification Games
Three axes of time: A new theory reshapes the geometry of the Universe
universemagazine.com·1d·
Discuss: Hacker News
➡️Category Theory
At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·2d·
Discuss: Hacker News
➡️Category Theory
So_keepalive Slow on macOS
defn.io·3d·
Discuss: Hacker News
👁️System Observability
Let the Kaleidoscope Turn
shabie.github.io·2d·
Discuss: Hacker News
➡️Category Theory
Existential Technologies (A Close Reading of Stanisław Lem's Summa Technologiae)
existentialtech.antikythera.org·2d·
Discuss: Hacker News
🔬Unikernels
I designed my own ridiculously fast game streaming video codec
themaister.net·5d·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Leaving LinkedIn
onepict.com·3d·
Discuss: Hacker News
🍎Apple
Numair Fatax
web.archive.org·15h·
Discuss: Hacker News
🎮Verification Games
Programming is magic, or how I wrote a Kalaha solver
vlaaad.github.io·3d·
Discuss: Hacker News
🎮Verification Games
Num2words PyPI Package Compromised
stepsecurity.io·5d·
Discuss: Hacker News
❄️Nixified Development
The AI age is the "age of no consent"
productpicnic.beehiiv.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What does your chatbot think about this chatbot's thoughts on GPT-5
karimmustaghni.substack.com·2d·
Discuss: Substack
🎮Verification Games
Testing the full AI editorial system on No Cap Blog
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Deep Reinforcement Learning for Real-Time Green Energy Integration in Data Centers
arxiv.org·4d
🏹Effect Systems
When no one shows up (at first): Navigating the uncertainties of participatory workshops in interdisciplinary research
arxiv.org·2d
🎮Verification Games
Collaborative Medical Triage under Uncertainty: A Multi-Agent Dynamic Matching Approach
arxiv.org·3d
💻CS
CIMR: Contextualized Iterative Multimodal Reasoning for Robust Instruction Following in LVLMs
arxiv.org·3d
🐫OCaml