💻 CS

computer science, automata, theory, computation

Sharing an OMV folder across VLANs, how vulnerable would this be?
i.redd.it·7h·
Discuss: r/homelab
🏠HomeLab
Tresorit – secure file exchange and collaboration made easy
tresorit.com·4h·
Discuss: Hacker News
🛡️seL4
Using terminal-notifier in Claude Code to get custom notifications
andreagrandi.it·3d·
Discuss: Hacker News
❄️Nix
Grok-4 Jailbreak with Echo Chamber and Crescendo
neuraltrust.ai·13h·
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·8h·
Discuss: Hacker News
🐫Embedded OCaml
Embedding User-Defined Indexes in Apache Parquet Files
datafusion.apache.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Is there any hope for the internet?
theconversation.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: I made a vencord plugin to search for messages across discord
blog.jaisal.dev·1d·
Discuss: Hacker News
📦Unikernel Systems
From Prompt to Plant Shutdown: Agent Context Contamination in MCP
veganmosfet.github.io·17h·
Discuss: Hacker News
🛡️seL4
Web Application Architecture
plainvanillaweb.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Quantum Correspondence
3quarksdaily.com·17h·
Discuss: Hacker News
➡️Category Theory
Scientists reportedly hiding AI text prompts in academic papers to receive positive peer reviews
theguardian.com·23h·
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
Tools using tools
cassidoo.co·2d·
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
Hypercapitalism and the AI Talent Wars
blog.johnluttig.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Few Things I've Learned about Prompt Engineering
cloudcruise.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Try My AI Pitch Tool and Share Your Feedback (PM Side Project)
news.ycombinator.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Remote Sensing Reveals Adoption of Sustainable Rice Farming Practices Across Punjab, India
arxiv.org·22h
🖥️Self-hosted Infrastructure