Relation-Aware Slicing in Cross-Domain Alignment
arxiv.org·4h
🔗Monadic Parsing
Fast and Simple Rust Interner
matklad.github.io·13m
🦀Rust Verification
Training a Chunker with Burn
elijahpotter.dev·1d·
Discuss: Hacker News
📝Concrete Syntax
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·7h·
Discuss: Hacker News
📋Protocol Buffers
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·4h
🧮Kolmogorov Complexity
Day 28/100: List Comprehensions in Python
dev.to·5h·
Discuss: DEV
📝Concrete Syntax
Issue 481
haskellweekly.news·20h
🔗Functional Compilers
Functional Abstract Interpretation
simon.peytonjones.org·3d·
Discuss: Hacker News
🔗Functional Compilers
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·2h·
Discuss: Hacker News
🧮SMT Solvers
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
My favorite use-case for AI is writing logs
vickiboykis.com·2d
🌳Incremental Parsing
What can we expect of LLMs as Software Engineers?
chelseatroy.com·3d
📝Text Parsing
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·3h·
Discuss: Hacker News
🗂️Vector Databases
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·18h·
Discuss: Hacker News
🤝Distributed Consensus
Proof-theoretic Semantics for First-order Logic
arxiv.org·4h
🏗️Constructive Logic
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Zig Interface Revisited
williamw520.github.io·1d·
Discuss: Hacker News
🧩WASM Components
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·4h
📝ABNF Extensions