Invictus – Europe's new hypersonic test platform
esa.int·12h·
Discuss: Hacker News
📡Network Protocol Design
Eswin Computing EBC77 RISC-V SBC to Support Ubuntu Linux
canonical.com·15h·
Discuss: Hacker News
⚙️Operating System Design
Laser smaller than a penny can measure objects 10 quintillion times per second
rochester.edu·1d·
Discuss: Hacker News
🐫Embedded OCaml
FSociety Hits APSCON2025 IEEE Registration Database in Multi-Level Cyberattack
leakd.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
How I used ChatGPT to analyze, debug, and rewrite a broken plugin from scratch - in an hour (7/2025)
zdnet.com·3h·
Discuss: r/programming
✓Automated Theorem Proving
Canada steals the spotlight at Europe's biggest tech event
betakit.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Changing the Business of Breakthroughs
issues.org·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
North Korean XORIndex malware hidden in 67 malicious npm packages
bleepingcomputer.com·1d·
Discuss: Lobsters, Hacker News
🔬Unikernels
How to instantly be better at things
usefulfictions.substack.com·19h·
Discuss: Substack
🎮Verification Games
From Alerts to Intelligence: A Novel LLM-Aided Framework for Host-based Intrusion Detection
arxiv.org·1d
🛡️seL4
TrialCompass: Visual Analytics for Enhancing the Eligibility Criteria Design of Clinical Trials
arxiv.org·8h
📡Network Protocol Design
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·5h·
Discuss: Hacker News
🐫Embedded OCaml
Driving Platform Adoption, Part 2: Yes, Create T-Shirts To Tout Your Brand
thenewstack.io·1d
🖥️Self-hosted Infrastructure
Solving the Context Rot Problem for Coding Agents
install.md·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Neural Co-state Regulator: A Data-Driven Paradigm for Real-time Optimal Control with Input Constraints
arxiv.org·8h
🔄Finite State Machines
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·8h
🎮Verification Games
Inversion-DPO: Precise and Efficient Post-Training for Diffusion Models
arxiv.org·8h
🐫OCaml
Fairness Is Not Enough: Auditing Competence and Intersectional Bias in AI-powered Resume Screening
arxiv.org·8h
🎮Verification Games
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·8h
💻CS