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
🧮 Theorem Provers
SMT Solvers, Z3, Automated Reasoning, Formal Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
114969
posts in
2.09
s
Uncovering
Hidden
Informations
whiteravendev.itch.io
·
2d
🔍
Execution Tracing
6 tiny programs I use to
solve
annoying
problems
xda-developers.com
·
1d
📦
Executable Size
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
31-year old
VT220
terminfo
curses bug
lists.gnu.org
·
2d
·
Discuss:
Hacker News
💬
Error Messages
LLMs are Getting a Lot Better and Faster at
Finding
and
Exploiting
Zero-Days
schneier.com
·
1d
🧠
Memory Ordering
On the Use of
Atkin
and Weber Modular Polynomials in
Isogeny
Proofs of Knowledge
eprint.iacr.org
·
5d
🧮
Combinator Calculus
Claude
Opus
4.6 as an
Observability
Co-pilot
parseable.com
·
1d
·
Discuss:
r/ClaudeAI
⚡
Incremental Parsing
7 Python
EDA
Tricks
to Find and Fix Data Issues
kdnuggets.com
·
1d
🔢
Algebraic Datatypes
A Language For Agents
lucumr.pocoo.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🎨
Domain-Specific Languages
[
POG-Task
] When AI Starts
Acting
, Prompt Governance Is Not Enough
enjtorian.github.io
·
2d
·
Discuss:
DEV
💬
Interactive REPLs
AI ‘brain’ Mapping Reveals How Language Models Store And
Recall
Facts
quantumzeitgeist.com
·
1d
🗺️
Region Inference
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🎭
Program Synthesis
The Death of the “Everything Prompt”: Google’s Move
Toward
Structured
AI
towardsdatascience.com
·
1d
🎮
Language Ergonomics
Q&A with
mathematicians
behind the "First Proof" experiment, which tests AI's mathematical competence on questions drawn from the authors'
unpublished
research ...
techmeme.com
·
2d
📏
Linear Memory
The
Lazy
Builder
’s Complexity Lesson
artima.com
·
3d
🌳
Tree Walking
Claude Code:
swarm
mode (agent teams)
perrotta.dev
·
1d
🔄
Incremental Lexing
Performance
Tip
of the Week #93: Robots never
sleep
abseil.io
·
3d
🏰
Capability Machines
Integrating
human
logic
to enhance AI models
technology.org
·
2d
🎭
Program Synthesis
Mastering
Authentication
in MCP: An AI Engineer’s Comprehensive Guide
pub.towardsai.net
·
1d
🔗
Hash Functions
Bun
v1.3.9
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
⚡
Interpreter Optimization
Loading...
Loading more...
« Page 13
•
Page 15 »
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