LL and LR Parsing Demystified (2013)
blog.reverberate.org·2d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·1d
💻Programming languages
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·14h
🌐NetworkProtocols
Obscured but Not Erased: Evaluating Nationality Bias in LLMs via Name-Based Bias Benchmarks
arxiv.org·1h
💻Programming languages
A Practical (and Incomplete) History of Language Models
obrhubr.org·1d
🧮Kolmogorov Complexity
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·1d·
Discuss: Hacker News
🔗Functional Compilers
Prompt Power-Up: Master AI Prompts for Seamless Code Migrations
dev.to·13h·
Discuss: DEV
🦋Format Metamorphosis
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·1d·
Discuss: Hacker News
🌳Context free grammars
Making Question-Answering Systems Smarter with Knowledge Graphs Using FrOG: A Wikidata Research Fund 2024 Highlight
diff.wikimedia.org·13h
🕸️Knowledge Graphs
What "Parse, don't validate" means in Python?
bitecode.dev·20h
✅Format Verification
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
blog.play.ai·17h·
Discuss: Hacker News
🎙️Whisper
Kernel
web.cs.wpi.edu·5h·
Discuss: Lobsters, Hacker News
💧Liquid Types
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·1d
🧠Intelligence Compression
Building a Plain Seq2Seq Model for Language Translation
machinelearningmastery.com·2d
📝Text Compression
Keep Pydantic out of your Domain Layer
coderik.nl·22h·
Discuss: Hacker News
🔬Refinement Types
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·23h
✅Format Verification
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
arxiv.org·1h
🎯Performance Proofs
Small world: The revitalization of small AI models for cybersecurity
news.sophos.com·19h
💻Local LLMs
MCP C# SDK Gets Major Update: Support for Protocol Version 2025-06-18
devblogs.microsoft.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Understanding Prompt Programming Tasks and Questions
arxiv.org·1h
🔗Concatenative Programming