davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท15h
๐Ÿ“Concrete Syntax
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
I Built My Own Programming Language and its Virtual Machine In Python!
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Lisp
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท11hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
BNFGen: A random text generator based on context-free grammars
baturin.orgยท4hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
My AI Workflow for Understanding Any Codebase
steipete.meยท11h
โšกProof Automation
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท18h
๐Ÿ”Concolic Testing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท13hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท2d
๐Ÿ“Concrete Syntax
The Guide to the Foundation Models Framework
azamsharp.comยท8hยท
Discuss: Hacker News
ฮปLambda Formalization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท7hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
Threaded Code
muforth.devยท11hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Experimenting with Appleโ€™s AI models inside Shortcuts
sixcolors.comยท6h
โšกProof Automation
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท14h
โฌ†๏ธLambda Lifting
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท21hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ’ปProgramming languages
Lab note #072 A language with affordances for vibe coding
interjectedfuture.comยท2d
๐ŸŽฏGradual Typing
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท7hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types