My First Week of Vibecoding
underreacted.leaflet.pub·3h·
Discuss: Hacker News
✨Gleam
Building the Reasoning Engine at Axiom
axiommath.ai·10h·
Discuss: Hacker News
🎭Program Synthesis
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·7h·
Discuss: Hacker News
↔️Bidirectional Typing
The Porcelain to Come
stackdiver.com·8h·
Discuss: Hacker News
🎭Program Synthesis
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Unification Algorithms
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
Rewriting the Codebase: repo-contextr’s Week 6 Refactor Journey
dev.to·8h·
Discuss: DEV
🚚Code Migration
Slip – A Lisp System in JavaScript
lisperator.net·16h·
Discuss: Hacker News
🌱Minimal Lisps
A gentle introduction to Generative AI: Historical perspective
medium.com·5h·
Discuss: Hacker News
📊LR Parsing
Let's Write a Macro in Rust
hackeryarn.com·14h·
Discuss: Hacker News
🦀Rust Macros
Unforgettable factory revisited
holyblackcat.github.io·1d·
Discuss: r/cpp
🪆Embedded DSLs
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
Need help with picking an engine and direction
reddit.com·19h·
Discuss: r/gamedev
🪞Metaprogramming
snaptrude uses AI to generate editable 3D architectural models from simple text descriptions
designboom.com·20h
🎭Program Synthesis
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·13h·
Discuss: r/cpp
🧮Combinator Calculus
Functions are Asymmetric
elbeno.com·8h
😴Lazy Evaluation
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·15h·
Discuss: DEV
🪄C Metaprogramming
Lobsters Interview with Zdsmith
lobste.rs·1d·
Discuss: Lobsters
📚Stack Languages
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·20h
🧮Combinator Calculus
Building Faster with V0 and Claude Code: Lessons Learned from Vibe Coding
dev.to·1d·
Discuss: DEV
⚡Live Coding