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
⬌ Bidirectional Typing
Type Inference, Elaboration, Synthesis, Checking Modes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23126
posts in
431.5
ms
Warriors instant analysis:
Wembanyama
outduels
Green in final game before All-Star break
mercurynews.com
·
59m
✓
Automated Theorem Proving
EU leaders to
clash
over ‘Buy European’ push at
Belgium
summit
theguardian.com
·
38m
⚙️
Swedish Assembly
Teen gunman
shoots
principal dead in school
siege
in Thailand
the-independent.com
·
1h
🧬
PostgreSQL Forensics
Proving
Grounds
Linux Lab Image
infosecwriteups.com
·
1h
🏠
Homelab Pentesting
Canada’s strict gun laws include a ban on assault-style
firearms
and a freeze on
handgun
sales
the-independent.com
·
1h
⚖️
Digital Evidence
Youdao
, Inc. 2025 Q4 - Results - Earnings Call Presentation (NYSE:
DAO
) 2026-02-12
seekingalpha.com
·
1h
📺
yt-dlp
Building a Virtual
Ethical
Hacking Home Lab — Part 6: System
Exploitation
infosecwriteups.com
·
1h
🏠
Homelab Pentesting
Impax
Ellevate
Global Women's Leadership Fund Q4 2025 Commentary
seekingalpha.com
·
1h
🏛️
PREMIS Metadata
Top 5 Programming
Languages
Dominating
2026
dev.to
·
4d
·
Discuss:
DEV
🔩
Systems Programming
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
5d
·
Discuss:
DEV
🌊
Streaming Algorithms
Automata
on Graph
Alphabets
arxiv.org
·
1d
⚙️
Syntactic Monoids
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
2d
📏
Code Metrics
The Farm That 600 Million IP
Addresses
Called Home • Library •
Connected
connected.app
·
59m
·
Discuss:
Hacker News
📡
DNS Archaeology
Compile
and Run Your First Program
emojicode.org
·
5d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Software Is User Action
software-action.hyperclay.com
·
51m
·
Discuss:
Hacker News
🔐
Capability Systems
Separation
of Concerns: You're Cutting
Along
the Wrong Line
inferal.com
·
58m
·
Discuss:
Hacker News
🏺
Database Archaeology
Tiny
C
Compiler
bellard.org
·
4d
·
Discuss:
Hacker News
🚀
Compiler Optimizations
A small binary and skills
repo
that lets any LLM call
arbitrary
APIs
github.com
·
2d
·
Discuss:
Hacker News
🔌
Archive APIs
Eshaancoding/ad
:
Autodiff
created in Python. Full ahead-of-time compiler. Reduces to ~12 simple operations. Multiple IRs (Graph IR --> Procedural IR). Kernel Fusion, Memory/Computation Optimization
github.com
·
2d
·
Discuss:
Hacker News
🚀
SIMD Text Processing
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
14h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Loading...
Loading more...
« Page 20
•
Page 22 »
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