The Church of Emacs
jxself.org·2h
📖Literate Programming
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·6m
🔶Lattice Theory
Children can be systematic problem-solvers at younger ages than psychologists previously thought
medicalxpress.com·1h
🧸Toy Compilers
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·14h·
Discuss: Hacker News
🎭Program Synthesis
New comment by DHEERAJCK in "Ask HN: Freelancer? Seeking freelancer? (October 2025)"
dheerajck.com·4h·
Discuss: Hacker News
🎮Language Ergonomics
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·6h·
Discuss: Hacker News
🪄Macros
Why We Chose Godot .NET to Build The Goddess's Will
reddit.com·5h·
Discuss: r/godot
🎭Racket Modules
Seriously Testing LLMs
satisfice.com·15h
🎯Finite Automata
Luke Plant: Breaking “provably correct” Leftpad
lukeplant.me.uk·5d·
🎲Parser Fuzzing
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
🗺️Region Inference
Compton: A Compositor for X11
github.com·1h·
Discuss: Hacker News
🎪Playground Compilation
Med-K2N: Flexible K-to-N Modality Translation for Medical Image Synthesis
arxiv.org·13h
🔍Lens Libraries
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·7h·
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·13h
🎲Parser Fuzzing
Nix pills
nixos.org·1d
🏗️Build Systems
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·13h·
Discuss: DEV
🌊Streaming Lexers