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
🧮 Datalog Systems
Soufflé, Bottom-up Evaluation, Graph Queries, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22915
posts in
448.5
ms
Berlin Age-Gap Romance ‘Only Rebels Win’ Director on Working With ‘Succession’s’
Hiam
Abbas and the Film’s
Provocative
Aspects: ‘I Throw a Bomb and See People React to It’
variety.com
·
27m
🎭
Cinema Acoustics
Two rescued after being
swept
into ocean by strong rip current on
Monterey
County beach
mercurynews.com
·
28m
🏴☠️
Piracy
German Industry Welcomes Film Funding Boost, Investment Commitment For
Streamers
,
Broadcasters
variety.com
·
26m
🎥
Streaming Codecs
Fed up with self-help
gurus
? Try my
Hiccup
Method™ to revolutionise your life
theguardian.com
·
46m
📦
Deflate
This is how we do it: buy a Ryan
Gillett
fine art
print
theguardian.com
·
44m
🖋
Typography
Swiss
to vote on proposal by anti-immigration party to cap
population
at 10 million
the-independent.com
·
35m
🏢
Nordic Mainframes
Artisan
Value Fund Q4 2025
Commentary
seekingalpha.com
·
36m
💰
Archive Economics
Homan
announces that deadly ICE ‘surge’ in Minnesota will ‘
conclude
’ next week
the-independent.com
·
8m
⚙️
Swedish Assembly
Yaskawa Electric On The Rebound And Priced
Accordingly
(OTCMKTS:
YASKY
)
seekingalpha.com
·
27m
🔤
EBCDIC Mining
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
3d
·
Discuss:
DEV
⚔️
Lean Tactics
Yet Another Set of Claude Code
Plugins
(But
Maybe
Useful?)
dev.to
·
4d
·
Discuss:
DEV
⚡
Proof Automation
On A
Parameterized
Theory of Dynamic Logic for
Operationally-based
Programs
arxiv.org
·
1d
🧠
Program Logic
Computational
Explorations
on
Semifields
arxiv.org
·
1d
🌐
Computational Topology
Team
develops
smart synthetic material inspired by
octopus
skin
psu.edu
·
39m
·
Discuss:
Hacker News
✋
Tactile Computing
AI safety leader says 'world is in
peril
' and quits to study
poetry
bbc.co.uk
·
35m
·
Discuss:
Hacker News
🔓
Hacking
What
Bricks
a Nintendo Switch 2?
news.ycombinator.com
·
32m
·
Discuss:
Hacker News
🏺
Gaming Archaeology
I got
bored
and had Claude design and
implement
a programming language
github.com
·
2d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Show HN:
Symdex-100
– Intent-based code search using 20-byte "
Cypher
" metadata
github.com
·
2d
·
Discuss:
Hacker News
🔍
BitFunnel
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
2d
·
Discuss:
Hacker News
🧬
Functional Programming
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Loading...
Loading more...
« Page 15
•
Page 17 »
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