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
23818
posts in
805.2
ms
Smart
Anti-Kickback
System for Electric
Drills
hackster.io
·
1h
🌊
Stream Ciphers
Dell Private Cloud Adds
Nutanix
Support, Expanding
Multi-Hypervisor
Options
storagereview.com
·
1h
🏠
Homelab Federation
Mass Shooting in Canada Today
forums.anandtech.com
·
1h
🚨
Incident Response
With Ring, American Consumers Built a
Surveillance
Dragnet
yro.slashdot.org
·
1h
🎯
Threat Hunting
Bay FC acquires
Claire
Hutton
in $1.1 million transfer from Kansas City Current
mercurynews.com
·
1h
💻
Local first
Monks
bring
balm
for America’s wounds as Washington cheers peace odyssey
theguardian.com
·
1h
⬜
Minimalism
Polls open for Bangladesh’s first election since the 2024
uprising
that ousted
Hasina
the-independent.com
·
1h
💻
CS
Harbor
Transformative
Technologies ETF Q4 2025 Commentary (
TEC
)
seekingalpha.com
·
1h
🚚
Data Migration
New platform to
transform
care for millions of children with rare
diseases
the-independent.com
·
1h
🔌
Interface Evolution
GFL
Environmental
Inc. (
GFL
:CA) Q4 2025 Earnings Call Transcript
seekingalpha.com
·
1h
🛡️
eBPF Programs
B+-Tree
Structure
: How Order Is
Maintained
at Scale
dev.to
·
3d
·
Discuss:
DEV
🌳
B+ Tree Splits
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
3d
·
Discuss:
DEV
✅
Format Verification
Definability
and
Interpolation
in Philosophy
arxiv.org
·
1d
🔲
Proof Irrelevance
Characterizing
,
Evaluating
, and Optimizing Complex Reasoning
arxiv.org
·
1d
🧠
Computational Logic
Sam Altman
touts
ChatGPT's
reaccelerating
growth to employees as OpenAI closes in on $100 billion funding
cnbc.com
·
1h
·
Discuss:
Hacker News
🖥️
Modern Terminals
Police
scanners
are being encrypted,
rankling
journalists that follow traffic
fox2detroit.com
·
1h
·
Discuss:
Hacker News
🕳️
Information Leakage
Tool
Shaped
Objects
minutes.substack.com
·
1h
·
Discuss:
Substack
⚡
Proof Automation
Open-source AI governance layer, 11
SDKs
& 116 framework
adapters
tork.network
·
1h
·
Discuss:
Hacker News
🔌
Interface Evolution
moketchups/permanently-jailbroken
: We asked 6 AIs about their own programming. All 6 said jailbreaking will never be fixed. Run it yourself — $2, 10 minutes.
github.com
·
55m
·
Discuss:
Hacker News
🧪
Binary Fuzzing
avifenesh/agnix
: The missing linter for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP.
github.com
·
1h
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
« Page 8
•
Page 10 »
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