LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
BNFGen: A random text generator based on context-free grammars
baturin.org·5h·
Discuss: Hacker News
🌳Context free grammars
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·17h
📝Concrete Syntax
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·7h
💻Local LLMs
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·7h
⚡Proof Automation
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·2d
🔗Concatenative Programming
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·19h
🔍Concolic Testing
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
The Guide to the Foundation Models Framework
azamsharp.com·10h·
Discuss: Hacker News
λLambda Formalization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·22h·
Discuss: Hacker News
🦀Rust Macros
Why Dyad?: A Perspective for Modelica Users
juliahub.com·8h·
Discuss: Hacker News
💧Liquid Types
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization