๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Coq Tactics
Dependent Types, Proof Development, Ltac Programming, Mathematical Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
ASP.NET Core 9 Essentials โข Albert Tanure & Rafael Herik de Carvalho โข GOTO 2025
youtube.com
ยท
1d
๐
WASI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
ยท
7h
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com
ยท
6h
ยท
Discuss:
Hacker News
๐
Linear Algebra
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai
ยท
10h
ยท
Discuss:
Hacker News
๐ฏ
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to
ยท
1h
ยท
Discuss:
DEV
โ๏ธ
Proof Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org
ยท
2d
ยท
Discuss:
Hacker News
๐
Language-based security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting a Hypergraph of Functions to a Browser
systeminit.com
ยท
1d
ยท
Discuss:
Hacker News
๐
E-graphs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SAT problems are kind of cool
blog.karanjanthe.me
ยท
2d
ยท
Discuss:
Hacker News
๐งฎ
SMT Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
ยท
1d
ยท
Discuss:
Hacker News
ฮป
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org
ยท
19h
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
ยท
9h
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Proof of the Riemann Hypothesis
dev.to
ยท
1d
ยท
Discuss:
DEV
โ๏ธ
Lean Theorem
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Bit Shift Paradox: How "Optimizing" Can Make Code 6ร Slower
hackernoon.com
ยท
2d
๐งฎ
Compute Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Intro to RL: Off-Policy Methods
neelsomaniblog.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Library Method: Understanding @cache
dev.to
ยท
22h
ยท
Discuss:
DEV
โก
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
ยท
1d
ยท
Discuss:
Hacker News
๐งฌ
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
ยท
19h
๐
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
2025-10-10 # LLMs Are Transpilers
alloc.dev
ยท
23h
ยท
Discuss:
Hacker News
๐
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org
ยท
19h
๐ผ
Cassette Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Less Is More: Recursive Reasoning with Tiny Networks
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Quantization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 1
โข
Page 3 »