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
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23685
posts in
726.5
ms
Seven of my
relatives
were killed in Gaza. For me,
Herzog
’s visit was never an abstract debate
theguardian.com
·
49m
⚖️
Archive Ethics
Russia tries to block WhatsApp,
Telegram
in communication
blockade
bleepingcomputer.com
·
50m
🔐
Soviet Cryptography
30+ Chrome
extensions
disguised
as AI chatbots steal users' API keys, emails, other sensitive data
theregister.com
·
48m
🎫
Kerberos Attacks
Trump
Repeals
the Government’s Power to
Regulate
Climate
nytimes.com
·
52m
📡
RSS
Project Hail Mary, Disclosure Day, & The Super Mario Galaxy Movie got new
trailers
at Super Bowl
LX
: Watch them all here (video)
space.com
·
47m
🏺
Gaming Archaeology
In Defense of
Rats
newyorker.com
·
47m
🧲
Magnetic Philosophy
OpenAI
sidesteps
Nvidia with
unusually
fast coding model on plate-sized chips
arstechnica.com
·
51m
🖥️
Terminal Renaissance
Atlético
Madrid put one foot in Copa del Rey final after first-half blitz
stuns
Barcelona
theguardian.com
·
56m
🎯
Proof Tactics
Arsenal miss chance to
restore
six-point lead in
Brentford
draw
bbc.com
·
56m
💻
Local first
Statistical
language R is making a
comeback
against Python
thenewstack.io
·
50m
🔄
Language Evolution
New ‘Legacy of
Kain
’ Game ‘
Ascendance
’ Set With Original Voice Cast Returning
variety.com
·
47m
🏺
Gaming Archaeology
Tater
tot recall expands to 650,000
pounds
sold in 28 states
the-independent.com
·
56m
💽
Floppy disks
Man wanted in connection with
rape
and murder of 5-year-old girl finally caught in
Honduras
after 25 years on the run
the-independent.com
·
37m
🛣️
BGP Hijacking
FASTIGHETS
AB BALDER ADR 2025 Q4 - Results - Earnings Call Presentation (OTCMKTS:
FSTGY
) 2026-02-12
seekingalpha.com
·
46m
✈️
Datasaab Archaeology
Exclusive: Hasbro’s Star Wars: The Vintage Collection reveal is
headlined
by an epic deluxe Mandalorian &
Grogu
figure that keeps the clan of two together
techradar.com
·
47m
📺
Retrogaming
Affirm: Inflection Point From 'Story Stock' To
GAAP
Profit Machine Is Here (NASDAQ:
AFRM
)
seekingalpha.com
·
36m
🔍
BitFunnel
LangGraph vs
CrewAI
vs
AutoGen
: The Complete Multi-Agent AI Orchestration Guide for 2026
dev.to
·
6d
·
Discuss:
DEV
⚡
Proof Automation
How I Built My Project in
Haskell
dev.to
·
4d
·
Discuss:
DEV
🔗
Functional Compilers
Protecting
Context and Prompts:
Deterministic
Security for
Non-Deterministic
AI
arxiv.org
·
18h
🔒
Language-based security
ACE-RTL
: When Agentic Context Evolution Meets
RTL-Specialized
LLMs
arxiv.org
·
18h
⚙️
TLA+
Loading...
Loading more...
« Page 13
•
Page 15 »
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