The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·9h·
Discuss: r/programming
🔄Reproducible Builds
A Tribute To Hoyle's Official Book Of Games
brainbaking.com·18h·
Discuss: Hacker News
💾Retro Computing
Intel’s E2200 “Mount Morgan” IPU at Hot Chips 2025
chipsandcheese.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Release candidate: Godot 4.5 RC 2
godotengine.org·1d·
🎮Verification Games
Karate – Test Automation Made Simple
karatelabs.github.io·1d·
Discuss: Hacker News
❄️Nixified Development
Show HN: A local first AI engine and orchestrator
krionis.com·3d·
Discuss: Hacker News
👁️System Observability
Science is not Complex, just consider it as chain-of-thoughts
lightcapai.medium.com·1d·
Discuss: Hacker News
➡️Category Theory
We Badly Need Frameworks
koolcodez.com·5d·
Discuss: Hacker News
📐Denotational Semantics
How OpenAI Operator Works with AI Agents
anchorbrowser.io·1d·
Discuss: Hacker News
🧠Automated Reasoning
Experimenting with local LLMs on macOS
blog.6nok.org·3d·
📺Vintage Apple
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com·4d·
Discuss: Hacker News
💻CS
CLAPS: A CLIP-Unified Auto-Prompt Segmentation for Multi-Modal Retinal Imaging
arxiv.org·21h
📚Automata Learning
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·21h
📚Automata Learning
Evaluating NL2SQL via SQL2NL
arxiv.org·3d
🧩Parser Combinators
Creating a Standard for TAI Governance
lesswrong.com·12h
🩹Self-Healing Systems
floq: Training Critics via Flow-Matching for Scaling Compute in Value-Based RL
arxiv.org·2d
🧩Parser Combinators
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·2d·
Discuss: Lobsters
🧩Parser Combinators
CLI-based multi-agent trading system using LLMs
github.com·2d·
Discuss: Hacker News
🛡️seL4
Repeating vs. Non-Repeating FRBs: A Deep Learning Approach To Morphological Characterization
arxiv.org·2d
🧩Parser Combinators