EU Commission makes available age verification blueprint
digital-strategy.ec.europa.eu·2h·
Discuss: Hacker News
🌐NetworkProtocols
ISRO successfully conducts hot tests of Gaganyaan propulsion system
thehindu.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Happy 20th Birthday, Django
katherinemichel.github.io·18h·
Discuss: Hacker News
💾Retro Computing
Show HN: A Scarce Cryptoasset Rooted in Private ETH Destruction
worm.cx·1d·
Discuss: Hacker News
⚙️Operating System Design
EU-sponsored report says GenAI's 'fair use' defense does not compute
theregister.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Haiku Activity & Contract Report, June 2025
haiku-os.org·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Show HN: I made a vencord plugin to search for messages across discord
blog.jaisal.dev·1d·
Discuss: Hacker News
📦Unikernel Systems
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·5d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·6d·
Discuss: Hacker News
🛡️seL4
Automatic library.
reddit.com·13h·
Discuss: r/homelab
🐫Embedded OCaml
Open-source STM32 autopilot for long-range fixed-wing UAVs (SmartNavX)
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
Sysbox Container Runtime
github.com·4h·
Discuss: Hacker News
⎈Kubernetes
Show HN: A Raycast-compatible launcher for Linux
github.com·1d·
Discuss: Hacker News, r/linux
🍎XNU Internals
Show HN: Shepherd – Generating Synthetic Data with Claude and MCP
github.com·22h·
Discuss: Hacker News
🛡️seL4
A http parser single-header library written in C89 which is 50 lines total.
github.com·1d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·5d
✓Automated Theorem Proving
Can adversarial attacks by large language models be attributed?
arxiv.org·4d
🛡️seL4
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·6d·
Discuss: Hacker News
🔬Unikernels
Automated Reasoning for Vulnerability Management by Design
arxiv.org·5d
✓Automated Theorem Proving
Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicated Answer Set Programming System
arxiv.org·5d
✓Automated Theorem Proving