🧬 Computational Biology - nioobers · Scour

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation 📊Algorithms

Space Simulation Game ♟️Chess

alliancespaceguard.com·4d

China moves AI brain implants from trials towards real-world use 🧬Neuroscience

The Pseudomonas aeruginosa ribonuclease Ribocin cleaves eukaryotic ribosomes at helix 69 to inhibit host translation 🔬Science

journals.plos.org·9h

End of the semester λPL Theory

mtendekuyokwa.github.io·1d·Lobsters, Hacker News

Introducing Incremental ⚙️Compilers

blog.janestreet.com·3d·Lobsters

Prompts are technical debt too 📝Technical Writing

seangoedecke.com·23h·Lobsters, Hacker News

Software's Centaur Era 📼Tech History

twitchard.github.io·1d·Lobsters

Erasing Existentials 📐Type Systems

wolfgirl.dev·9h·Lobsters, Hacker News

Type out the code> 💻Programming

haskellforall.com·1d·Lobsters, Hacker News, r/programming

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp λPL Theory

hyperpolyglot.org·3d·Lobsters, Hacker News

Saying goodbye to asm.js ⚙️Compilers

spidermonkey.dev·10h·Lobsters, Hacker News

Even More Tagged Union Subsets with Comptime 📐Type Systems

sinclairtarget.com·1d·Lobsters, Hacker News

LLemdashes 🔍Tech Criticism

wil.to·10h·Lobsters

PyCon US 2026 Typing Summit Recap 📐Type Systems

bernat.tech·5d·Lobsters, Hacker News

Tonic is joining the gRPC project 📐Type Systems

luciofranco.com·1d·Lobsters, Hacker News, r/rust

Charlie Holland: Annotate-in-Place Notes with Emacs and org-remark 🌿Digital Gardens

chiply.dev·23h·Lobsters, Hacker News, r/programming

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

Why Ruby Still Feels Like Home After All These Years ⚙️Compilers

caio.ca·18h·Lobsters

GitHub 🛠️Developer Tools

·4d

Log in to enable infinite scrolling