What My Mother Didn't Talk About (2020)
buzzfeednews.com·1h·
Discuss: Hacker News
🛡️seL4
Oregon Trail where dysentery makes you pull over to poop, constantly
gamesradar.com·3h·
Discuss: Hacker News
🎮Verification Games
Microsoft Comic Chat Resources
kurlander.net·14h·
Discuss: Hacker News
🍎Apple
Firefox Security & Privacy newsletter 2025 Q2
attackanddefense.dev·10h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·2d·
Discuss: Hacker News
👁️System Observability
Open Source Maintainers Feeling the Weight of the EU’s Cyber Resilience Act
socket.dev·2h·
Discuss: Hacker News
📦Unikernel Systems
Pre-disclosure: Upcoming coordinated security fix for all Matrix server implementations
matrix.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌐NetworkProtocols
Zig's new Writer
openmymind.net·22h·
Discuss: Lobsters, Hacker News, r/programming
🔤DSLs
The Problem of Hidden Dependencies
marcelsud.me·2d·
Discuss: Hacker News
👁️System Observability
The Analog Art
joostrekveld.net·6d·
Discuss: Hacker News
🏹Effect Systems
I just passed my 2nd year of B.Tech CSE. i know the syntax of languages and rn i am building mini projects , need some suggestions and reviews on my ways of doi...
reddit.com·8h·
Discuss: r/programming
💻CS
Weirdness: Active Fiber Optic (HDMI) and USB over Ethernet
reddit.com·1d·
Discuss: r/homelab
📦Unikernel Systems
Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code
github.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
A Go library for building performant, type-safe AI agents that execute structured reasoning workflows.
github.com·2d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Stopping the rot when good software goes bad means new rules from the start
theregister.com·3d·
Discuss: Hacker News
🛡️seL4
Built my first server out of an old gaming pc. It died, and I need help with a new one
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.org·18h
➡️Category Theory
Exploring Gender Bias in Alzheimer's Disease Detection: Insights from Mandarin and Greek Speech Perception
arxiv.org·18h
➡️Category Theory
RegCL: Continual Adaptation of Segment Anything Model via Model Merging
arxiv.org·18h
🔍Formal Verification
Start from 2D: How I Design 3D Levels Using the Wrap-around Method
saarraz.substack.com·1d·
Discuss: Substack
🎮Verification Games