DiToast's Top FindsLoading...
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Vibe coding complex changes in Rust
youtube.com·2h
🦀Rust
Show HN: List of Clojure-Like projects
github.com·2h·
Discuss: Hacker News
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
🧮Programming Language Theory
Issue 483
haskellweekly.news·1d
⚙Functional Programming
5 fun operating systems you can try out by booting from a USB
xda-developers.com·7h
🐧Linux
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🔧Compiler Design
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Machine Learning Fundamentals: loss function
dev.to·5h·
Discuss: DEV
🎲Probabilistic Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Constraint Catalog
sofdem.github.io·21h
🎯Constraint Programming
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·6h·
Discuss: Hacker News
🏗Computer Architecture
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·12h
🔐Cryptography
If Odin Had Macros
gingerbill.org·14h·
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
Smart Pointers in Rust: A Love Story Between You and Memory Safety 💘
dev.to·9h·
Discuss: DEV
🦀Rust
Mastering NLP with spaCy – Part 2
towardsdatascience.com·4h
🔗Parser Combinators
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·9h
🦀Rust
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·16h·
Discuss: Hacker News
🤝Protocol Design