🔍 Z3 Parsing

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

Rethinking Tokenization for Rich Morphology: The Dominance of Unigram over BPE and Morphological Alignment
arxiv.org·3h
📋Document Grammar
NZ1: A minimalist, dependency-free data compression algorithm
github.com·8h·
Discuss: Hacker News
🌊Streaming Compression
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·18h
🔢Denotational Semantics
I built a pipeline for automatically translating Chinese news
bednarskiwsieci.pl·13h·
Discuss: Hacker News
🇨🇳Chinese Computing
Is chain-of-thought AI reasoning a mirage?
seangoedecke.com·7h
✓Automated Theorem Proving
🛠 Type‑Safe DSLs in Go — No Magic, Just Go ⚡
dev.to·1d·
Discuss: DEV
🌐Protocol Synthesis
Creating an assembler for a custom CPU
popovicu.com·2d
🔧RISC-V Assembler
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Swift for the Web
nicksloan.com·4h·
Discuss: Hacker News
🔬Refinement Types
What Is LLM Tokenization and Why Is It Important?
medium.com·1d·
Discuss: Hacker News
📝Text Parsing
Can LLMs Detect Their Confabulations? Estimating Reliability in Uncertainty-Aware Language Models
arxiv.org·1d
💻Programming languages
Show HN: Building a web search engine from scratch with 3B neural embeddings
blog.wilsonl.in·15h·
Discuss: Lobsters, Hacker News
🔍Semantic Search
Haskell Crash Course
yager.io·10h
🔗Lisp
Evaluating Document Extraction Accuracy
runpulse.com·13h·
Discuss: Hacker News
📋Document Layout
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·11h·
Discuss: Hacker News
🐚Shell Monads
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
arxiv.org·3h
🌀Differential Geometry
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com·8h·
Discuss: Hacker News
💻Local LLMs
Making New Languages Click with LLMs
dev.to·23h·
Discuss: DEV
🔗Concatenative Programming
OCaml Blockly
cambridge.org·2d·
Discuss: Hacker News
🧠Lisp Dialects