🐿️ 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
Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com
·
1d
·
Discuss:
Substack
🎯
Proof Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Clarity
robinsloan.com
·
2d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com
·
2d
🌐
WASI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to Eliminate DevOps Toil Using Automation Scripts
devops.com
·
1d
🐚
Shell Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The effective LLM multi-tenant security with SQL
getbruin.com
·
2d
·
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
·
1d
·
Discuss:
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org
·
2d
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
·
1d
·
Discuss:
DEV
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to
·
19h
·
Discuss:
DEV
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org
·
3d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Instance Relation Learning Network with Label Knowledge Propagation for Few-shot Multi-label Intent Detection
arxiv.org
·
1d
🤖
Grammar Induction
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Self-Improving LLM Agents at Test-Time
arxiv.org
·
1d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Anomaly Detection in Account Takeover via Multi-Modal Graph Neural Network Fusion
dev.to
·
19h
·
Discuss:
DEV
🔍
Vector Forensics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Handling 100+ Website Scrapers with Python's asyncio
dev.to
·
1h
·
Discuss:
DEV
📰
RSS Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to
·
6d
·
Discuss:
DEV
⚡
SMT Integration
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
**Unlock the Power of Hybrid AI: Combining Reinforcement Lea
dev.to
·
6h
·
Discuss:
DEV
🤖
Grammar Induction
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org
·
1d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Spectral Fingerprint Deconvolution for Polymer Identification via Deep Oligomer Networks
dev.to
·
22h
·
Discuss:
DEV
🌈
Spectroscopy
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to
·
19h
·
Discuss:
DEV
🔤
EBCDIC Mining
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
•
Page 9 »