DiToast's Top FindsLoading...
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1h·
Discuss: Lobsters, Hacker News
📝Lisp
Parallel Programming Models
ayushgundawar.me·8h·
Discuss: Hacker News
🏗Computer Architecture
Vibe coding complex changes in Rust
youtube.com·17h
🦀Rust
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·23h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Show HN: List of Clojure-Like projects
github.com·18h·
Discuss: Hacker News
🔧Compiler Design
I Tested 10 Popular Linux Distros, Here's How I Rank Them
howtogeek.com·3h
🐧Linux
A Library Approach to Constant Template Parameters
brevzin.github.io·31m·
Discuss: Hacker News
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🧮Programming Language Theory
Web Developer Travis McCracken on Using Async Rust Safely
dev.to·58m·
Discuss: DEV
🦀Rust
Transpiling a Forth dialect to LLVM IR
onirom.fr·14h
🔧Compiler Design
Lobsters Interview with Icefox
lobste.rs·21h·
Discuss: Lobsters
🔧Compiler Design
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Issue 483
haskellweekly.news·2d
⚙Functional Programming
Constraint Catalog
sofdem.github.io·1d
🎯Constraint Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔢Mathematical Logic
Introduction to Supervised Machine Learning for Beginners
github.com·6h·
Discuss: DEV
🎲Probabilistic Programming
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·1d
🔐Cryptography
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory