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
🔬 Logic in Computer Science
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23823
posts in
1.27
s
How China wants to create a ‘
Polar
Silk
Road’ through the Arctic
ft.com
·
39m
🧊
Arctic Storage
Chris Mason: Latest
vetting
row raises fresh concerns over Starmer's
judgement
bbc.com
·
39m
⚖️
Legal Compliance
Charter Hall Long
WALE
REIT (
CHLWF
) Q2 2026 Earnings Call Transcript
seekingalpha.com
·
28m
📋
PREMIS Events
Europe's growing
mistrust
of the United States
lemonde.fr
·
26m
🛡
Cybersecurity
A new era of
realism
for Japan
ft.com
·
41m
🇯🇵
Japanese Computing
Fastly
, Inc. (
FSLY
) Q4 2025 Earnings Call Transcript
seekingalpha.com
·
18m
🎙️
Whisper
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
5d
·
Discuss:
DEV
🌊
Streaming Algorithms
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
4d
·
Discuss:
DEV
⚔️
Lean Tactics
On the Expressive Power of
GNNs
for Boolean
Satisfiability
arxiv.org
·
1d
🧮
Constraint SMT
Some conditions
implying
if P=NP then P=
PSPACE
arxiv.org
·
22h
🎯
Performance Proofs
Merge
JPG Files Online Free -
Combine
JPG
pngtostl.xyz
·
33m
·
Discuss:
Hacker News
🖼️
JPEG XL
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
🔒
Type Safety
Why is everyone
talking
about
Section
230?
whatissection230.org
·
36m
·
Discuss:
Hacker News
🏠
Personal Archives
Show HN:
OctoStore
= Leader election as a service (single binary,
self-hostable
)
octostore.io
·
24m
·
Discuss:
Hacker News
📦
Container Security
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
4d
·
Discuss:
Hacker News
🔍
Concolic Testing
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
5d
·
Discuss:
Hacker News
🐚
Shell Monads
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
3d
·
Discuss:
Hacker News
🧮
Prolog Parsing
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
5d
·
Discuss:
Hacker News
🔮
Proof Search
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