The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Automated High-Throughput Functional Protein Screening via Graph-Neural Network Enhanced Microfluidics
dev.to·3h·
Discuss: DEV
🧮Kolmogorov Complexity
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
Why Logic Matters for Philosophy, and why Philosophy Matters for Logic
consequently.org·4d
🏛️Philosophy
Flag this post
Using Fuzzy Logic for Decision Making
loufranco.com·2d
🔗Constraint Handling
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Arc Is a Vision Problem
arxiviq.substack.com·17h·
Discuss: Substack
🚀SIMD Text Processing
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·14h·
Discuss: www.blogger.com
⚡Circuit Archaeology
Flag this post
Skin-R1: Toward Trustworthy Clinical Reasoning for Dermatological Diagnosis
arxiv.org·3d
λLambda Formalization
Flag this post
An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·10h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post