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
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23150
posts in
1.68
s
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
⚡
CPU Microarchitecture
Dada
: moves and
mutation
smallcultfollowing.com
·
2d
🦀
Rust Macros
Four Seconds to Botnet - Analyzing a Self
Propagating
SSH Worm with
Cryptographically
Signed C2 [Guest Diary], (Wed, Feb 11th)
isc.sans.edu
·
3h
🏠
Homelab Pentesting
Functional
Optics
for Modern Java
blog.scottlogic.com
·
3d
💧
Liquid Types
Black-Box Kubernetes
Penetration
Testing
Playbook
infosecwriteups.com
·
15h
📦
Container Security
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
CReact
:
JSX
meta-execution engine v0.3.0
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
Domain
Specific
Languages
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
2d
🧪
Property-Based Testing
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
🎯
Performance Proofs
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
15h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Show HN: 0x – A language that
compiles
to React, Vue, and
Svelte
(80% less code)
0xlang.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
2d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
On the
Incoming
Slopocalypse
and the Death(?) of Open Source
llamaindex.ai
·
12h
·
Discuss:
Hacker News
🔓
Open Source Software
How Talking to a
Rubber
Duck
Made Me a Better Developer
talkflow.substack.com
·
9h
·
Discuss:
Substack
,
r/programming
🔍
Concolic Testing
Reducing Attack Surface for AI Agents with
Process-Scoped
Credentials
dreamiurg.net
·
11h
·
Discuss:
Hacker News
🛡️
CLI Security
Show HN: I built simple browser tools
bcoz
I'm
tired
of everything becoming SaaS
bitlist.io
·
13h
·
Discuss:
Hacker News
🔍
BitFunnel
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
What Your Claude Code Agents Don't Need to Be
Told
helderberto.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
« Page 9
•
Page 11 »
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