🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔮 Proof Search
Automated Reasoning, Tactic Languages, Resolution, Unification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Do Nothing
blog.tanyakhovanova.com
·
12h
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com
·
2d
·
Discuss:
Substack
🎯
Proof Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Recallie AI – Duolingo for learning anything
apps.apple.com
·
12h
·
Discuss:
Hacker News
🌀
Brotli Dictionary
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to Eliminate DevOps Toil Using Automation Scripts
devops.com
·
2d
🐚
Shell Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The effective LLM multi-tenant security with SQL
getbruin.com
·
3d
·
Discuss:
Hacker News
🗄️
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
2025-10-10 # LLMs Are Transpilers
alloc.dev
·
3d
·
Discuss:
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Clarity
robinsloan.com
·
3d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Gowall v0.2.3 The OCR and Image Compression update (Swiss Army knife for image processing)
reddit.com
·
15h
·
Discuss:
r/golang
📸
PNG Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com
·
3d
·
Discuss:
Hacker News
🔄
Burrows-Wheeler
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org
·
4d
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org
·
3d
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.org
·
3d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org
·
3d
📼
Cassette Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why The Future of Code Is More Human Than Ever
dev.to
·
2d
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
·
1d
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language • Semantics 2
inquiryintoinquiry.com
·
4d
🔢
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Python 3.14 Has Arrived: A Deep Dive into the New Features
dev.to
·
1d
·
Discuss:
DEV
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Phenotyping of Cardiac Fibrosis via Multi-Modal Imaging Fusion and Deep Learning
dev.to
·
11h
·
Discuss:
DEV
🤖
Advanced OCR
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On Epistemic Uncertainty of Visual Tokens for Object Hallucinations in Large Vision-Language Models
arxiv.org
·
1h
🤖
Advanced OCR
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Online Topological Localization for Navigation Assistance in Bronchoscopy
arxiv.org
·
1h
🕸️
Algebraic Topology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 19
•
Page 21 »