How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·15h·
Discuss: DEV
📝Concrete Syntax
Let's Build a Generator
hashrocket.com·1d
⚡Proof Automation
Training a Chunker with Burn
elijahpotter.dev·7h·
Discuss: Hacker News
📝Concrete Syntax
Parsing Protobuf Like Never Before
mcyoung.xyz·20h
🔧Binary Parsers
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·23h
🌳Context free grammars
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
AwesomeAssertions/AwesomeAssertions
github.com·13h
✅Format Verification
Zig Interface Revisited
williamw520.github.io·11h·
Discuss: Hacker News
🧩WASM Components
arc53/DocsGPT
github.com·2h
📄PostScript
AtCoder Finals Problem Statement
atcoder.jp·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
All About Server Side Template Injection (SSTI)
infosecwriteups.com·17h
🛡️WASM Security
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·6h
⚡Proof Automation
A quick introduction to "gemtext" markup
geminiprotocol.net·15h
📟Terminal Typography
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·23h
🎼Computational Musicology
Show HN: Potions – A simple way to save, version, and share AI prompts
potions.io·1d·
Discuss: Hacker News
⚡Proof Automation