The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·22h
🔤Type Theory
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·14h·
Discuss: Hacker News, shkspr.mobi
📏Code Metrics
ML Systems: Motivating Dense Models
jacobkahn.me·4h·
Discuss: Hacker News
🧠Machine Learning
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·7h·
Discuss: Hacker News
🔩Systems Programming
Writing a C compiler in 500 lines of Python
vgel.me·9h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Guest Post on Why Coding Style is Important
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org
📜Proof Carrying Code
How to Vibe Code Effectively
ibrahimahmed.ca·5h·
Discuss: Hacker News
✅Formal Methods
Python Metaprogramming: Advanced Techniques for Dynamic Code Creation and Runtime Modification
dev.to·10h·
Discuss: DEV
🦀Rust Macros
How to give a talk
karagila.org·2h
⚔️Lean Theorem
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·15h·
Discuss: Substack
🔗Concatenative Programming
ngn/k tutorial
razetime.github.io·1d
🔗Concatenative Programming
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz·6h·
Discuss: Hacker News
🤝Distributed Consensus
Tracking my Computer Science Relearning Journey
hackernoon.com·21h
💻CS
Why ML Needs a New Programming Language with Chris Lattner
signals-threads.simplecast.com·5h
🎵Audio ML
LLMs to Blaze a Trail
blogger.com·1d
💾Persistence Strategies
On Becoming an Engineer at Dropbox
nikrad.io·5h·
Discuss: Hacker News
⚙️Proof Engineering
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·1d·
Discuss: r/MachineLearning
🔗Constraint Handling
Vortex: An extensible, state of the art columnar file format
github.com·2h·
Discuss: Hacker News
🔗Archive Combinators
The Gabian History of Mathematics
cognition.cafe·1d·
Discuss: Hacker News
🔬Lean