🔍 Z3 Parsing

Formal Grammar Verification, Parser Correctness, Syntax Validation, Language Safety

SBFA: Single Sneaky Bit Flip Attack to Break Large Language Models
arxiv.org·13h
🧪Binary Fuzzing
Neural Emotion Matrix for NPCs Built in Rust
github.com·4h·
Discuss: Hacker News
🔢Denotational Semantics
Sonnet 4.5 Review: The first spec-driven model has arrived
zencoder.ai·33m·
Discuss: Hacker News
⚙️TLA+
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·1d
🧮Theorem Proving
In Defense of Tokenizers
huggingface.co·1d·
Discuss: Hacker News
📝Text Parsing
The eval() Conundrum
slott56.github.io·1d
💧Liquid Types
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🎯Gradual Typing
CBOR 和 MsgPack 是一回事
blog.est.im·2d
🔐CBOR
Mojo Miji – A Guide to Mojo Programming Language from a Pythonista's Perspective
mojo-lang.com·57m·
Discuss: Hacker News
💧Liquid Types
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.com·9h
🔗Topological Sorting
AI Is Great at Parsing
keeb.dev·19h·
Discuss: Hacker News
🧠Learned Codecs
Hidden Gems in the Swift Argument Parser - Part I @ SwiftToolkit.dev
swifttoolkit.dev·1d
📝Shell Parsing
Level Up your Rust pattern matching
blog.cuongle.dev·1h·
Discuss: Hacker News, r/rust
🦀Rust Verification
Claude Code vs. Codex, a small test
danieltenner.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Coding in English
nvegater.com·22h·
Discuss: Hacker News
🛠Language Design
I've used Node.js for years, but I never really knew how it worked. So I went down the rabbit hole.
medium.com·1d
🌳Incremental Parsing
Teaching LLMs to spell with token healing
blog.sweep.dev·2d·
Discuss: Hacker News
📝Text Parsing
Fine-Grained Detection of Context-Grounded Hallucinations Using LLMs
arxiv.org·13h
🧮Kolmogorov Complexity
Show HN: Data Encoding for Human Input
github.com·7h·
Discuss: Hacker News
🔧Error Correction
The Quiet Revolution in Our Code: How AI is Becoming Our Partner, Not Our Replacement
dev.to·2h·
Discuss: DEV
🔗Concatenative Programming