2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🎮Language Ergonomics
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🪢Rope Algorithms
A Data Importing AI Agent
dolthub.com·2d
💬Interactive REPLs
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🐍lisp
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·1h·
Discuss: Hacker News
🪜Recursive Descent
Python For Data Engineering
github.com·17h·
Discuss: DEV
📊DataFrame Types
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🧮Theorem Provers
How to Use Claude Sonnet 4.5 and GPT-5 for FREE: 3 Proven Methods
bitdoze.com·1d
Live Programming
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·10h·
Discuss: DEV
📦Monorepos
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·22h
🔍ML Language
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·3h·
Discuss: Hacker News
💬Interactive REPLs
No Bullshit Guide to Statistics prerelease
minireference.com·9h·
Discuss: Hacker News
⚖️Inference Rules
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
How Google Translate & ChatGPT Work: The Transformer, Unboxed
proceedings.neurips.cc·1d·
Discuss: DEV
🌊Streaming Lexers
VLLM Predicted Outputs
cascadetech.ai·6h·
Discuss: Hacker News
🎭Program Synthesis
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·13h·
Discuss: r/opensource
📚Stack Languages
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·12h·
Discuss: DEV
🪄C Metaprogramming
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·14h·
Discuss: r/webdev
📚Stack Languages
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
Type Checking
A Manifesto for the Programming Desperado
github.com·11h·
Discuss: Hacker News
🎭Program Synthesis