The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·2d·
Discuss: r/programming
🔄Reproducible Builds
How FOSS Projects Handle Legal Takedown Requests
f-droid.org·2d·
Discuss: Hacker News, Hacker News
🛡️seL4
Show HN: Historian – bridge from InfluxDB 1.x/2.x to 3.0 with Parquet and DuckDB
cduser.com·2d·
Discuss: Hacker News
💾Retro Computing
Paraventricular Thalamus in Alcohol Seeking Rats with Withdrawal
sciencedirect.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Becoming the person who does the thing
fredrivett.com·1d·
Discuss: Hacker News
🏔️climbing
Science is not Complex, just consider it as chain-of-thoughts
lightcapai.medium.com·3d·
Discuss: Hacker News
➡️Category Theory
'Make invalid states representable' considered harmful
seangoedecke.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Building a Multilingual Blog with FastHTML
simn.fr·5d·
Discuss: Hacker News
💎Refinement Types
Building An AI-Agnostic Conversation Logger - Phase 4: Mini-Me
blog.scottlogic.com·5d·
Discuss: Hacker News
👁️System Observability
Walmart's bet on AI depends on getting employees to use it
theregister.com·2d·
Discuss: Hacker News
🤖Program Synthesis
“I Got Pwned”: npm maintainer of Chalk & Debug speaks on the massive supply-chain attack
youtube.com·1d·
Discuss: Hacker News, r/programming
❄️Nixified Development
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·4d·
Discuss: Hacker News
🐳Containerization
The Eldritch in the 21st century
lesswrong.com·2d
🔬Unikernels
Evaluating NL2SQL via SQL2NL
arxiv.org·5d
🧩Parser Combinators
Short-term cognitive fatigue of spatial selective attention after face-to-face conversations in virtual noisy environments
arxiv.org·1d
🏹Effect Systems
Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io·3d
🤖Program Synthesis
A Low-Rank tensor framework for THB-Splines
arxiv.org·1d
🐫OCaml
Llama-GENBA-10B: A Trilingual Large Language Model for German, English and Bavarian
arxiv.org·4d
🐫OCaml
MRI-Based Brain Tumor Detection through an Explainable EfficientNetV2 and MLP-Mixer-Attention Architecture
arxiv.org·4d
🧩Parser Combinators