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
📊 Algorithm Analysis
Correctness Proofs, Invariants, Termination, Recurrence Relations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122377
posts in
520.0
ms
🔗 Explainer:
Tree-sitter
vs.
LSP
yellowduck.be
·
11h
⏱️
Computational Complexity
Rust
Standard
Library Challenges
rustfinity.com
·
1d
·
Discuss:
r/rust
💣
Binary Exploitation
The
Observer
Lemma
zenodo.org
·
20h
·
Discuss:
Hacker News
🔢
mathmemathics
Real-time
codebase
health
dashboard
with AI-powered fixing (Go)
drift.marquis.codes
·
5h
·
Discuss:
Hacker News
🔬
Static Analysis
Usage of Mixed Integer Linear Programming in
Cryptanalysis
of Block
Ciphers
eprint.iacr.org
·
1d
λ
Functional Programming
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
10h
·
Discuss:
Hacker News
,
r/programming
💻
programming
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
2d
·
Discuss:
Hacker News
📈
Optimization
What AI Security Research Looks Like When It Works
aisle.com
·
2d
💣
Binary Exploitation
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
Separation
of Concerns: You're Cutting
Along
the Wrong Line
inferal.com
·
15h
·
Discuss:
Hacker News
🏗️
Design Patterns
Measure
Twice
, Prompt Once
ignasibosch.com
·
1d
·
Discuss:
DEV
λ
Functional Programming
Lines of
Markdown
, a Claude Code
Sensation
tildeweb.nl
·
13h
·
Discuss:
Hacker News
🔬
Static Analysis
Quick
Stack
Tiedown
artlu.bearblog.dev
·
1d
💻
programming
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
2d
💣
Binary Exploitation
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
2d
🔬
Static Analysis
AI Code Review Is Great at
Nitpicks
,
Terrible
at Systems
hackernoon.com
·
15h
💻
programming
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
12h
·
Discuss:
DEV
λ
Functional Programming
Basic
Legibility
Protocols
Improve Trusted Monitoring
lesswrong.com
·
2h
💣
Binary Exploitation
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
LoganFlaherty/banish
: A repo for the
Banish
, a Rust embedded DSL that simplifies state machines and rule-based logic.
github.com
·
6h
·
Discuss:
r/rust
λ
Functional Programming
Loading...
Loading more...
« Page 7
•
Page 9 »
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