Quality and Food Safety Consultant – Emilia Wardach
emiliawardach.com·11h·
Discuss: Hacker News
🤖Program Synthesis
Five Years After
isonomiaquarterly.com·22h·
Discuss: Hacker News
🐫OCaml
You're Not Refactoring – You're Just Moving Code Around
thecynical.dev·18h·
Discuss: Hacker News
🔬Static Analysis
Python and Make in 2025
onebadbit.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: I automated code security to help vibe coders from getting busted
elara-app.ai·1d·
Discuss: Hacker News
🛡️seL4
You have a fake North Korean IT worker problem - here's how to stop it
theregister.com·21h·
Discuss: Hacker News
🛡️seL4
Announcing FOKS, the Federated Open Key Service
blog.foks.pub·5d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Complete guide to implementing OpenTelemetry in Nextjs applications - Traces, Metrics & Logs
signoz.io·4d·
Discuss: Hacker News, r/programming
👁️System Observability
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
2025 One Hertz Challenge: Ham Radio Foxhunt Transmitter
hackaday.com·12h
📡Network Protocol Design
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·4h
✓Automated Theorem Proving
Alice smart desktop AI assistant
github.com·9h·
Discuss: Hacker News
🔬Unikernels
Off-site backups?
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
There’s a better way to use AI official prompts
reddit.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
CircFormerMoE: An End-to-End Deep Learning Framework for Circular RNA Splice Site Detection and Pairing in Plant Genomes
arxiv.org·4h
💻CS
Data-Star.dev – v1 and Beyond
data-star.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Can LLMs Reliably Simulate Real Students' Abilities in Mathematics and Reading Comprehension?
arxiv.org·4h
🎮Verification Games
Reasonable Security Practices for Home Use?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
"high level" languages are easier to optimize
jyn.dev·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔤DSLs
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·3d
⚙️PL Implementation