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
🔍 Static Analysis
Abstract Interpretation, Data Flow, Control Flow, Bug Detection
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81172
posts in
1.05
s
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
14h
🔍
Refinement Types
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
14h
🔎
Semantic Analysis
ESLint
Plugin
Perfectionist
perfectionist.dev
·
1d
🔍
Refinement Types
After many years in dev, I finally ditched the SPA default for
HTMX
. Here is the production
post-mortem
.
enriquebruzual.substack.com
·
3h
·
Discuss:
r/htmx
🔧
PLT
Rise of the
Cowboy
Coder
jollycoder.com
·
17h
·
Discuss:
Hacker News
💻
Claude
Fragments
: February 9
martinfowler.com
·
23h
🔍
Symbolic Execution
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
13h
·
Discuss:
Hacker News
📐
formal specification
How I Approach a System I Have Never Seen Before
dev.to
·
1d
·
Discuss:
DEV
🔎
Semantic Analysis
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
13h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
📐
formal specification
Testing software in the era of coding agents
garymm.org
·
1d
·
Discuss:
Hacker News
📐
formal specification
SectorC
: a C compiler in 512
bytes
blog.adafruit.com
·
20h
🔧
PLT
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🪜
Scala
Package-Inferred
Systems are Dangerous
aartaka.me
·
7h
🔍
Refinement Types
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
21h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Devlog
#04
spoocejuice.itch.io
·
8h
🔍
Symbolic Execution
Presentation: Are You Missing a Data Frame? The Power of Data
Frames
in
Java
infoq.com
·
1d
🪜
Scala
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
🪜
Scala
Migrational
Thinking
productengineered.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Why I Spent 5 Hours Finding a 20-Minute Fix: A Case for
Structured
Logging
nandishdave.world
·
11h
·
Discuss:
DEV
🔍
Refinement Types
Loading...
Loading more...
« Page 2
•
Page 4 »
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