The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Why (special agent) Johnny (still) Can't Encrypt (2011)
mattblaze.org·4h·
Discuss: Lobsters
🌐NetworkProtocols
MediaHuman Audio Converter
mediahuman.com·16h·
Discuss: Hacker News
🍎Apple
The Markov Condition
plato.stanford.edu·4d·
Discuss: Hacker News
🧠Automated Reasoning
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Building screenless digital jukebox for my daughter
rdeaton.space·2d·
Discuss: Hacker News
🍎Apple
Perplexity Raises $200M at $20B Valuation in AI Search Push
vktr.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Working in Groups
internet.place·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·4d·
Discuss: r/javascript, r/programming
💎Refinement Types
React Data List: Building Virtualized UIs Declaratively
attio.com·1d·
Discuss: Hacker News
📊Runtime Verification
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·2d·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
Stop chatting Constrained VS Unconstrained LLM use cases
medium.com·4d·
Discuss: Hacker News
💎Refinement Types
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·3d
⚙Operational Semantics
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·4d
🐫OCaml
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·4d·
Discuss: Hacker News
🛡️seL4
Serialized Output Prompting for Large Language Model-based Multi-Talker Speech Recognition
arxiv.org·4d
📚Automata Learning
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·3d
📚Automata Learning
DRDCAE-STGNN: An End-to-End Discrimina-tive Autoencoder with Spatio-Temporal Graph Learning for Motor Imagery Classification
arxiv.org·3d
📚Automata Learning
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·3d
🐫Embedded OCaml