Verifying the age (but not the identity) of UK redditors
reddit.com·4h·
Discuss: r/RedditSafety
🍎Apple
Treat the Internet Like Real Life
3.st·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·4d·
Discuss: Hacker News
👁️System Observability
What Business Do
melihozkurt.com·6h·
Discuss: Hacker News
🔄Reproducible Builds
Age Assurance and Bluesky
havenweb.org·23h·
Discuss: Hacker News
🍎Apple
Cognition's Acquisition of Windsurf
cognition.ai·22h·
Discuss: Hacker News
📦Unikernel Systems
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·2d·
Discuss: Hacker News
🛡️seL4
Discovering Governing Equations in the Presence of Uncertainty
arxiv.org·13h
🏹Effect Systems
Wordle-GRPO – A $100 Agent
github.com·1d·
Discuss: Hacker News
🎮Verification Games
An Empirical Evaluation of AI-Powered Non-Player Characters' Perceived Realism and Performance in Virtual Reality Environments
arxiv.org·13h
🎮Verification Games
Efficient Private Inference Based on Helper-Assisted Malicious Security Dishonest Majority MPC
arxiv.org·13h
✓Automated Theorem Proving
Kubernetes Finally Solves Its Biggest Problem: Managing Databases
thenewstack.io·21h·
Discuss: Hacker News
⎈Kubernetes
Itty-AWS: 34KB AWS SDK for Effect
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Energy Dissipation Rate Guided Adaptive Sampling for Physics-Informed Neural Networks: Resolving Surface-Bulk Dynamics in Allen-Cahn Systems
arxiv.org·13h
🐫OCaml
Push or Light: Nudging Standing to Break Prolonged Sitting
arxiv.org·1d
🏹Effect Systems
Using Large Language Models for Legal Decision-Making in Austrian Value-Added Tax Law: An Experimental Study
arxiv.org·1d
✓Automated Theorem Proving
CMER: A Context-Aware Approach for Mining Ethical Concern-related App Reviews
arxiv.org·13h
🔬Static Analysis
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·13h
✓Automated Theorem Proving
How I do it
daniel.haxx.se·2d·
Discuss: Hacker News
🔄Reproducible Builds
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·4d·
Discuss: Hacker News
🐫Embedded OCaml