📝 ABNF Parsing

Protocol Grammars, RFC Standards, Syntax Specification, Parser Generation

Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·9h
📝ABNF Extensions
What's new in Python 3.14
docs.python.org·15h·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
GaloisInc/parameterized-utils
github.com·11h
🧮Algebraic Datatypes
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·37m
📺VT100
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·13h·
Discuss: DEV
🌳Context free grammars
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1h·
Discuss: Hacker News
🎯Performance Proofs
SigmaEval – statistical evaluation for GenAI apps
github.com·57m·
Discuss: Hacker News
🔍Concolic Testing
Serverless: Fast to Market, Faster to the Future • Srushith Repakula • GOTO 2025
youtube.com·1h
🌊Streaming Systems
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org·9h
🧠Intelligence Compression
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·9h·
Discuss: DEV
💧Liquid Types
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
💻Programming languages
Static Bundle Object: Modernizing Static Linking
medium.com·22h·
Discuss: Hacker News
🔗Static Linking
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·1d·
Discuss: DEV
⚡Performance Mythology
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·20h·
Discuss: Hacker News
🌳Incremental Parsing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·3d·
Discuss: Hacker News
📝Concrete Syntax
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3h·
Discuss: Hacker News
🧬Functional Programming
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🔗Parser Combinators
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·1d
⚙️TLA+
Collaborative and Proactive Management of Task-Oriented Conversations
arxiv.org·9h
📏Linear Logic