Mosaic Launches an Internet Revolution (2004)
nsf.gov·1d·
Discuss: Hacker News
📡Network Protocol Design
OpenCloud is the Heinlein Group's file sharing and collaboration solution
opencloud.eu·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Micro Adventure – Space Attack (online emulator)
auri-microadventure.azurewebsites.net·1d·
Discuss: Hacker News
🛡️seL4
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·2d·
Discuss: Hacker News
❄️Nixified Development
KSAT
corrode.dev·4d·
Discuss: Hacker News
⎈Kubernetes
Stigmergy
en.wikipedia.org·1d·
Discuss: Hacker News
🎮Verification Games
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·4d·
Discuss: Hacker News
🔄Finite State Machines
Open-Source Security Paradox: More Code, More Validation
onekey.so·5d·
Discuss: Hacker News
🔄Reproducible Builds
Clustered PostgreSQL
arch.dog·3d·
Discuss: Lobsters, Hacker News
🏠HomeLab
Simulated impact on LSST data of Starlink v1.5 and V2 satellites
arxiv.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: BothAngles – A sneaker net social network for privacy
news.ycombinator.com·20h·
Discuss: Hacker News
🔬Unikernels
Why XSS Persists in This Frameworks Era?
flatt.tech·5d·
Discuss: Hacker News
🛡️seL4
Speclinter MCP
github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Better Together: Quantifying the Benefits of AI-Assisted Recruitment
arxiv.org·11h
💻CS
Understanding Driving Risks using Large Language Models: Toward Elderly Driver Assessment
arxiv.org·11h
🐫Embedded OCaml
There’s a better way to use AI official prompts
reddit.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
Just got my first rack
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Data-Star.dev – v1 and Beyond
data-star.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·11h
✓Automated Theorem Proving
MatrixTransformer – A Unified Framework for Matrix Transformations
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml