Building cmarkprocess
rsdoiel.github.io·1d
✅Format Verification
Ohm: A JavaScript library and PEG-based language for building parsers
github.com·19h·
Discuss: Hacker News
📝ABNF Parsing
Transforming NLP: The Breakthrough of the 41.8 BLEU Score with Transformers
dev.to·1d·
Discuss: DEV
📝Text Parsing
Should You Migrate Your Documentation System – and Is It AI-Ready?
nikhilajain.com·17h·
Discuss: Hacker News
🦋Format Metamorphosis
Formal specs as sets of behaviors
surfingcomplexity.blog·7h
✅Formal Methods
"Not created by man"
languagelog.ldc.upenn.edu·1d
🧮Prolog Parsing
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·2d
🧮Algebraic Archives
Can small AI models think as well as large ones?
seangoedecke.com·6h
📊Quantization
Finding entities with given uuids in the current project
mbork.pl·23h
🗄️Database Internals
On texml and texml-to-html
peterkrautzberger.org·1d
📐Document Algebra
How I Fine-Tuned Granite-Vision 2B to Beat a 90B Model — Insights and Lessons Learned
towardsdatascience.com·1d
🌀Brotli Internals
From Data Swamps to Reliable Data Systems: How Iceberg Brought 40 Years of Database Wisdom to Data Lakes
blog.min.io·1d
🏺Database Archaeology
Making Question-Answering Systems Smarter with Knowledge Graphs Using FrOG: A Wikidata Research Fund 2024 Highlight
diff.wikimedia.org·3d
🕸️Knowledge Graphs
(Weak) Factorization Systems
bartoszmilewski.com·17h·
Discuss: Hacker News
🔀Category Theory
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·15h
🔤Type Theory
TextIndex: Simple syntax for creating indexes in Markdown and text documents
mattgemmell.scot·1d·
Discuss: Hacker News
📇Indexing Strategies
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·15h·
Discuss: Hacker News
🦀Rust Macros
Systematic AI Development: A Demo Project Breakdown
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Writing experience: My decade with Org
lmno.lol·2d
🦋Format Metamorphosis
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·1d
🧮Algebraic Datatypes