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

Interview Your Libraries (2013)
jch.github.ioยท19hยท
Discuss: Hacker News
๐Ÿ”—Language Toolchains
ABAP Cloud - Level Concept and now?
software-heroes.comยท7h
๐ŸฅพBootstrapping Strategies
Week Notes, 2025-10-12
sentfrom.meยท13h
๐Ÿ”—Concatenative
Getting a Hypergraph of Functions to a Browser
systeminit.comยท4dยท
Discuss: Hacker News
๐Ÿ›๏ธElm Architecture
Why I built the same REST API in 5 languages (C#, Java, Go, TypeScript, Python)
medium.comยท2dยท
Discuss: r/programming
๐ŸŽฎLanguage Ergonomics
Procedurally generated flags
reddit.comยท19hยท
โœจCode Formatting
Resources for learning Godot in C#
reddit.comยท19hยท
Discuss: r/godot
๐Ÿ’ฌInteractive REPLs
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท4dยท
Discuss: Hacker News
๐Ÿ“Text Editors
Leveling Up in Back-End Development with Metaโ€™s Coursera Course ๐Ÿš€
dev.toยท2dยท
Discuss: DEV
๐ŸŒBrowser REPLs
PatentVision: A multimodal method for drafting patent applications
arxiv.orgยท7h
๐ŸŒณParser Visualization
Hierarchical Scheduling for Multi-Vector Image Retrieval
arxiv.orgยท1d
๐ŸŒธBloom Indexing
DryDock - Agent Production, Orchestration & Autonomy System
reddit.comยท3dยท
Discuss: r/ClaudeAI
๐ŸŽชActor Frameworks
Personalized Motion Guidance Framework for Athlete-Centric Coaching
arxiv.orgยท7h
๐ŸŽฎLanguage Ergonomics
Gain Tuning Is Not What You Need: Reward Gain Adaptation for Constrained Locomotion Learning
arxiv.orgยท7h
โœจEffect Inference
People use fast, flat goal-directed simulation to reason about novel problems
arxiv.orgยท7h
๐ŸงฉConstraint Solvers
ENIGMA: The Geometry of Reasoning and Alignment in Large-Language Models
arxiv.orgยท7h
๐Ÿ”ML Language
Remote frontend dev at startup โ€” stuck patching backend leaks with JavaScript
reddit.comยท1dยท
Discuss: r/reactjs
๐ŸŽฎLanguage Ergonomics
It's early days for Agents
dev.toยท12hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
CapGeo: A Caption-Assisted Approach to Geometric Reasoning
arxiv.orgยท1d
๐Ÿ“ˆEarley Parsing