Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Theorem Proving
Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23865
posts in
1.11
s
James Van Der
Beek
, star of '
Dawson
's Creek,' dies at 48
japantimes.co.jp
·
24m
⏱️
SMPTE Timecode
Nurses
at 4 N.Y.C.
Hospitals
Vote to End Strike, but It Continues at One
nytimes.com
·
16m
📄
Document Digitization
Koreans are
shunning
dangerous shipbuilding jobs
envied
by Trump
japantimes.co.jp
·
30m
🔐
Systems Hardening
'It is much more than showing pictures of animals. It is about
evoking
emotion' — how these stunning photos of rare
Iberian
Lynx converted a hunter into a photo...
techradar.com
·
29m
🗜️
LZW Variants
Children caught with
knives
to be
referred
to government intervention plan
the-independent.com
·
25m
🛡
Cybersecurity
Srsly
Risky Biz: Microsoft's
Forgoes
Its Secure Future
news.risky.biz
·
31m
🔓
Hacking
Neurocrine
Biosciences, Inc. (
NBIX
) Q4 2025 Earnings Call Transcript
seekingalpha.com
·
14m
🏢
IBM Mainframes
Announcing
crun
notes.billmill.org
·
25m
🔗
Concatenative Programming
Keir Starmer faces fresh questions over
judgment
after Lord
Doyle
controversy
the-independent.com
·
41m
📋
records management
Disney just
shut
down AI image
prompts
for its characters — and it might mark the end of the Wild West era of AI image creation
techradar.com
·
29m
🗜️
LZW Variants
Oatly
Group AB (
OTLY
) Q4 2025 Earnings Call Transcript
seekingalpha.com
·
14m
✅
Format Verification
'The Washington Post became the
collateral
damage
ofJeff
Bezos's choice to forge the strongest possible ties with Trump'
lemonde.fr
·
36m
🖋
Typography
Zero-Latency
Local AI:
Tuning
Your Linux Kernel for LLM Inference 🐧🧠
dev.to
·
4d
·
Discuss:
DEV
💻
Local LLMs
Function
Calling & Tool
Schemas
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Some conditions
implying
if P=NP then P=
PSPACE
arxiv.org
·
20h
🎯
Performance Proofs
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
20h
🎯
Performance Proofs
Something Small Is
Happening
myriadperspectives.com
·
8m
·
Discuss:
Hacker News
🔲
Cellular Automata
Show HN:
Implementing
an AI
Portfolio
Manager. With Learning
quantape.substack.com
·
24m
·
Discuss:
Substack
🧠
Learned Indexes
Lessons
from
Zig
vinniefalco.com
·
24m
·
Discuss:
Hacker News
💧
Liquid Types
20 Claude Code agents, one terminal: a
tmux
+
AppleScript
setup
pkarnal.com
·
7m
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
« Page 18
•
Page 20 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help