Ohm: A JavaScript library and PEG-based language for building parsers
github.com·17h·
Discuss: Hacker News
📝ABNF Parsing
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·2d
📏Linear Logic
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·13h
🔤Type Theory
Formal specs as sets of behaviors
surfingcomplexity.blog·5h
✅Formal Methods
Systematic AI Development: A Demo Project Breakdown
dev.to·1d·
Discuss: DEV
⚡Proof Automation
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com·2d·
Discuss: Hacker News
💻Local LLMs
Building cmarkprocess
rsdoiel.github.io·1d
✅Format Verification
Pair Programming With ChatGPT: An Experience Report
brainbaking.com·10h
🦀Rust Macros
Moneyballing individual pitches with a Support Vector Machine
runningonnumbers.com·3h·
Discuss: Hacker News
🧠Machine Learning
"Not created by man"
languagelog.ldc.upenn.edu·1d
🧮Prolog Parsing
Finding entities with given uuids in the current project
mbork.pl·21h
🗄️Database Internals
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Can small AI models think as well as large ones?
seangoedecke.com·4h
📊Quantization
Extracting Data From AI Models: A Tale of Three Approaches
blog.scottlogic.com·3d
🌳Incremental Parsing
Programming Language Escape Hatches
buttondown.com·2d·
Discuss: Hacker News
🦀Rust Macros
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·1d
🧮Algebraic Datatypes
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·13h·
Discuss: Hacker News
🦀Rust Macros
LL and LR Parsing Demystified (2013)
blog.reverberate.org·5d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
This AI Learns Faster Than Anything We’ve Seen!
youtube.com·11h
🔲Cellular Automata
(Weak) Factorization Systems
bartoszmilewski.com·16h·
Discuss: Hacker News
🔀Category Theory