Weekly Update 464
troyhunt.com·4d
🏠HomeLab
Perplexity Is on the Prowl to Buy Web Browsers
theinformation.com·2d
🍎Apple
Mutually Attacking Knights
susam.net·5d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
How Stock Options Work
web.stanford.edu·2d·
Discuss: Hacker News
🧪Property-Based Testing
Vulcan USSF-106
ulalaunch.com·3d·
Discuss: Hacker News
🧗Climbing Tech
Sam 2: Segment Anything in Images and Videos
openreview.net·3d·
Discuss: Hacker News
⚙️Operating System Design
Show HN: RiffMCP is an MCP server that lets LLMs compose, play, and render music
news.ycombinator.com·4d·
Discuss: Hacker News
🍎Apple
That’s no Moon, er, Selectric
hackaday.com·3d
💾Retro Computing
Show HN: Was frustrated w ChatGPTs health advice so I built better biomed search
news.ycombinator.com·4d·
Discuss: Hacker News
💾Retro Computing
Reminders in iOS 26 has a powerful new tool for organizing tasks
9to5mac.com·1d
🍎Apple
From WAN to NAS: A Pwn2Own Journey Through the SOHO Attack Surface (WHY2025)
cdn.media.ccc.de·6d
📡Network Protocol Design
Intersectoral Knowledge in AI and Urban Studies: A Framework for Transdisciplinary Research
arxiv.org·4d
💻CS
Exploring Molecular Odor Taxonomies for Structure-based Odor Predictions using Machine Learning
arxiv.org·2d
➡️Category Theory
Shhhhhh!!!
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
In-Context Reinforcement Learning via Communicative World Models
arxiv.org·4d
🔍Formal Verification
Enhancing Rumor Detection Methods with Propagation Structure Infused Language Model
arxiv.org·4d
🎮Verification Games
Bridging Semantic Logic Gaps: A Cognition-Inspired Multimodal Boundary-Preserving Network for Image Manipulation Localization
arxiv.org·4d
💻CS
Bringing Everyone to the Table: An Experimental Study of LLM-Facilitated Group Decision Making
arxiv.org·4d
🎮Verification Games
Estimating carbon pools in the shelf sea environment: reanalysis or model-informed machine learning?
arxiv.org·1d
✓Automated Theorem Proving
Homelab Hardware Advice
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab