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
22966
posts in
563.7
ms
Tourists are fueling
exploitative
working conditions by
demanding
cheap holidays, warns new research
phys.org
·
4m
⛏️
Grammar Mining
Spitzke
orders 10
Plasser
maintenance machines
railjournal.com
·
19m
🇩🇪
German Computing
Scientists uncover Iron Age origins of Vietnamese
tooth
blackening
practices
phys.org
·
16m
💧
Manuscript Watermarks
AI could
wipe
out most
white-collar
jobs within 12 months, Microsoft AI chief warns
techspot.com
·
15m
🤖
AI Translation
Epic Games brings Secure Boot and
TPM
to competitive Fortnite — most players
unaffected
by new measures
tomshardware.com
·
10m
🔒
Hardware Attestation
Dawson
's Creek: The 90s teen drama that 'wore its heart on its
sleeve
'
bbc.com
·
28m
🏺
Gaming Archaeology
Scary Movie star
Jayne
Trcka
’s cause of death revealed
the-independent.com
·
22m
🏺
Gaming Archaeology
Nebius
Group Earnings: Ignore The Noise, This Stock's A Winner (NASDAQ:
NBIS
)
seekingalpha.com
·
16m
🔤
EBCDIC Mining
Minneapolis immigration
enforcement
operation to '
conclude
', officials say
bbc.com
·
8m
🛠
System administration
Estée
Lauder
sues Walmart over alleged counterfeit beauty products sold to shoppers
the-independent.com
·
8m
🔬
Floppy imaging
Neumora
Therapeutics, Inc. (
NMRA
) Presents at Guggenheim Securities Emerging Outlook: Biotech Summit 2026 - Slideshow (NASDAQ:
NMRA
) 2026-02-12
seekingalpha.com
·
14m
🤖
Advanced OCR
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
4d
·
Discuss:
DEV
⚔️
Lean Tactics
Yet Another Set of Claude Code
Plugins
(But
Maybe
Useful?)
dev.to
·
4d
·
Discuss:
DEV
⚡
Proof Automation
Decomposing
Reasoning
Efficiency
in Large Language Models
arxiv.org
·
1d
🔗
Parser Combinators
Distributed Hybrid
Parallelism
for Large Language Models:
Comparative
Study and System Design Guide
arxiv.org
·
1d
🚀
SIMD Text Processing
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
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