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
Netscape Navigator 2.0 was released 30 years ago today
jwz.org·2d·
Discuss: Lobsters
🌐Web Standards
Study: AI model "Delphi-2M" predicts disease risks
heise.de·3d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
DACLab says it can remove CO2 using less electricity than many competitors
techcrunch.com·2d
💰Preservation Economics
Thousands of businesses could face meeting chaos worldwide because Microsoft Teams Rooms app won't work from October 14 - and yes, you can blame Windows 10 end ...
techradar.com·2d
🖥️Modern Terminals
Destructive Testing: A Brief Guide
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Nvidia and Intel’s $5 billion deal is apparently about eating AMD’s lunch
theverge.com·2d
🖥️Modern Terminals
Hosting projects built with Cursor / n8n / Lovable is harder than it should be
news.ycombinator.com·2d·
Discuss: Hacker News
❄️Nix Flakes
CRAFT: Coaching Reinforcement Learning Autonomously using Foundation Models for Multi-Robot Coordination Tasks
arxiv.org·1d
🔲Cellular Automata
New attack on ChatGPT research agent pilfers secrets from Gmail inboxes
arstechnica.com·2d·
Discuss: Hacker News, r/technews
🏢LDAP Forensics
The Kaggle Grandmasters Playbook: 7 Battle-Tested Modeling Techniques for Tabular Data
developer.nvidia.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
A Domain Knowledge Informed Approach for Anomaly Detection of Electric Vehicle Interior Sounds
arxiv.org·2d
🎵Audio ML
AAON, Inc. (AAON) Inc. Presents at 24th Annual Diversified Industrials & Services Conference Transcript
seekingalpha.com·2d
🌊Streaming Systems
Show HN: Paasword – a password vault that never stores your passwords
github.com·6d·
Discuss: Hacker News
🔓Password Cracking
Geometry-Aware Decentralized Sinkhorn for Wasserstein Barycenters
arxiv.org·1d
🤝Consensus Algorithms
AirPods Pro 2 vs. AirPods Pro 3 Buyer's Guide: Should You Upgrade?
macrumors.com·2d
📡Bluetooth Archaeology
Refurb weekend: Silicon Graphics Indigo² IMPACT 10000
oldvcr.blogspot.com·6d·
Discuss: Lobsters, Hacker News
🧲RISC-V Archaeology
Stop Learning Code the Slow Way. Here's My AI Playbook to Learn 5x Faster
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
AWS Certified AI Practitioner (AIF-C01) Study Guide
dev.to·2d·
Discuss: DEV
⚡Proof Automation