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
23124
posts in
924.2
ms
Ukrainian star to test
Olympic
rules with banned war tribute
helmet
the-independent.com
·
18m
⚖️
Legal Compliance
Craig
Fairbrass
Sequel ‘Villain 2’ Heads to
EFM
With Double Dutch (EXCLUSIVE)
variety.com
·
3m
🔱
plan 9
Listen
: Is the EU rolling back its
pesticide
rules?
euobserver.com
·
15m
⚖️
Legal Compliance
Jenna Webb’s dramatic 3-point play lifts Los
Gatos
over Los
Altos
mercurynews.com
·
27m
👑
Coq Tactics
Victory
RS
International Fund Q4 2025 Commentary (
GUBGX
)
seekingalpha.com
·
17m
💰
Archive Economics
Who will be the next
Nottingham
Forest manager? Five names in the frame to replace Sean
Dyche
the-independent.com
·
29m
📋
records management
Cizeron
cools
talk of Olympic ice dancing title defence at 2030 Games in France
rfi.fr
·
5m
⏰
Time Crystals
Incident
with
Codespaces
githubstatus.com
·
3m
🔓
Decompilation
Claude just made its most powerful tools free — from file
creation
to app
integration
, all without ads
techradar.com
·
10m
🚀
Indie Hacking
AI Agents: Can
Logic
and Search Really Scale?
dev.to
·
5d
·
Discuss:
DEV
🔮
Proof Search
Function
Calling & Tool
Schemas
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
On the Expressive Power of
GNNs
for Boolean
Satisfiability
arxiv.org
·
2d
🧮
Constraint SMT
Decomposing
Reasoning
Efficiency
in Large Language Models
arxiv.org
·
1d
🔗
Parser Combinators
E2E
encrypted sync for macOS app
configs
and dotfiles
configmesh.app
·
19m
·
Discuss:
Hacker News
🔐
Archive Encryption
Seedance
2.0
seed.bytedance.com
·
15m
·
Discuss:
Hacker News
🧬
Bitstream Evolution
Oatmeal
-
Constraint
propagation for fun
eli.li
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧮
Z3 Solver
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
4d
·
Discuss:
Hacker News
,
r/programming
⚡
Effectful Programming
Controlled
Cot
: A
SystemLevel
Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com
·
5d
·
Discuss:
Substack
📏
Linear Logic
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