The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
🔬programming language theory
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·11h·
Discuss: Hacker News
🎭Program Synthesis
New comment by DHEERAJCK in "Ask HN: Freelancer? Seeking freelancer? (October 2025)"
dheerajck.com·1h·
Discuss: Hacker News
🎮Language Ergonomics
What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·5h·
Discuss: DEV
🔧Error Recovery
valuetier.org (and some thoughts on LLMs)
ericphanson.com·20h·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code
Using Either/Result in TypeScript for Error Handling
dev.to·2d·
Discuss: DEV
🛡️Error Handling
How to Build a Modular AI Agent with LangGraph in NestJS & TypeScript
dev.to·1d·
Discuss: DEV
✨Gleam
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·4h·
Discuss: Hacker News
🪄Macros
Why We Chose Godot .NET to Build The Goddess's Will
reddit.com·2h·
Discuss: r/godot
🎭Racket Modules
Advice on my Language
github.com·2d·
Discuss: r/programming
📚Factor
Luke Plant: Breaking “provably correct” Leftpad
lukeplant.me.uk·5d·
Discuss: Lobsters, Hacker News, r/programming
🎲Parser Fuzzing
Seriously Testing LLMs
satisfice.com·13h
🎯Finite Automata
Med-K2N: Flexible K-to-N Modality Translation for Medical Image Synthesis
arxiv.org·10h
🔍Lens Libraries
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·4h·
Discuss: Hacker News
🧮Theorem Provers
LLVM Weekly - #398, August 16th 2021
llvmweekly.org·4d
🏗️LLVM
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
🔍ML Language
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·10h
🎲Parser Fuzzing
Nix pills
nixos.org·1d
🏗️Build Systems
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·10h·
Discuss: DEV
🌊Streaming Lexers
built a full java desktop app with claude 4 sonnet + cursor in one sitting
teamdev.com·3h·
Discuss: r/programming
⚡Live Coding