Brussels faces privacy crossroads over encryption backdoors
theregister.com·8h·
Discuss: Hacker News
🌐NetworkProtocols
Stop trusting your employees. Uber's "God View" proves you can't
cerbos.dev·8h·
Discuss: Hacker News
🛡️seL4
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·2d·
Discuss: Hacker News
💻CS
Why I'm lukewarm on graph neural networks
singlelunch.com·2d·
Discuss: Hacker News
📚Automata Learning
Building a Multilingual Blog with FastHTML
simn.fr·3d·
Discuss: Hacker News
💎Refinement Types
The Vector Bottleneck: Limitations of Embedding-Based Retrieval
shaped.ai·3d·
Discuss: Hacker News
🧩Parser Combinators
Stop writing CLI validation. Parse it right the first time
hackers.pub·5d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
Reasonably accurate, privacy conscious, cookieless, visitor tracking for WordPress
shkspr.mobi·8h·
Discuss: Hacker News, shkspr.mobi
🧮Lambda Calculus
Walking around the app
vickiboykis.com·2d·
Discuss: Hacker News
📊Runtime Verification
Rust Support Now in Beta
socket.dev·3h·
Discuss: Hacker News
❄️Nixified Development
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·3d
🎮Verification Games
When Is MCP Actually Worth It?
thenewstack.io·1d
🖥️Self-hosted Infrastructure
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·2d
📚Automata Learning
Rethinking LLM Parametric Knowledge as Post-retrieval Confidence for Dynamic Retrieval and Reranking
arxiv.org·2d
🧩Parser Combinators
Rust compiler performance survey 2025 results
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
From Org Charts to Work Charts: Building Clarity in the New Work World
clearwork.io·1d·
Discuss: Hacker News
👁️System Observability
Integrating Spatial and Semantic Embeddings for Stereo Sound Event Localization in Videos
arxiv.org·2d
📚Automata Learning
HuMo: Human-Centric Video Generation via Collaborative Multi-Modal Conditioning
arxiv.org·16h
🧩Parser Combinators
Performance of Conformal Prediction in Capturing Aleatoric Uncertainty
arxiv.org·2d
🧠Automated Reasoning
VariSAC: V2X Assured Connectivity in RIS-Aided ISAC via GNN-Augmented Reinforcement Learning
arxiv.org·2d
🩹Self-Healing Systems