Eastern Caribbean Weather and Hurricane Tracker
dewedda.com·4d·
Discuss: Hacker News
🇵🇹Portugal
The term 'NSFW' is problematic and overdue for retirement
neilzone.co.uk·5d·
Discuss: Hacker News
❄️Nix
Porn site traffic plummets as UK age verification rules enforced
bbc.co.uk·4d·
Discuss: Hacker News, r/news
📡Network Protocol Design
James Baldwin juggled an infinite number of contrasting ideas, as well as the ability to live with these contradictions
hudsonreview.com·4d·
Discuss: Hacker News
➡️Category Theory
US says UK human rights have worsened in past year
bbc.co.uk·5d·
Discuss: Hacker News
👁️System Observability
Exclusive: Fintech giant Stripe building ‘Tempo’ blockchain with crypto VC Paradigm
fortune.com·6d·
Discuss: Hacker News
🧗Climbing Tech
Gov't HR department latest to get nastygram from auditors
theregister.com·4d·
Discuss: Hacker News
🧗Climbing Tech
When a Badge Misses the Mark: WHY 2025
hackaday.com·6d
🔍Formal Verification
Ask HN: Can you help me decide which type of house investment I should do?
news.ycombinator.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Started doing coding again!
reddit.com·5d·
Discuss: r/programming
💻CS
The 2R-Conjecture for the Hegselmann--Krause Model: A Proof in Expectation and New Directions
arxiv.org·4d
➡️Category Theory
Nvidia licensing...
reddit.com·6d·
Discuss: r/homelab
📦Unikernel Systems
SwarmVLM: VLM-Guided Impedance Control for Autonomous Navigation of Heterogeneous Robots in Dynamic Warehousing
arxiv.org·6d
⚙️PL Implementation
Isolating Docker containers from home network — but some need LAN & VPN access. Best approach
reddit.com·5d·
Discuss: r/homelab
⎈Kubernetes
Gradient- and Newton-Based Unit Vector Extremum Seeking Control
arxiv.org·5d
🏹Effect Systems
Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
arxiv.org·6d
🔠Type-Level Programming
Assessing LLM Text Detection in Educational Contexts: Does Human Contribution Affect Detection?
arxiv.org·6d
🎮Verification Games
Poor man's 80TB DIY NAS project with N150 mini PC from China
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
Offering expanded Claude access across all three branches of the U.S. government
anthropic.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Sacred or Synthetic? Evaluating LLM Reliability and Abstention for Religious Questions
arxiv.org·5d
🔍Formal Verification