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
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24236
posts in
1.53
s
Dada
: moves and
mutation
smallcultfollowing.com
·
1d
🦀
Rust Macros
IDA
Plugin
Updates on 2026-02-08
williballenthin.com
·
3d
🌳
Incremental Parsing
Week 06
thisweekin4n6.com
·
2d
📟
Terminal Forensics
Differential
Logic
• 3
inquiryintoinquiry.com
·
3d
⚡
Circuit Design
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
1d
⚡
Hardware Transactional Memory
7 Free AI Tools Every
Freelancer
Needs in 2026
dev.to
·
2d
·
Discuss:
DEV
📡
RSS Automation
The Real Power of AI,
Automation
, and Content
dev.to
·
3d
·
Discuss:
DEV
🤖
AI Curation
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
1d
📝
Text Embeddings
How I Use
ActivitySmith
While
Deploying
ActivitySmith
activitysmith.com
·
19h
·
Discuss:
Hacker News
⚔️
Lean Tactics
Adwetysu6tryth
glot.io
·
1d
·
Discuss:
Hacker News
✅
Format Verification
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
1d
·
Discuss:
Hacker News
🗜️
LZSS Variants
Show HN:
Mojic
– A C code
obfuscator
and encryption tool for source protection
amit.is-a.dev
·
2d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Let's Build a Simple
Database
cstack.github.io
·
17h
·
Discuss:
Hacker News
🗄️
Database Internals
Making
Waffles
with Group
Theory
hmpcabral.com
·
1d
·
Discuss:
Hacker News
🔄
Graph Rewriting
GitHub
Agentic
Workflows
github.github.io
·
2d
·
Discuss:
Hacker News
📦
Git LFS
Show HN:
Molinar
– Open-source alternative to ai.com (
AGPL-3.0
)
business.molinar.ai
·
2d
·
Discuss:
Hacker News
🌀
Brotli Internals
Desktop
Client
for Building and Sharing MCP Apps Within
Orgs
creature.run
·
13h
·
Discuss:
Hacker News
🖥️
Modern Terminals
[
AINews
] "Sci-Fi with a touch of
Madness
"
latent.space
·
1d
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
How Does
Truffle
Taste
? Strategic Lessons for Introducing Agentic Engineering
robert-glaser.de
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Loading...
Loading more...
« Page 18
•
Page 20 »
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