Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
The Architecture of Web-Based Graphic Editors and 7 Design Patterns (Part 2)
dev.to·11h·
Discuss: DEV
✨Effect Handlers
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Mudra: The Choreography in the Hands (2013)
researchgate.net·6h·
Discuss: Hacker News
⚡Effectful Programming
Show HN: AI Distiller (aid) reduces hallucinations during vibe coding
github.com·4h·
Discuss: Hacker News
✨Effect Handlers
Beyond Model Stacking: The Architecture Principles That Make Multimodal AI Systems Work
towardsdatascience.com·2d
✨Effect Handlers
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·11h
🤖Paleographic AI
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·8h·
Discuss: Hacker News
🔗Functional Compilers
Experiment proposal: In-place initialization
github.com·6h
🦀Rust Macros
RAG Made Simple: Simplicity’s Approach to Modular Retrieval & Generation (Part 1)
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Coding, as we knew it, has forever changed
k1024.org·19m
🔄Language Evolution
Engineered Meta-Cognitive Workflow Architecture for Windsurf
entrepeneur4lyf.github.io·2d·
Discuss: Hacker News
✨Effect Handlers
I Sing the Electric Body – On Syntax (2024)
hedgehogreview.com·38m·
Discuss: Hacker News
🔗Concatenative Programming
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·55m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
The Architecture of Web-Based Graphic Editors and 7 Design Patterns (Part 1)
dev.to·11h·
Discuss: DEV
🎨Nordic Design
My (mostly) minimalistic AI setup as a Senior Engineer in Big Tech
read.highgrowthengineer.com·6h·
Discuss: r/programming
⚡Proof Automation