Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·9h
🌀Brotli Internals
GaloisInc/parameterized-utils
github.com·12h
🧮Algebraic Datatypes
Cactus Language • Semantics 2
inquiryintoinquiry.com·26m
🔢Denotational Semantics
JSON Schema Compatibility and the Robustness Principle
yokota.blog·21h·
Discuss: Hacker News
📋Protocol Buffers
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·13h·
Discuss: DEV
🌳Context free grammars
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·1h
📺VT100
What's new in Python 3.14
docs.python.org·15h·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
SigmaEval – statistical evaluation for GenAI apps
github.com·1h·
Discuss: Hacker News
🔍Concolic Testing
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1h·
Discuss: Hacker News
🎯Performance Proofs
Taming Video Processing Chaos with Domain-Driven Design in Symfony
hackernoon.com·9h
🌊Streaming Systems
Static Bundle Object: Modernizing Static Linking
medium.com·22h·
Discuss: Hacker News
🔗Static Linking
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org·9h
🧠Intelligence Compression
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
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🔗Parser Combinators
Test Case Generation from Bug Reports via Large Language Models: A Cognitive Layered Evaluation Framework
arxiv.org·9h
🔍Concolic Testing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·3d·
Discuss: Hacker News
📝Concrete Syntax
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
⚙️ABNF Mining
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·1d
⚙️TLA+
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·9h
💻Programming languages