The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·1d·
Discuss: r/programming
🔄Reproducible Builds
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
China claims brain-like AI breakthrough ‘100 times faster than traditional models’
independent.co.uk·3d·
Discuss: Hacker News
📚Automata Learning
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·2d·
Discuss: Hacker News
👁️System Observability
Working in Groups
internet.place·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Was Action! The Best 8-Bit Language?
hackaday.com·3d·
Discuss: Hacker News
💾Retro Computing
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·4d·
Discuss: r/javascript, r/programming
💎Refinement Types
The Internet Just Doesn't Hit Anymore. Here's How You Can Take It Back.
tekhne.dev·3d·
Discuss: Hacker News
🔬Unikernels
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·4d·
Discuss: Hacker News
🤖Program Synthesis
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·4d
⚙Operational Semantics
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·5d
🐫OCaml
Serialized Output Prompting for Large Language Model-based Multi-Talker Speech Recognition
arxiv.org·5d
📚Automata Learning
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·4d
📚Automata Learning
DRDCAE-STGNN: An End-to-End Discrimina-tive Autoencoder with Spatio-Temporal Graph Learning for Motor Imagery Classification
arxiv.org·4d
📚Automata Learning
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·4d·
Discuss: Hacker News
🛡️seL4
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·4d
🐫Embedded OCaml
Computational Imaging for Enhanced Computer Vision
arxiv.org·2d
📐Denotational Semantics
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·1d·
Discuss: Hacker News
⚙️PL Implementation