🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Proof Engineering

Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software

Encrypting data at rest, one OS at a time
tailscale.com·16h
🌊Stream Ciphers
The Curious About Everything Newsletter #53
jodiettenberg.substack.com·17h·
Discuss: Substack
🌡️Preservation Physics
Self-host open-source LLM agent sandbox on your own cloud
blog.skypilot.co·13h·
Discuss: Hacker News, Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Scientists hid secret codes in light to combat video fakes
arstechnica.com·1d
💿Optical Forensics
AI content is tainting preprints: how moderators are fighting back
nature.com·14h·
Discuss: Hacker News
📜Digital Philology
Show HN: Crudloop – On-Demand Voice AI, Meeting Bots and Full-Stack Development
crudloop.com·2d·
Discuss: Hacker News
🌊Stream Processing
Integrating Dermaplaning Equipment with IoT Sensors for Real-Time Monitoring
dev.to·9h·
Discuss: DEV
🏠Home Automation
LLM Hallucination Seems Like a Big Problem, Not a Mere Speedbump
freddiedeboer.substack.com·6h·
Discuss: Substack
💻Local LLMs
$100,000 or the Robot Gets it! Tech Workers' Resistance Guide: Tech Worker Actions, History, Risks, Impacts, and the Case for a Radical Flank
arxiv.org·1d
🧲Magnetic Philosophy
Deploying a Full-Stack Monorepo (Go + React) to Sevalla: What I Learned
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Programming with AI: You're Probably Doing It Wrong
devroom.io·5d·
Discuss: Hacker News
⚡Proof Automation
Think as Cardiac Sonographers: Marrying SAM with Left Ventricular Indicators Measurements According to Clinical Guidelines
arxiv.org·3h
📊Spectrograms
Vertalk : Supercharge E-cormmerce with Real-Time AI Calls Powered by Redis 8
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Beyond Single: A Data Selection Principle for LLM Alignment via Fine-Grained Preference Signals
arxiv.org·1d
🎙️Whisper
AI at the Helm: How 2025’s Smartest Models Are Redesigning the Web and Beyond
dev.to·1d·
Discuss: DEV
🤖AI Curation
Capabilities of GPT-5 on Multimodal Medical Reasoning
arxiv.org·1d·
Discuss: Hacker News
🗺️Competency Maps
Normative Moral Pluralism for AI: A Framework for Deliberation in Complex Moral Contexts
arxiv.org·3h
🔲Cellular Automata
How Indegene’s AI-powered social intelligence for life sciences turns social media conversations into insights
aws.amazon.com·13h
🌊Streaming Systems
Automated Isotope Fractionation Analysis via Hyperdimensional Semantic Mapping
dev.to·2d·
Discuss: DEV
📜Binary Philology
Retrieval Augmented Large Language Model System for Comprehensive Drug Contraindications
arxiv.org·2d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap