Post-Quantum Cryptography (muccc)
cdn.media.ccc.de·5d
💻CS
Simple Way to Find Co-Founders – Business Partner Finder App
findpartner.app·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.im·6d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
How We Rooted Copilot
research.eye.security·1d·
Discuss: Hacker News, Hacker News, r/linux
📦Unikernel Systems
Government-Funded Alchemy
thebsdetector.substack.com·2d·
Discuss: Substack
🔬Unikernels
The Case for Being Lazy
osada.blog·1d·
Discuss: r/programming
👁️System Observability
Playtron's Linux-Based GameOS Hits the Road with 1.0
boilingsteam.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Automated repo maintenance via GitHub Copilot coding agent
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔄Reproducible Builds
I Made Doom Run Inside a QR Code and Wrote a Custom Compression Algorithm for It
old.reddit.com·20h·
Discuss: r/computerscience
💾Retro Computing
Reliable by Design: Fast, Fail-Safe AI Agents
aimon.ai·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu·5d·
Discuss: Hacker News
🔄Finite State Machines
Creating agentic users, not just agentic AI
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Pyramid Hierarchical Masked Diffusion Model for Imaging Synthesis
arxiv.org·4d
🤖Program Synthesis
Multi-RIS-Empowered Communication Systems: Capacity Analysis and Optimization
arxiv.org·4d
📡Network Protocol Design
Exploring the Potential of LLMs for Serendipity Evaluation in Recommender Systems
arxiv.org·3d
➡️Category Theory
Does Language Matter for Early Detection of Parkinson's Disease from Speech?
arxiv.org·3d
🔤DSLs
Azoth: Objective-C UI library for SDL3
github.com·6d·
Discuss: Hacker News
🍎XNU Internals
Analytical Formulation of Autonomous Vehicle Freeway Merging Control with State-Dependent Discharge Rates
arxiv.org·3d
🔄Finite State Machines
VMask: Tunable Label Privacy Protection for Vertical Federated Learning via Layer Masking
arxiv.org·5d
🔬Unikernels
The Impact of Language Mixing on Bilingual LLM Reasoning
arxiv.org·5d
✓Automated Theorem Proving