Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics
Top 4 AI Voice Tools for 2025: WisprFlow, Granola, ElevenLabs, and Bland AI
zackproser.com·1d
🎙️Whisper
Chinese iPhone Buyers Complain of Scratches on New Pro Models
bloomberg.com·1d
✋Tactile Computing
Show HN: RocketQA – Write Tests in English (Gherkin), Run with Playwright
rocketqa.ai·1d·
Discuss: Hacker News
🧪Property-Based Testing
Atomic ‘conveyor belt’ boosts power of quantum computer
nature.com·1d
⚛️Quantum Tape
Ecologists document two new species of bass
phys.org·1d
💧Manuscript Watermarks
3 ways to use photo-to-video in Gemini
blog.google·1d
🏛Digital humanities
Have You Considered Not Polluting the Water?
theatlantic.com·1d
🖥️Self-hosted Infrastructure
Hosting projects built with Cursor / n8n / Lovable is harder than it should be
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nix Flakes
CRAFT: Coaching Reinforcement Learning Autonomously using Foundation Models for Multi-Robot Coordination Tasks
arxiv.org·1d
🔲Cellular Automata
Secrecy over gas leak backfires as $36b Santos takeover scuttled
abc.net.au·20h
🌡️Preservation Thermodynamics
How to Reduce Data Annotation Overhead in High-Volume Pipelines
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
Geometry-Aware Decentralized Sinkhorn for Wasserstein Barycenters
arxiv.org·1d
🤝Consensus Algorithms
The 100 most useful ChatGPT prompts voted on by college students who visited OpenAI's lab
businessinsider.com·1d
⚡gRPC
Stochastic Clock Attention for Aligning Continuous and Ordered Sequences
arxiv.org·1d
🧠Machine Learning
Five iOS 26 Features That Changed How I Use My iPhone
lifehacker.com·3d
💾vintage computing
Refurb weekend: Silicon Graphics Indigo² IMPACT 10000
oldvcr.blogspot.com·6d·
Discuss: oldvcr.blogspot.com
🧲RISC-V Archaeology
Oakland: Two alleged robbers charged in sextuple pawn shop shooting
mercurynews.com·6h
🧠Memory Forensics
APPLE-SA-09-15-2025-5 macOS Tahoe 26
seclists.org·4d
🖥️Vintage Macintosh
The Silent Eraser: Targeted Knowledge Removal for Safer, More Reliable AI
dev.to·4d·
Discuss: DEV
💻Local LLMs