davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท11h
๐Ÿ“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ยท21hยท
Discuss: DEV
๐Ÿ”—Lisp
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท7hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
BNFGen: A random text generator based on context-free grammars
baturin.orgยท24mยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท14h
๐Ÿ”Concolic Testing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท9hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
Experimenting with Appleโ€™s AI models inside Shortcuts
sixcolors.comยท2h
โšกProof Automation
The Guide to the Foundation Models Framework
azamsharp.comยท4hยท
Discuss: Hacker News
ฮปLambda Formalization
Explaining software and computational methods
blog.khinsen.netยท18h
๐Ÿ“Concrete Syntax
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.comยท3hยท
Discuss: Substack
๐Ÿฆ€Rust Macros
Threaded Code
muforth.devยท7hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท10h
โฌ†๏ธLambda Lifting
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท17hยท
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ยท3hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types