Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
I Generated 1 Billion Tokens (So You Don't Have To): Introducing ReasonScape
reddit.com·6h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
AI Tools for Economists and Policy Analysts
aei.org·14h
🎲Probabilistic Programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·1d·
Discuss: DEV
🧮Programming Language Theory
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·7h·
Discuss: Hacker News
🏗Computer Architecture
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·2d
🔢Mathematical Logic
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·3d
⚙Functional Programming
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·13h
🔐Cryptography
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·1d·
Discuss: Hacker News
⚙Functional Programming
Mastering NLP with spaCy – Part 2
towardsdatascience.com·4h
🔗Parser Combinators
Transpiling a Forth dialect to LLVM IR
onirom.fr·5m
🔧Compiler Design
Moving Beyond the Prompt (AI Literacy Course)
github.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Does the Bitter Lesson Have Limits?
dbreunig.com·8h·
Discuss: Hacker News
📈Complexity Theory
LLM Inference: Core Bottlenecks Imposed By Memory, Compute Capacity, Synchronization Overheads (NVIDIA)
semiengineering.com·5h
⚖️Logic Programming
Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·20h
🎲Probabilistic Programming
31 Days with Claude Code: What I Learned
hung-truong.com·9h·
Discuss: Hacker News
🔧Compiler Design
Building Composable AI Agents in Go + WebAssembly with Hayride
blog.hayride.dev·7h·
Discuss: r/golang
🦀Rust
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·1d
🎲Probabilistic Programming
GoLang101: Functions, Methods, and Go’s Minimal Object-Oriented Style
dev.to·4h·
Discuss: DEV
⚙Functional Programming