♟️ Chess - nioobers · Scour

Language-Based Agent Control 📐Type Systems

6.23 De‐bloating Javascript 🏗️Brutalist Web

github.com·2d·Lobsters, Hacker News

Quote by Barack Obama: “Looking back, it’s embarrassing to recognize…” 📝Blogging

goodreads.com·5d

Erasing Existentials 📐Type Systems

wolfgirl.dev·9h·Lobsters, Hacker News

End of the semester λPL Theory

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

Kaodake ch. 13.2, pg. 9 🎭Cultural Sociology

dynasty-scans.com·6h

LLemdashes 🔍Tech Criticism

wil.to·10h·Lobsters

Pythagorean Addition 📐Mathematics

entropicthoughts.com·2d·Hacker News

Effect of tipiracil hydrochloride, thymidine phosphorylase inhibitor, on the ischemia/reperfusion injury of brain tissue in rats 🧬Neuroscience

nature.com·23h

Even More Tagged Union Subsets with Comptime 📐Type Systems

sinclairtarget.com·1d·Lobsters, Hacker News

Online Speed Drill 🔐Cryptography

arithmetic.zetamac.com·4d

Golfing Zig ELF Binaries (2025) 🔧Systems Programming

ctf.gg·8h·Lobsters, Hacker News

Armor-piercing questions 🔐Cybersecurity

blog.cjquines.com·2d

The Pseudomonas aeruginosa ribonuclease Ribocin cleaves eukaryotic ribosomes at helix 69 to inhibit host translation 🧬Computational Biology

journals.plos.org·9h

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

hyperpolyglot.org·3d·Lobsters, Hacker News

Understanding the Go runtime: the "select" statement ⚙️Compilers

internals-for-interns.com·2d·Lobsters, Hacker News, r/golang

Type out the code> 💻Programming

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

The CTF scene is dead 🎮Gaming

kabir.au·4d·Lobsters, Hacker News

Polymorphic Bottom-Up Weighted Relational Programming 🗂️Data Structures

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

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

Log in to enable infinite scrolling