🐿️ 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
#18 Parallelepiped ...Etymology and History of Math Terms
pballew.blogspot.com
·
2h
·
Discuss:
www.blogger.com
🌀
Differential Geometry
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
Pretendo
pretendo.network
·
16m
·
Discuss:
Hacker News
📼
Retro Games
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
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
Item Patterns and Struct Await
noratrieb.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
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
·
18h
·
Discuss:
r/golang
📸
PNG Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sorting encrypted data without decryption: a practical trick
dev.to
·
2d
·
Discuss:
DEV
🔐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org
·
5d
🧮
Kolmogorov Complexity
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
·
13h
·
Discuss:
DEV
🤖
Advanced OCR
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
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
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
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
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to
·
10h
·
Discuss:
DEV
🎬
WebCodecs
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
·
4h
🤖
Advanced OCR
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
**Unlock the Power of Hybrid AI: Combining Reinforcement Lea
dev.to
·
1d
·
Discuss:
DEV
🤖
Grammar Induction
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 20
•
Page 22 »