Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·12h
📞Session Types
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Hypercubical manifolds in homotopy type theory
arxiv.org·18h
🔶Cubical Type Theory
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
🤖Lisp Machines
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·4h·
Discuss: Hacker News
⚡Proof Automation
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Using PhantomData and Zero-Sized Types
dev.to·6h·
Discuss: DEV
🔒Type Safety
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Improving Compiler Bug Isolation by Leveraging Large Language Models
arxiv.org·1d
🔓Decompilation
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·13h·
Discuss: Hacker News
🌀Brotli Internals
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·13h·
Discuss: DEV
⚡Performance Tools
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·18h
🧠Intelligence Compression