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

Tactic Languages, Auto Tactics, Proof Search, Hammer Tools

busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Brave discovers a security flaw in Perplexity’s Comet browser
the-decoder.com·1d
🚀Indie Hacking
Meta raids Google DeepMind and Scale AI for its all-star superintelligence team
businessinsider.com·16h
🤖AI Curation
How to Day Trade Crypto Using ChatGPT and Grok: a Practical Guide for Smarter Trading
hackernoon.com·6h
🌀Brotli Internals
Adversarial Examples Are Not Bugs, They Are Superposition
livgorton.com·6h·
Discuss: Hacker News
🧠Machine Learning
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·1d
🎯Performance Proofs
Undisclosed financial conflicts of interest in DSM-5
bmj.com·8h·
Discuss: Hacker News
📦METS Standards
Agentic RAG and Context Engineering for Agents
vincirufus.com·8h·
Discuss: Hacker News
📥Feed Aggregation
How to speak "off the cuff" – guide for technical experts
togetherlondon.com·1d·
Discuss: Hacker News
✨Algebraic Effects
Show HN: Image Description Generator – auto-generate alt text from any image
image-description-generator.net·3d·
Discuss: Hacker News
🗜️LZW Variants
Made a one piece knowledge benchmark
reddit.com·2d·
Discuss: r/artificial
🧮Z3 Solver
AI Agents: The Silent Revolution Transforming the Software Supply Chain
dev.to·1d·
Discuss: DEV
🔗Supply Chain
AI character generator online
dev.to·1d·
Discuss: DEV
🏛Digital humanities
RADAR: A Reasoning-Guided Attribution Framework for Explainable Visual Data Analysis
arxiv.org·21h
📊Learned Metrics
LLM System Design and Model Selection
oreilly.com·15h
💻Local LLMs
HLLM-Creator: Hierarchical LLM-based Personalized Creative Generation
arxiv.org·21h
🎯Content Recommendation
AWS Weekly Roundup: Amazon Aurora 10th anniversary, Amazon EC2 R8 instances, Amazon Bedrock and more (August 25, 2025)
aws.amazon.com·1d
🌊Streaming Systems
A Novel Framework for Uncertainty Quantification via Proper Scores for Classification and Beyond
arxiv.org·21h
📊Learned Metrics
Try My ~3.5 Million Parameters Model Instead for ✨😉
dev.to·1d·
Discuss: DEV
📝Text Parsing
Student-Teacher Distillation: A Complete Guide for Model Compression
dev.to·6h·
Discuss: DEV
📊Quantization
Loading...Loading more...
AboutBlogChangelogRoadmap