PixiEditor/PixiEditor
github.com·4d
📦Unikernel Systems
Communicate Early and Often
dontbreakprod.com·14h·
Discuss: Hacker News
🔍Formal Verification
“Eureka!”: Surprising Brain Clues Predict When Inspiration Will Hit
neurosciencenews.com·2d·
Discuss: Hacker News
🏹Effect Systems
Tracking Errors in Absinthe for Elixir with AppSignal
blog.appsignal.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Who’s Afraid of Gay Penguins?
theatlantic.com·22h·
Discuss: Hacker News
🛡️seL4
Famulor AI – Voice AI platform for smarter phone communication
famulor.io·2d·
Discuss: Hacker News
🏠HomeLab
A Rogue New Life Form
nautil.us·1d·
Discuss: Hacker News
🍎XNU Internals
Ask HN: Feeling Emptiness Inside
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Study: Lp(a) testing would save both lives and dollars
sciencedirect.com·18h·
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
Outpace Reality: A Novel Augmented-Walking Technique for Virtual Reality Games
arxiv.org·3d
🧗Climbing Tech
Trees Assembling Mann Whitney Approach for Detecting Genome-wide Joint Association among Low Marginal Effect loci
arxiv.org·3d
🔠Type-Level Programming
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