The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
🔬programming language theory
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·1h·
Discuss: Hacker News
🪄Macros
TypeNet Benchmark for development of authentication keystroke technologies
github.com·1d·
Discuss: Hacker News
🌱Minimal ML
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·27m·
Discuss: Hacker News
🔗Language Toolchains
The jank community has stepped up
jank-lang.org·2d·
🔮Clojure
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·2d·
Discuss: Hacker News
🌙Lua
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
📐Mathematical Computing
Lazy text capitalization with low latency large language models
blog.florianschulz.info·1d·
Discuss: Hacker News
🔄Incremental Lexing
expressjs/express
github.com·10h
🔮Metacircular Evaluators
Opti's Claude 4.5 Sonnet "vibe coding" report
stacker.news·1d
🔬Nanopasses
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·8h
🔍ML Language
Advice on Spring Project for Junior SWE Portfolio
reddit.com·57m·
🎮Language Ergonomics
original ↗
lmika.org·2d
🔬programming language theory
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·9h·
Discuss: Hacker News
🎭Program Synthesis
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·1d·
Discuss: Hacker News
🗺️Region Inference
valuetier.org (and some thoughts on LLMs)
ericphanson.com·18h·
📚Self-Documenting Code
Using Either/Result in TypeScript for Error Handling
dev.to·2d·
Discuss: DEV
🛡️Error Handling
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·2h·
Discuss: DEV
🔗Hash Functions
How to Build a Modular AI Agent with LangGraph in NestJS & TypeScript
dev.to·1d·
Discuss: DEV
Gleam
Advice on my Language
github.com·2d·
Discuss: r/programming
📚Factor