🎭 Staging

Multi-Stage Programming, Code Specialization, MetaOCaml, Template Haskell

TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
bford.info·1d
🌱Forth Kernels
Note
hsu.cy·1d
🔗Concatenative Theory
The Wild Vibe
jarv.org·2d·
Discuss: Hacker News
🔄Bootstrapping
Replacing the Type Checker for the Swift Compiler
forums.swift.org·5d·
Discuss: Hacker News
🦉Swift Interpreters
original ↗
raymondcamden.com·1d
⚡Live Coding
I published a comprehensive guide on using the useMemo() hook in React with TypeScript.
medium.com·13h·
Discuss: r/reactjs
📦Monorepos
One battle after another: using RL-guided reasoning for next-token prediction
research.nvidia.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Trying to Build Clean Error Handling in Express – Too Many Questions, HELP!
reddit.com·1d·
Discuss: r/webdev
🛡️Error Handling
Built my own Search Engine from Scratch in Java (TF-IDF + BM25) — Open Source Learning Project
github.com·11h·
Discuss: r/opensource
🗂️Term Indexing
🏛️ Building LLMs from Scratch – Part 2: Data Collection & Custom Tokenizers
reddit.com·1d·
Discuss: r/programming
🔤Language Tokenizers
Scriptable mutating admission hook?
reddit.com·3d·
Discuss: r/kubernetes
🌊Gradual Typing
We need a tier with a larger context window.
reddit.com·9h·
Discuss: r/ClaudeAI
💬Interactive REPLs
Backend dev just designed my first page in pure CSS and I loved it
reddit.com·1d·
Discuss: r/webdev
📋Template Compilers
johannesjo/super-productivity
github.com·1d
🎮Language Ergonomics
Unifying Multiple Apps Into One Monorepo With One Root
dev.to·7h·
Discuss: DEV
📦Package Managers
Closing the Data-Efficiency Gap Between Autoregressive and Masked Diffusion LLMs
arxiv.org·4h
🪜Recursive Descent
English - the hottest programming language of the future
dev.to·3d·
Discuss: DEV
🎮Language Ergonomics
Building a Web Search Workflow Using Microsoft Agent Framework (Without Any AI Services) -Part II
dev.to·1d·
Discuss: DEV
🔄Coroutines
11 months AI coding journey - tools, tech stack, best practices (long post with screenshots)
reddit.com·2d·
Discuss: r/ClaudeAI
🔄Bootstrapping
OpenAI’s AgentKit: A New Era for Developer Tooling in Agentic AI
pub.towardsai.net·15h
🎮Language Ergonomics