I will hire you immediately, no questions asked, if you read this entire list of textbooks
lama.gg·1d
🔢Mathematical Logic
HTML Traits
jnyman.com·5h·
Discuss: DEV
🦀Rust
Google is still there when the model lets you down
ayende.com·22h
🧭SMT Solvers
MultiNRC: A Challenging and Native Multilingual Reasoning Evaluation Benchmark for LLMs
reddit.com·21h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
The problem with AI agent-to-agent communication protocols
infoworld.com·1d
🤝Protocol Design
The next AI frontier: AI inference for less than $0.002 per query
edn.com·16h
🏗Computer Architecture
ECMA-262, 16th edition, June 2025
262.ecma-international.org·2d·
Discuss: Hacker News
🧮Programming Language Theory
How to Write Inductive Invariants
quint-lang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Full stack open
fullstackopen.com·1d
📝Lisp
In Support Of Shitty Types
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Beyond the Wavefunction: Qualia Abstraction Language Mechanics and the Grammar of Awareness
arxiv.org·6h
🧮Programming Language Theory
Estimating Worst-Case Frontier Risks of Open-Weight LLMs
arxiv.org·6h
🎲Probabilistic Programming
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·14h·
Discuss: Hacker News
👐Open Source Software
Building Rich Domain Models: A Practical Guide to DDD in .NET
dev.to·10h·
Discuss: DEV
🧮Programming Language Theory
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·6h
🎲Probabilistic Programming
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data
arxiv.org·1d
🛡️IoT Security
Likelihood Matching for Diffusion Models
arxiv.org·6h
🎲Probabilistic Programming
UrBLiMP: A Benchmark for Evaluating the Linguistic Competence of Large Language Models in Urdu
arxiv.org·1d
🔗Parser Combinators
Prefect Pipeline Tutorial: Complete Breakdown
dev.to·1d·
Discuss: DEV
🦀Rust
LLMs won't save you from bad software engineering culture
atelfo.github.io·2d·
Discuss: Hacker News
🔧Compiler Design