Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4h·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·1d
🧩Parser Combinators
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
Physicists prove universe isn't simulation as reality defies computation
thefreesheet.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
dev.to·9h·
Discuss: DEV
📚Automata Learning
Flag this post
The case against boolean logic
abuseofnotation.github.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·4h
⏱️Computational Complexity
Flag this post
Bold Devlog - October Summary
bold-edit.com·7h·
Discuss: r/programming
🔬Static Analysis
Flag this post
Mind of a Mathematician (2019)
paw.princeton.edu·2d·
Discuss: Hacker News
🔗Curry-Howard
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·1d·
Discuss: r/MachineLearning
🧮SMT Solvers
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·3h·
Discuss: Hacker News
📝Nix Language
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·22h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·4d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
Three Stages of Enlightenment
essenceofsoftware.com·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·9h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Cracking Code with Quantum: Can Machines Really Understand Us?
dev.to·14h·
Discuss: DEV
⚙️Compiler Design
Flag this post