💻 CS

computer science, automata, theory, computation

Sharing an OMV folder across VLANs, how vulnerable would this be?
i.redd.it·3h·
Discuss: r/homelab
🏠HomeLab
Tresorit – secure file exchange and collaboration made easy
tresorit.com·23m·
Discuss: Hacker News
🛡️seL4
Using terminal-notifier in Claude Code to get custom notifications
andreagrandi.it·2d·
Discuss: Hacker News
❄️Nix
Grok-4 Jailbreak with Echo Chamber and Crescendo
neuraltrust.ai·9h·
Discuss: Hacker News
🛡️seL4
Build your own Anycast Network in Nine Steps (2016)
labs.ripe.net·1d·
Discuss: Hacker News
📡Network Protocol Design
OpenZFS Bug Ported to Zig
andrewkelley.me·4h·
Discuss: Hacker News
🐫Embedded OCaml
Embedding User-Defined Indexes in Apache Parquet Files
datafusion.apache.org·22h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Is there any hope for the internet?
theconversation.com·10h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
From Prompt to Plant Shutdown: Agent Context Contamination in MCP
veganmosfet.github.io·13h·
Discuss: Hacker News
🛡️seL4
Web Application Architecture
plainvanillaweb.com·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Quantum Correspondence
3quarksdaily.com·13h·
Discuss: Hacker News
➡️Category Theory
Scientists reportedly hiding AI text prompts in academic papers to receive positive peer reviews
theguardian.com·19h·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Open-source STM32 autopilot for long-range fixed-wing UAVs (SmartNavX)
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
Hypercapitalism and the AI Talent Wars
blog.johnluttig.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Marc Andreesen and the Billionaire Victims Club
thebulwark.com·5h·
Discuss: Hacker News
💾Retro Computing
Tools using tools
cassidoo.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Curiosity-Driven Encryption: A Collatz Conjecture-Inspired Block Cipher with Real-Time Visualizations
reddit.com·4d·
Discuss: r/programming
🐫OCaml
A Few Things I've Learned about Prompt Engineering
cloudcruise.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Try My AI Pitch Tool and Share Your Feedback (PM Side Project)
news.ycombinator.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Distilling Empathy from Large Language Models
arxiv.org·18h
🔠Type-Level Programming