Teaching programming languages
kmjn.org·11h
🪄Prompt Engineering
Typeclassopedia
wiki.haskell.org·20h·
Discuss: Hacker News
🧩Types
A Review of Developmental Interpretability in Large Language Models
arxiv.org·19h
🔍AI Interpretability
Two Dogmas of Empiricism
en.wikipedia.org·11h·
Discuss: Hacker News
🧩Types
The Lobster Programming Language
strlen.com·4h·
Discuss: Hacker News
🦀Rust Compiler Internals
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·13h
🤝Distributed Consensus
Hidden Reasoning in LLMs: A Taxonomy
lesswrong.com·1h
🔤Font Rendering
Anonymous structavaganza in zig
lirk.top·6h·
Discuss: Hacker News, r/Zig, r/programming
🦀Rust Compiler Internals
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·19h
🏆LLM Benchmarking
Hardware Technologies And Algorithms for Vector Symbolic Architectures (Purdue Univ., Georgia Tech)
semiengineering.com·1h
⚡Hardware Acceleration
Nullable vs. Nullable in C#
einarwh.no·5h·
Discuss: Lobsters, Hacker News, r/programming
💾Binary Formats
Capture Checking in Scala
nrinaudo.github.io·18h·
Discuss: Hacker News
🦀Rust Compiler Internals
Build a baby Claude Code using Python
siddharthbharath.com·9h·
Discuss: Hacker News
👨‍💻AI Coding
Notes on Autograd
aschrein.github.io·5h·
Discuss: Hacker News
🧮Compute Optimization
Can large language models figure out the real world?
news.mit.edu·3h
🔍AI Interpretability
Stable, Mutable References for Ante
antelang.org·10h·
Discuss: Hacker News, r/programming
🦀Rust Compiler Internals
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·17h·
Discuss: Hacker News
🛡️AI Safety
I Taught Claude Every’s Standards. It Taught Me Mine.
kill-the-newsletter.com·8h
🎭Claude
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.org·19h
🏆LLM Benchmarking
Looking for Final Year Project (FYP) Ideas – Web Dev, AI, or Automation Tools
reddit.com·12h·
Discuss: r/SoftwareEngineering
🪄Prompt Engineering