Built-in Testing, Property Testing, Compile-Time Tests, Test Coverage

Adlib's Compliance Focus Transforms Unstructured Documents into AI-Ready, Trusted Data
prnewswire.com·14h
🎮Language Ergonomics
Show HN: AutoRules AI – Check all files against a list of questions
markwylde.com·3d·
Discuss: Hacker News
🛡️Security Type Systems
SDQ-LLM: Sigma-Delta Quantization for 1-bit LLMs of any size
reddit.com·1d·
Discuss: r/LocalLLaMA
📏Linear Memory
Bricked Boss's Mediatek MT8183 chinese tablet with ab partition
reddit.com·9h·
🗺️Memory Mapping
Duct Tape DSLs: Model Routing, Structured Outputs, and Typed Tools
lowlevelmagic.io·10h·
Discuss: Hacker News
🦀MIR Optimization
New comment by jgraham in "Ladybird passes the Apple 90% threshold on web-platform-tests"
news.ycombinator.com·1d·
Discuss: Hacker News
🔮Metacircular Evaluators
I missed having Spek on my server, so I built AudioDeck: a self-hosted web spectrogram analyzer
reddit.com·1h·
Discuss: r/selfhosted
🔄Incremental Parsers
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·20h·
Discuss: Hacker News
🌉Language Bridges
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·2d
📱Bytecode Design
Playwright Agents: Planner, Generator, and Healer in Action
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.org·2h
🎭Erlang OTP
Help with 4.5
reddit.com·1d·
Discuss: r/ClaudeAI
🔧Error Recovery
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·4d·
Discuss: DEV
🎮Language Ergonomics
ECS Implementation
reddit.com·2d·
Discuss: r/cpp
🤖Embedded Go
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·2h
🎭Racket
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🪜Recursive Descent
Rustfmt is effectively unmaintained
reddit.com·4h·
Discuss: r/rust
⚙️TOML Parsers
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·2h
🗺️Region Inference
GPT-5 Codex: How it solves for GPT-5's drawbacks
dev.to·2d·
Discuss: DEV
🛡️Error Ergonomics
AI-Powered Incident Resolution Assistant: Reducing MTTR and Elevating ServiceNow Operations
dev.to·1h·
Discuss: DEV
🛡️Error Ergonomics