What Is Ears? The Easy Approach to Requirements Syntax (Ears)
alistairmavin.com·2d·
Discuss: Hacker News
🔍Formal Verification
What browser fingerprinting tests like Amiunique show, and what they miss
blog.castle.io·12h·
Discuss: Hacker News
👁️System Observability
NetBox Labs raises $35M Series B
netboxlabs.com·2d·
Discuss: Hacker News
⎈Kubernetes
Benben: An audio player for the terminal, written in Common Lisp
chiselapp.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Computational understanding of Li-ion batteries (2016)
nature.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Doing time. The emergence of irreversibility – PubMed
pubmed.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🏹Effect Systems
Silicon Valley, à la Française
semiwiki.com·2d·
Discuss: Hacker News
🔬Unikernels
Prompt Injection in LLM-Driven Systems
blog.gopenai.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: RobinRelay – Slack-native memory layer for noisy alerts
robinrelay.ai·1d·
Discuss: Hacker News
🛡️seL4
Yield curve for engineers has inverted
mvcalder-01701.medium.com·22h·
Discuss: Hacker News
🤖Program Synthesis
Tuist Server is now Source Available
tuist.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
8.8 Zero Day CVE in Chrome Patched
bleepingcomputer.com·2h·
Discuss: Hacker News
📦Unikernel Systems
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·17h
🐫OCaml
I want a NAS, but I'm analysis-paralysis-stuck!
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Ralph Wiggins as a "Software Engineer"
ghuntley.com·2d·
Discuss: Hacker News, Hacker News
🤖Program Synthesis
How AI Automation Reclaims Developer’s Time
thenewstack.io·2h
🤖Program Synthesis
An Empirical Study of Multi-Agent RAG for Real-World University Admissions Counseling
arxiv.org·17h
💻CS
IoT Malware Network Traffic Detection using Deep Learning and GraphSAGE Models
arxiv.org·17h
🌐NetworkProtocols
Do you use WakeOnLAN in your home network and what tools do you use?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·52m·
Discuss: Hacker News
🔬Unikernels