⚖️ Inference Rules - abnv · Scour

Formal Verification Gates for AI Coding Loops 👑Dominator Analysis

reubenbrooks.dev·4d·Hacker News

All Lean Books and Where to Find Them 🌱Minimal Schemes

lakesare.brick.do·20h·Hacker News

Putin at the court of the Celestial Emperor 🏛️Elm Architecture

engelsbergideas.com·2d

Communist Party Marxist - Kenya defends counter-revolutionary Maoist strategy against Trotskyism—Part 1 ⚡Fusion Laws

machine review for the scientific record 🧮Combinator Calculus

pith.science·6d·Hacker News

Null Pointers Have Been Killing Software for 60 Years 💾Persistent Heaps

siliconopera.com·4d

samth/gradual-typing-bib: A bibliography on Gradual Typing 🌈Gradual Languages

github.com·5d·Lobsters

Less-relevant results

writings on math, logic, philosophy and art 🔗Concatenative Theory

abuseofnotation.github.io·2d·Lobsters, Hacker News

Super-intelligence Survival Guide: Verification via Proof-Carrying Output 📜Proof Languages

eprint.iacr.org·5d

Meta's embedded signup v4 is here - but the October 15 clock is ticking 🌐Browser REPLs

Ford’s Reviving The Fiesta And Building A Bronco Only For Europe To Hold Off BYD 🚀V8 Internals

carscoops.com·6d

Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures 🧩Constraint Solvers

cryptobriefing.com·2d·Hacker News

cluster-software/agent-crm: The headless CRM for Claude 🌲Tree-sitter

github.com·6d·Hacker News

Erasing Existentials 🔗Lexical Scoping

wolfgirl.dev·4d·Lobsters, Hacker News, r/rust

We are reaching the structural limits of probabilistic code generation 🎭Program Synthesis

logicalintelligence.com·6d·r/SoftwareEngineering, r/artificial, r/cogsci, r/compsci

The Hugo evolution: Engineering Grab's unified, one-click data ingestion platform with Apache Flink 📡Erlang BEAM

engineering.grab.com·3d

Compiling Ruby. Part 2: RiteVM 📜Bytecode

lowlevelbits.org·4d

New review reveals why mosquitoes keep choosing the same people, and it's not blood type ✨Effect Inference

thecooldown.com·4d

Log in to enable infinite scrolling