📝 ABNF Parsing

Protocol Grammars, RFC Standards, Syntax Specification, Parser Generation

SymmACP: extending Zed's ACP to support Composable Agents
smallcultfollowing.com·6h
🌐Protocol Synthesis
HTTP/3: The Next Evolution of Web Protocols
corero.com·23h
🌐Network Protocols
German Interoperability Day: How does AI affect standards?
heise.de·20h
⚙️TLA+
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Serverless: Fast to Market, Faster to the Future • Srushith Repakula • GOTO 2025
youtube.com·3h
🌊Streaming Systems
Hacking the Humane AI Pin
writings.agg.im·2h·
Discuss: Hacker News
🛡️ARM TrustZone
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·22h·
Discuss: Hacker News
🌳Incremental Parsing
Collaborative and Proactive Management of Task-Oriented Conversations
arxiv.org·11h
📏Linear Logic
C++26: range support for std:optional
sandordargo.com·20m·
Discuss: Hacker News
💧Liquid Types
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·17h·
Discuss: Hacker News
💧Liquid Types
Test Case Generation from Bug Reports via Large Language Models: A Cognitive Layered Evaluation Framework
arxiv.org·11h
🔍Concolic Testing
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2h·
Discuss: Lobsters, Hacker News, r/programming
📜Proof Carrying Code
BioAutoML-NAS: An End-to-End AutoML Framework for Multimodal Insect Classification via Neural Architecture Search on Large-Scale Biodiversity Data
arxiv.org·11h
🧠Machine Learning
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
⚙️ABNF Mining
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·14h·
Discuss: Hacker News, r/neovim
🔗Lisp
BanglaLlama: LLaMA for Bangla Language
arxiv.org·11h
🌀Brotli Dictionary
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1d·
Discuss: DEV
⚡SMT Applications
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·11h
💻Programming languages
Linguistic Characteristics of AI-Generated Text: A Survey
arxiv.org·11h
📝Text Parsing
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·11h
💻Local LLMs