Formal specs as sets of behaviors
surfingcomplexity.blog·11h
✅Formal Methods
How ChatGPT Claude interprets my blog
thomasrigby.com·4d
🏠Personal Archives
Scientists Use Cryptography To Unlock Secrets of Quantum Advantage
scitechdaily.com·2d
🔐Quantum Security
AI Breakthrough in Ocean Monitoring: Global Vessel Activity
globalfishingwatch.org·1d·
Discuss: Hacker News
🏺Computational Archaeology
Migadu Email
migadu.com·7h·
Discuss: Hacker News
🏠Homelab Federation
The long, knotty, world-spanning story of string
hakaimagazine.com·1d·
Discuss: Hacker News
📡Network Archaeology
Show HN: I built a tool to fight YouTube clickbait with AI summaries
peekatube.com·5h·
Discuss: Hacker News
🔃Feed Algorithms
Traffic jam warning for holidaymakers at Port of Dover
the-independent.com·21h
📈Time Series
Women Dating Safety App 'Tea' Breached, Users' IDs Posted to 4chan
404media.co·1d·
Discuss: Hacker News, r/technology
🔤EBCDIC Privacy
Self-Driving Postgres
postgres.ai·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
An evaluation scheme for sampling
statmodeling.stat.columbia.edu·2d
🧮Kolmogorov Bounds
Immutable Backups: Everything You Need To Know To Protect Your Cloud
hackernoon.com·2d
💿Backup Strategies
AI Slop Might Finally Cure Our Internet Addiction
theatlantic.com·4d·
Discuss: Hacker News
🌡️Preservation Entropy
Will Your Next Autonomous Vehicle Drive You Into a Cyberattack?
hackernoon.com·3d
🛡Cybersecurity
IT expert says trans doctor's phone claims "not possible"
bbc.com·1d·
Discuss: Hacker News
🚨Incident Response
So much for watermarks: UnMarker tool nukes AI provenance tags
theregister.com·2d·
Discuss: Hacker News
💧Manuscript Watermarks
The Migration That Mattered: Moving from Law Books to Code Bases
dev.to·1d·
Discuss: DEV
📝ABNF Parsing
RealtimeAI Assistant - Voice-Powered Semantic Search with Redis Vector Engine
dev.to·20h·
Discuss: DEV
🎙️Whisper
The Complete DevOps Roadmap for 2025 🚀
dev.to·20h·
Discuss: DEV
❄️Nix Adoption
Nonlinear Framework for Speech Bandwidth Extension
arxiv.org·4d
👁️Perceptual Coding