CitrixBleed‑2 (CVE‑2025‑5777)
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
Zig Interface Revisited
williamw520.github.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
Space-Based Missile Interceptors for Golden Dome Being Tested by Northrop
twz.com·19h·
Discuss: Hacker News
📡Network Protocol Design
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·4d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
Call Me a Jerk: Persuading AI to Comply with Objectionable Requests (2025)
papers.ssrn.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: The Influencer AI – consistent AI "models" for photos and talking video
theinfluencer.ai·1d·
Discuss: Hacker News
🍎Apple
My Ultimate Self-hosting Setup
codecaptured.com·4d·
Discuss: Lobsters, Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Chatbots to robots: The rise of 'physical AI'
computerworld.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Comparison of MGR, SunView, OpenWindows and X11R6 (2022)
oldvcr.blogspot.com·1d·
Discuss: Hacker News
💾Retro Computing
SaaS Is Dead
shayne.dev·21h·
Discuss: Hacker News
🧱Immutable Infrastructure
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·1d·
Discuss: Hacker News
🎮Verification Games
Funding for program to stop next Stuxnet from hitting US expired Sunday
theregister.com·18h·
Discuss: Hacker News
📡Network Protocol Design
Multimodal AI for Gastrointestinal Diagnostics: Tackling VQA in MEDVQA-GI 2025
arxiv.org·1d
🔄Finite State Machines
DIVER-0 : A Fully Channel Equivariant EEG Foundation Model
arxiv.org·1d
💻CS
Multi-beam Beamforming in RIS-aided MIMO Subject to Reradiation Mask Constraints -- Optimization and Machine Learning Design
arxiv.org·1d
🏹Effect Systems
Show HN: Open-source DevOps agent in Rust to secure and manage production infra
github.com·2d·
Discuss: Hacker News
⎈Kubernetes
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·6d
✓Automated Theorem Proving
Learning Deformable Body Interactions With Adaptive Spatial Tokenization
arxiv.org·2d
🏹Effect Systems
Designing Robots with, not for: A Co-Design Framework for Empowering Interactions in Forensic Psychiatry
arxiv.org·1d
💻CS
Belief Alignment vs Opinion Leadership: Understanding Cross-linguistic Digital Activism in K-pop and BLM Communities
arxiv.org·11h
➡️Category Theory