Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·41m·
Discuss: Hacker News
↔️Bidirectional Typing
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Unification Algorithms
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·9h·
Discuss: DEV
💬Interactive REPLs
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
📝Text Editors
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·8h·
Discuss: DEV
🪄C Metaprogramming
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Context Engineering Tips for ClaudeCode: Context Trimming, Sub-agents, Parallelism
reddit.com·11h·
Discuss: r/ClaudeAI
⚡Effect Handlers
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🌱Minimal Lisps
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🔧Scheme Macros
We de-risked our editor upgrade
aha.io·1d·
Discuss: Hacker News
🎮Language Ergonomics
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·3d·
Discuss: Hacker News
💬Interactive REPLs
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Zen of Python
webaligo.bearblog.dev·2h
🤐Zipper Structures
Sources of code review
github.com·1d·
Discuss: r/webdev
🎮Language Ergonomics
A section of the App I am working on. Any advice or criticism is welcome.
reddit.com·2h·
Discuss: r/reactjs
💬REPL Design
From CAP to GAP?
fsharpforfunandprofit.com·16h·
Discuss: DEV
🧪Testing Compilers
My War with AI Agents: When 1000-Line Prompts Met Reality
xor01.substack.com·1d·
Discuss: DEV
🎭Program Synthesis
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.net·1d
⚡Incremental Parsing
Refactoring Release 0.1 for Better Structure and Maintainability
dev.to·1h·
Discuss: DEV
🚚Code Migration