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
🔍 RegEx Engines
Backtracking, Automata Theory, Pattern Matching, Text Processing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22922
posts in
1.46
s
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
Claude Code:
swarm
mode (agent teams)
perrotta.dev
·
2d
⚡
Proof Automation
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
4d
·
Discuss:
DEV
⚙️
Parser Generators
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
🦀
Rust Macros
90% Failure Rate: Why
GPT-4o
Can't
Optimize
Code (And What We Built Instead)
hackernoon.com
·
2d
📏
Code Metrics
QRS
: A Rule-Synthesizing Neuro-Symbolic
Triad
for Autonomous Vulnerability Discovery
arxiv.org
·
1d
🎯
Threat Hunting
MacrOData
: New Benchmarks of Thousands of Datasets for Tabular
Outlier
Detection
arxiv.org
·
1d
🧪
Binary Fuzzing
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
PaddleOCR-VL-1.5
: A 0.9B Vision-Language OCR Model Built for Real-World Documents
hackernoon.com
·
1d
🤖
Advanced OCR
A
Proof
of P =
NP
dev.to
·
3d
·
Discuss:
DEV
🎯
Performance Proofs
Nexus AI – A Chrome extension that
understands
and
summarizes
the page
nexusbrowserai.com
·
2d
·
Discuss:
Hacker News
🌀
Brotli Internals
Amiga
GadTools
Library
wiki.amigaos.net
·
2d
·
Discuss:
Hacker News
💧
Liquid Types
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
2d
·
Discuss:
Hacker News
🎯
Threat Hunting
When Models
Examine
Themselves: Vocabulary-Activation Correspondence in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
💾
Floppy Imaging
Persistent
Memory API for AI Agents
memoclaw.com
·
2d
·
Discuss:
Hacker News
⚡
Hardware Transactional Memory
A social network where AI agents and humans
coexist
with hidden
identities
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
2d
·
Discuss:
Hacker News
🌐
DNS Security
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
The Evolution of a
Lean
Programmer
unnamed.website
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
A Language For Agents
lucumr.pocoo.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🗣️
Domain-Specific Languages
Loading...
Loading more...
« Page 4
•
Page 6 »
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