♟️ Chess - nioobers · Scour

Using algebra and LLMs to verify a flight-plan bug fix in Lean 📊Algorithms

jameshaydon.github.io·1d·Lobsters, Hacker News, r/programming

Space Simulation Game 🔧Systems Programming

alliancespaceguard.com·4d

Everything in C is undefined behavior 🔧Systems Programming

blog.habets.se·2d·Lobsters, Hacker News

Prolog Projects Tips 💻CLI Tools

occasionallycogent.com·4d·Lobsters

‘It is incredible’: How AI is transforming mathematics 📊Algorithms

nature.com·1d·Hacker News

The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation 🏗️Brutalist Web

smoores.dev·1d·Lobsters, Hacker News, r/javascript, r/webdev

Pinchord 🔤Typography

C++26: More function wrappers λPL Theory

sandordargo.com·1d·Lobsters, Hacker News, r/cpp

oss-security - Recent Kernel exploits, attack surface reduction, example IPSEC 🔐Cybersecurity

openwall.com·4d·Lobsters, Hacker News

Software's Centaur Era 🧬Computational Biology

twitchard.github.io·1d·Lobsters

Armor-piercing questions 🔐Cybersecurity

blog.cjquines.com·3d

Caesar: A Deductive Verifier for Probabilistic Programs 📐Type Systems

Core Team Panel 💻Programming

youtu.be·6d·Lobsters

Coding on Paper 🔤Typography

wickstrom.tech·5d·Lobsters, Hacker News, r/programming

anishathalye/ai-agent-security-lecture: Guest lecture in MIT 6.566 on AI Agent Security 🔐Security

github.com·2d·Lobsters, Hacker News

LibreOps 🐧Linux

libreops.cc·6d·Lobsters

Can the ‘steroid Olympics’ show the sporting community how to support athletes better? 🎮Gaming

Cutting the Gordian Hairball 🌿Digital Gardens

buttondown.com·3d·Lobsters

Have a Coherent AI Policy 📝Technical Writing

brianmeeker.me·6d·Hacker News

Escape from Callback Hell! A New Programming Paradigm for Network Simulation 📐Computational Geometry

Log in to enable infinite scrolling