PixiEditor/PixiEditor
github.com·4d
📦Unikernel Systems
Meta Restructures AI Group Again in Pursuit of Superintelligence
bloomberg.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Communicate Early and Often
dontbreakprod.com·11h·
Discuss: Hacker News
🔍Formal Verification
Who’s Afraid of Gay Penguins?
theatlantic.com·19h·
Discuss: Hacker News
🛡️seL4
A Rogue New Life Form
nautil.us·1d·
Discuss: Hacker News
🍎XNU Internals
China’s Great Solar Wall is a Big Deal
hackaday.com·2d
🖥️Self-hosted Infrastructure
Ask HN: Feeling Emptiness Inside
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Study: Lp(a) testing would save both lives and dollars
sciencedirect.com·15h·
Discuss: Hacker News
🔬Static Analysis
An Exploratory Study on Crack Detection in Concrete through Human-Robot Collaboration
arxiv.org·3d
🛡️seL4
The internet isn’t fun anymore, and it’s everyone's fault
ginoz.bearblog.dev·3d·
Discuss: Hacker News
➡️Category Theory
Notion brings its AI-powered email app to the iPhone
9to5mac.com·2d
🍎Apple
Can We Tell if ChatGPT is a Parasite? Studying Human-AI Symbiosis with Game Theory
arxiv.org·3d
🎮Verification Games
Apple releases public beta 4 for tvOS 26, HomePod 26, more
9to5mac.com·2d
🍎Apple
Eyes on the Image: Gaze Supervised Multimodal Learning for Chest X-ray Diagnosis and Report Generation
arxiv.org·2d
➡️Category Theory
DriveSimQuest: A VR Driving Simulator and Research Platform on Meta Quest with Unity
arxiv.org·3d
🎮Verification Games
NFS server IN k8s cluster
reddit.com·1d·
Discuss: r/homelab
⎈Kubernetes
Characterizing Community Formation in Response to Extreme Weather Events through Human Mobility Networks
arxiv.org·1d
📡Network Protocol Design
AI for the Rest of Us
wsvincent.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Residual-based Efficient Bidirectional Diffusion Model for Image Dehazing and Haze Generation
arxiv.org·3d
🏹Effect Systems
Introducing Pixel 10 Pro Fold: Google’s most durable foldable phone
blog.google·14h·
Discuss: Hacker News
🍎Apple