XpressReal T3 Compact SBC with Realtek RTD1619B Runs Chromium OS Variant
linuxgizmos.com·5d·
Discuss: Hacker News
🔬Unikernels
Nexus: An Open-Source AI Router for Governance, Control and Observability
nexusrouter.com·4d·
Discuss: Lobsters, Hacker News, r/LLM
📦Unikernel Systems
Lessons learned from implementing SIMD-accelerated crypto algorithms (ChaCha20 / ChaCha12) in pure Rust
kerkour.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Not My Torment Nexus
scottkosman.com·4d·
Discuss: Hacker News
🧗Climbing Tech
Transforming Cybersecurity: The Kintsugi Paradox-Loop CAPTCHA System
github.com·5d·
Discuss: r/programming
🎮Verification Games
A Simple Model of Online Platform Enshittification
apoorvalal.github.io·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rustroid - The Rust IDE that runs locally on your Android phone.
reddit.com·6d·
Discuss: r/programming
❄️Nixified Development
An essential primer for building enterprise-ready MCP servers
aleknwr.substack.com·4d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Requiem for a 10x Engineer Dream
architecture-weekly.com·5d·
Discuss: Hacker News, r/programming
🔍Formal Verification
Offering expanded Claude access across all three branches of the U.S. government
anthropic.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·3d
🏹Effect Systems
Pentesting Passkeys (WHY2025)
cdn.media.ccc.de·5d
🌐NetworkProtocols
How AI and Agents Are Slashing 3 A.M. Wakeups
thenewstack.io·2d
✓Automated Theorem Proving
A Graph Neural Network Approach for Mapping the Conceptual Structure and Inter-Branch Connectivity of Physics
arxiv.org·5d
➡️Category Theory
UW-3DGS: Underwater 3D Reconstruction with Physics-Aware Gaussian Splatting
arxiv.org·5d
🔬Unikernels
The GPT-5 rollout has been a big mess
arstechnica.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·4d
✓Automated Theorem Proving
What Makes "Good" Distractors for Object Hallucination Evaluation in Large Vision-Language Models?
arxiv.org·4d
🐫OCaml
SAGOnline: Segment Any Gaussians Online
arxiv.org·4d
🔠Type-Level Programming
LaVieID: Local Autoregressive Diffusion Transformers for Identity-Preserving Video Creation
arxiv.org·4d
➡️Category Theory