๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ“ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Hidden Agendas, Lost Cities
systemstack.devยท1d
๐ŸŽจSwedish Design Philosophy
Cursor to change Teams pricing, after Sep 15
cursor.comยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
AI Models Are the Gold, Forward-Deployed Engineers Are the Gold Miners
emcap.comยท1dยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
Is this the best acronym in science? It's certainly the smelliest
newscientist.comยท1d
๐Ÿง Intelligence Compression
Turning ChatGPT's "Saved Memory" into a Persistent, Self-Updating Runtime Tool
news.ycombinator.comยท20hยท
Discuss: Hacker News
๐Ÿ’พPersistent Memory
Education Nano 01 - Modular Wheel-Leg Robot for STEM
hackster.ioยท20h
โš™๏ธDIY Electronics
ai song generator -audiomodify
dev.toยท18hยท
Discuss: DEV
๐ŸŽงLearned Audio
Assessing Engineering Student Perceptions of Introductory CS Courses in an Indian Context
arxiv.orgยท3d
๐Ÿ’ปCS
Micro-Health Interventions: Exploring Design Strategies for 1-Minute Interventions as a Gateway to Healthy Habits
arxiv.orgยท1d
โœ‹Tactile Computing
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.orgยท2d
๐Ÿ”Vector Forensics
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Few-Shot Learning for Edge Device Semantic Segmentation via Adaptive Meta-Graph Pruning
dev.toยท13hยท
Discuss: DEV
๐Ÿ“ŠLearned Metrics
Think as Cardiac Sonographers: Marrying SAM with Left Ventricular Indicators Measurements According to Clinical Guidelines
arxiv.orgยท2d
๐Ÿ“ŠSpectrograms
Differentiable Cyclic Causal Discovery Under Unmeasured Confounders
arxiv.orgยท2d
โœจEffect Handlers
Gradient-Direction-Aware Density Control for 3D Gaussian Splatting
arxiv.orgยท1d
๐ŸŒˆColor Science
Exploring the Equivalence of Closed-Set Generative and Real Data Augmentation in Image Classification
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
Unlocking Robust Semantic Segmentation Performance via Label-only Elastic Deformations against Implicit Label Noise
arxiv.orgยท29m
๐ŸŒ€Riemannian Computing
AI Agents vs Autonomous Agents vs Agentic AI: The Architecture Stack, Explained
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Capability Systems
Building a production MCP server (and, incidentally, $45M/mo in ad spend)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Digital Twins in Healthcare: A Practical Implementation Guide
dev.toยท2dยท
Discuss: DEV
๐ŸงฒMagnetic Resonance
Loading...Loading more...
AboutBlogChangelogRoadmap