๐ฟ๏ธ 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
Astro and WordPress: Post Previews
wpengine.com
ยท
21m
ยท
Discuss:
Hacker News
๐ฐ
RSS Feed Discovery
A short statistical reasoning test
emiruz.com
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
๐งฎ
Kolmogorov Bounds
Czkawka / Krokiet 10.0: cleaning duplicates, unifying features and a handful of Rust related statistics
reddit.com
ยท
19h
ยท
Discuss:
r/rust
๐ฆ
Rust Macros
Compilation Isn't Just for Programming Languages
architecture-weekly.com
ยท
21h
ยท
Discuss:
r/programming
๐
Stream Processing
A Lisp in 99LOC
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Lisp
Elephants Don't Write Sonnets
whattotelltherobot.com
ยท
17h
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Fresh Eyes as a Service: Using LLMs to Test CLI Ergonomics
recursion.wtf
ยท
19h
ยท
Discuss:
Hacker News
๐
CLI Design
A Constant-Time Hardware Architecture for the CSIDH Key-Exchange Protocol
arxiv.org
ยท
1d
๐
Stream Ciphers
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.org
ยท
6h
๐ธ๏ธ
Algebraic Topology
Improving MSA Estimation through Adaptive Weight Vectors in MOEA/D
arxiv.org
ยท
6h
๐งฎ
Kolmogorov Bounds
gpt-oss-120b & gpt-oss-20b Model Card
arxiv.org
ยท
1d
๐
ABNF Extensions
Understanding Lambda Functions in Python: Definition, Usage, and Applications
dev.to
ยท
8h
ยท
Discuss:
DEV
ฮป
Lambda Formalization
Automated Patient Stratification via Multi-Modal Data Fusion and Reinforcement Learning
dev.to
ยท
1d
ยท
Discuss:
DEV
๐ง
Machine Learning
Rationalizing Transformer Predictions via End-To-End Differentiable Self-Training
arxiv.org
ยท
1d
๐ณ
Context free grammars
Dynamic Risk Calibration via Multi-Modal Decentralized Oracle Fusion for DeFi Stability
dev.to
ยท
18h
ยท
Discuss:
DEV
๐ค
Distributed Consensus
Token Trading Agent with Recall
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Proof Assistants
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.org
ยท
1d
๐
Computational Geometry
ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
arxiv.org
ยท
1d
๐
Fuzzing
The 4 Pillars of Successful LLMOps
thenewstack.io
ยท
20h
๐ป
Local LLMs
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org
ยท
1d
๐
Functional Compilers
Loading...
Loading more...
« Page 8
โข
Page 10 »