There's a Hollow Knight: Silksong Livestream on August 21 at 10:30AM ET
engadget.com·1d·
Discuss: Hacker News
🎮Verification Games
PixiEditor/PixiEditor
github.com·4d
📦Unikernel Systems
Level Up Your Economic Analysis with GraphRAG: Build Your Own AI-Powered Knowledge Graph!
datasen.net·4d·
Discuss: r/programming
🐫OCaml
Launching MDN's new front end
developer.mozilla.org·2d·
Discuss: Hacker News
🍎Apple
Communicate Early and Often
dontbreakprod.com·7h·
Discuss: Hacker News
🔍Formal Verification
Who’s Afraid of Gay Penguins?
theatlantic.com·15h·
Discuss: Hacker News
🛡️seL4
A Rogue New Life Form
nautil.us·1d·
Discuss: Hacker News
🍎XNU Internals
Life happened fast
aeon.co·1d·
Discuss: Hacker News
🔄Reproducible Builds
China’s Great Solar Wall is a Big Deal
hackaday.com·2d
🖥️Self-hosted Infrastructure
Three AI Futures
cacm.acm.org·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Study: Lp(a) testing would save both lives and dollars
sciencedirect.com·11h·
Discuss: Hacker News
🔬Static Analysis
An Exploratory Study on Crack Detection in Concrete through Human-Robot Collaboration
arxiv.org·2d
🛡️seL4
The internet isn’t fun anymore, and it’s everyone's fault
ginoz.bearblog.dev·3d·
Discuss: Hacker News
➡️Category Theory
Kernel Ridge Regression Inference
arxiv.org·1d
✓Automated Theorem Proving
Notion brings its AI-powered email app to the iPhone
9to5mac.com·2d
🍎Apple
DriveSimQuest: A VR Driving Simulator and Research Platform on Meta Quest with Unity
arxiv.org·2d
🎮Verification Games
Power and Rate Allocations for Positive-rate Covert Communications in Block-Fading Channels
arxiv.org·22h
📡Network Protocol Design
Delegate authentication and a lot more to Keycloak with OpenID Connect (froscon2025)
cdn.media.ccc.de·3d
🌐NetworkProtocols
OpenConstruction: A Systematic Synthesis of Open Visual Datasets for Data-Centric Artificial Intelligence in Construction Monitoring
arxiv.org·2d
🧗Climbing Tech
Robust Sparse Bayesian Learning Based on Minimum Error Entropy for Noisy High-Dimensional Brain Activity Decoding
arxiv.org·1d
🏹Effect Systems