๐Ÿฟ๏ธ 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

Introducing your newest study buddy: stackoverflow.ai
stackoverflow.blogยท6d
๐Ÿ“Proof Assistants
Show HN: Just Launched Teamcamp โ€“ Project Management Apllication on Peerlist
peerlist.ioยท17hยท
Discuss: Hacker News
๐Ÿ“ฆMETS Containers
Learning Antimicrobial Resistance (AMR) Genes with Bioconductor
kenkoonwong.comยท4dยท
Discuss: Hacker News
๐ŸงฌCopy Number Variants
Connect to a Local Ollama AI Instance From Within Your LAN
thenewstack.ioยท2d
๐Ÿ› System administration
Ask HN: How do I escape OS-switching-cost hell?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
I reviewed the xTool F2 Ultra dual laser engraver and the more I used it, the more I fell in love
techradar.comยท2d
๐Ÿ“„Document Digitization
Whatโ€™s your favorite way to provide LAN-local DNS services for the services you run?
reddit.comยท19hยท
Discuss: r/homelab
๐ŸŒDNS Security
Hybrid AI Isnโ€™t the Future โ€” Itโ€™s Here (and It Runs in Docker)
docker.comยท4d
๐Ÿ Homelab Orchestration
Two Days, One App: How AI Turned Me into an Underโ€‘8 Tennis Umpire
dev.toยท4dยท
Discuss: DEV
โš”๏ธLean Tactics
USABUYSMM,COM: to Buy Linkedin Accounts โ€“ 100% verified with connections
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏRecommendation Metrics
Scott Bakerโ€™s Magnetic Bubble Memory Mega-Post
hackaday.comยท2d
๐Ÿ’พFloppy Imaging
Amazon is ready to enter the AI agent race in a big way, according to internal documents
businessinsider.comยท4d
๐ŸŒŠStreaming Systems
SpiderNets: Estimating Fear Ratings of Spider-Related Images with Vision Models
arxiv.orgยท19h
๐Ÿ“ŠLearned Metrics
InvisiCaps: The Fil-C capability model
fil-c.orgยท4dยท
Discuss: Hacker News
๐Ÿท๏ธMemory Tagging
Finding the Right Future-Proof Career Path ๐Ÿš€
dev.toยท4dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
How Real Is AI Tutoring? Comparing Simulated and Human Dialogues in One-on-One Instruction
arxiv.orgยท5d
๐Ÿ”ฒCellular Automata
Succeed or Learn Slowly: Sample Efficient Off-Policy Reinforcement Learning for Mobile App Control
arxiv.orgยท5d
๐Ÿ’ปLocal LLMs
Exploring and Mitigating Fawning Hallucinations in Large Language Models
arxiv.orgยท5d
๐Ÿ”—Parser Combinators
Automated Wildfire Damage Assessment from Multi view Ground level Imagery Via Vision Language Models
arxiv.orgยท5d
๐Ÿค–Advanced OCR
L3Cube-IndicHeadline-ID: A Dataset for Headline Identification and Semantic Evaluation in Low-Resource Indian Languages
arxiv.orgยท5d
๐Ÿ’พBinary Linguistics
Loading...Loading more...
AboutBlogChangelogRoadmap