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
📐 Language Theory
Type Systems, Formal Methods, Lambda Calculus, Category Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7663
posts in
245.5
ms
France’s extremely
talented
and extremely controversial ice
dancers
, explained
vox.com
·
6h
🌐
Network Protocols
$600 million in Trump administration health cuts will hit California
HIV
programs
latimes.com
·
6h
🔱
plan 9
80386
barrel
shifter
osnews.com
·
6h
⚙️
Compilers
moulded
birch
plywood
bends and curves to shape wave dining chair
designboom.com
·
6h
🎨
Graphics Programming
Little Rock city board to vote on
extending
controversial
ShotSpotter
contract
arktimes.com
·
6h
🔱
plan 9
“The original
vi
is a product of its time (and its time has
passed
)”
osnews.com
·
6h
💾
vintage computing
STAT+: FDA refuses to review
Moderna
’s
influenza
vaccine
statnews.com
·
6h
📡
RSS
Arkansas Storm Team Blog:
ARDOT
salt usage in the latest winter storm from the AST
Thunder
fox16.com
·
6h
🔱
plan 9
Major League Baseball players, Hall of
Famers
set for Hot
Springs
Baseball Weekend
kark.com
·
6h
📡
RSS
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
·
3d
·
Discuss:
Hacker News
🧩
programming
Will Israel
annex
the
occupied
West Bank?
aljazeera.com
·
6h
🔱
plan 9
Nancy
Rousseau
,
longtime
principal of Little Rock Central High, announces retirement
arktimes.com
·
6h
🌐
Network Protocols
Co-founders
of Musk’s xAI join
exodus
from start-up’s tech team
ft.com
·
5h
⚙️
Compilers
State Police arrest three over
attempts
to deliver
contraband
to prison facilities
arkansasonline.com
·
6h
🔱
plan 9
How to Program
Computers
(
KOS
)
fall.tr
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compilers
California Man Sentenced to 4 Years for
Covert
Work on China’s
Behalf
nytimes.com
·
2h
🔱
plan 9
Gray
wolf
appears in Los Angeles county for first time in more than 100 years
theguardian.com
·
5h
📡
RSS
Rag &
Bone
Fall 2026
Ready-to-Wear
Collection
vogue.com
·
6h
🔱
plan 9
Rational
Transductors
arxiv.org
·
1d
🧩
programming
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
🧩
programming
Loading...
Loading more...
« Page 5
•
Page 7 »
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