South Africa 'aims to be self-sufficient across nuclear value chain'
world-nuclear-news.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Automated daily Quordle solver using an LLM
flowtwo.io·4d·
Discuss: Hacker News
🎮Verification Games
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·4d·
Discuss: r/programming
🔄Reproducible Builds
React Data List: Building Virtualized UIs Declaratively
attio.com·4d·
Discuss: Hacker News
📊Runtime Verification
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·6d·
Discuss: Hacker News
💎Refinement Types
Grok Imagine – Transform Your Ideas into AI Videos
grokimagine.me·2d·
Discuss: Hacker News
🧩Parser Combinators
My first CVE
natkr.com·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
Can an Amazon AI voice guide you better than customer product reviews? It's starting to try
cnbc.com·1d·
Discuss: Hacker News
📚Automata Learning
Astrophysics Source Code Library
ascl.net·3d·
Discuss: Hacker News
🐫OCaml
Generating Website Banners Algorithmically
golfed.xyz·4d·
Discuss: Hacker News
💾Retro Computing
Choosing a model for a research platform with real data and metrics
maxirwin.com·5d·
Discuss: Hacker News
👁️System Observability
Claude is now generally available in Xcode
anthropic.com·1d·
Discuss: Hacker News
🍎Apple
HISPASpoof: A New Dataset For Spanish Speech Forensics
arxiv.org·4d
📚Automata Learning
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·6d
🧠Automated Reasoning
Designing user interfaces with bots not buttons
interconnected.org·4d·
Discuss: Hacker News
🔬Unikernels
watchOS 26 is now available, here’s what’s new for Apple Watch
9to5mac.com·11h
🍎Apple
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·4d
🧩Separation Logic
Show HN: KittyLoader – a modern shellcode loader displaying top-tier evasion
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·6d·
Discuss: r/programming
💎Refinement Types
Image-GS: Content-Adaptive Image Representation via 2D Gaussians
github.com·4d·
Discuss: Hacker News
🔧Unikernel Development