FAWK: LLMs can write a language interpreter
martin.janiczek.czΒ·1dΒ·
πŸ¦€Rust Macros
Flag this post
Lang’s theorem β€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·10h
Ξ»Lambda Encodings
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.orgΒ·8hΒ·
Discuss: Hacker News
πŸ“ŸTerminals
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.comΒ·2d
🐚Bash Monads
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·12hΒ·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.orgΒ·5h
πŸ“Shell Parsing
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.ioΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netΒ·20hΒ·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Build your own cursor
dev.toΒ·1hΒ·
Discuss: DEV
⚑Proof Automation
Flag this post
Recipe 8.6. Picking a Random Line from a File (Perl Cookbook)
csg.sph.umich.eduΒ·12h
πŸ“Text Compression
Flag this post
Infix Versus Prefix Operators
irreal.orgΒ·15h
🧠Lisp Dialects
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.comΒ·1dΒ·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.comΒ·21hΒ·
Discuss: Substack
πŸ”©Systems Programming
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgΒ·2d
πŸ”—Combinatory Logic
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.comΒ·3dΒ·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Rhadamanthys Loader Deobfuscation
cyber.wtfΒ·3d
πŸ§ͺCBOR Fuzzing
Flag this post
Zig in 30 Minutes
gist.github.comΒ·12hΒ·
Discuss: Hacker News
πŸ”—Concatenative Programming
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.comΒ·9hΒ·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Trying Out C++26 Executors
mropert.github.ioΒ·11hΒ·
πŸ¦€Rust Macros
Flag this post
GCC Steering Committee Allows New Language Front-End To Land For GCC 16
phoronix.comΒ·5h
🐚Bash FP
Flag this post