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
23901
posts in
625.8
ms
San
Francisco
Bumps
Film and TV Tax Credit
hollywoodreporter.com
·
16m
📦
Digital Cinema Package
The
RMR
Group Inc. 2026 Q1 - Results - Earnings Call
Presentation
(NASDAQ:
RMR
) 2026-02-11
seekingalpha.com
·
17m
⚡
HTMX
‘Diablo 2’ Gets First Major Update in 25 Years With ‘Reign of the
Warlock
’ Starring Rahul
Kohli
variety.com
·
19m
🏺
Gaming Archaeology
Biotricity
, Inc. (
BTCY
) Q3 2026 Earnings Call Transcript
seekingalpha.com
·
15m
🌊
Apache Kafka
AI is
helping
solo business owners work faster, think bigger, and
stress
less
businessinsider.com
·
21m
🧠
Intelligence Compression
Nation-State Actors
Exploit
Notepad
++ Supply Chain
unit42.paloaltonetworks.com
·
18m
🛡️
eBPF Security
Critic’s Appreciation: James Van Der Beek Will Be Remembered for ‘Dawson’s Creek,’ but His Best Work Was Far
Funnier
and
Odder
hollywoodreporter.com
·
19m
🔍
BitFunnel
5 takeaways from Pam Bondi’s
fiery
testimony
mercurynews.com
·
16m
⚖️
Digital Evidence
Goodbye, Dawson: James Van Der
Beek
was a generation’s
soulmate
the-independent.com
·
18m
⚙️
ABNF Mining
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
4d
·
Discuss:
DEV
⚔️
Lean Tactics
We had 20 Claude
terminals
open. So we built an
orchestration
layer.
dev.to
·
4d
·
Discuss:
DEV
🖥️
Modern Terminals
Some conditions
implying
if P=NP then P=
PSPACE
arxiv.org
·
18h
🎯
Performance Proofs
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
1d
🦀
Rust Verification
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Prove
_it – Force Claude to
verify
its work
github.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
6d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Ruhal-Doshi/hld-bench
: Open-source benchmark evaluating LLMs on high-level system design
github.com
·
3d
·
Discuss:
Hacker News
🔍
FPGA Verification
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
2d
·
Discuss:
Hacker News
🔗
Functional Compilers
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Loading...
Loading more...
« Page 6
•
Page 8 »
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