The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·22h
🔤Type Theory
How to Vibe Code Effectively
ibrahimahmed.ca·5h·
Discuss: Hacker News
⚡Proof Automation
Formal Verification of Isothermal Chemical Reactors
arxiv.org·22h
👑Isabelle/HOL
Joint LFCS/AIAI Seminar-Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon
informatics.ed.ac.uk·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Python Metaprogramming: Advanced Techniques for Dynamic Code Creation and Runtime Modification
dev.to·10h·
Discuss: DEV
🦀Rust Macros
Learning Machine Learning in Elixir | zacksiri.dev
zacksiri.dev·19h
💻Local LLMs
Double Maths First Thing: Issue 34
aperiodical.com·18h
⚙️Proof Engineering
Why ML Needs a New Programming Language with Chris Lattner
signals-threads.simplecast.com·5h
🎵Audio ML
The Term "Non-Deterministic" and LLMs
vishalbakshi.github.io·1h·
Discuss: Hacker News
🧮Kolmogorov Complexity
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·14h·
Discuss: Hacker News, shkspr.mobi
📏Code Metrics
2025-09-03: Summer Internship with Microsoft
ws-dl.blogspot.com·7h·
Discuss: ws-dl.blogspot.com
👁️Observatory Systems
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·15h·
Discuss: Substack
🔗Concatenative Programming
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz·6h·
Discuss: Hacker News
🤝Distributed Consensus
LLMs to Blaze a Trail
blogger.com·1d
💾Persistence Strategies
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·22h
🔍Type Inference
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Song recommendations with C# free monads
blog.ploeh.dk·2d
λLambda Formalization
Writing a C compiler in 500 lines of Python
vgel.me·9h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Google API
funcall.blogspot.com·19h·
Discuss: www.blogger.com
🌀Brotli Internals
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·5d
🎯Performance Proofs