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
📐 formal specification
tla+, p-lang, property-based testing, simulations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121565
posts in
2.14
s
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
21h
🔍
Static Analysis
Custom
RSpec
Matchers
Give Tests Superpowers
blog.ty-porter.dev
·
13h
🪜
Scala
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
1d
🔍
Symbolic Execution
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
2d
·
Discuss:
Hacker News
🔍
Refinement Types
wordchipper
- my next-gen LLM tokenizer; looking for
LTR
release help
docs.rs
·
2d
·
Discuss:
r/rust
🔎
Semantic Analysis
Measure
Twice
, Prompt Once
ignasibosch.com
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
an early-stage
experimental
programming
language
solnix-lang.org
·
4d
·
Discuss:
DEV
,
Hacker News
🪜
Scala
The Agents Are Here and They Want to
Transact
:
Powering
the AI Economy with Lightning
lightning.engineering
·
15h
🔍
Symbolic Execution
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🔍
Symbolic Execution
When the Matrix Breaks: Failure
Modes
of Early
Matching
Systems
linkedin.com
·
17h
·
Discuss:
DEV
🔍
Symbolic Execution
Maintaining
Skills During the AI
Advent
saadnaveed.com
·
8h
·
Discuss:
Hacker News
🔍
Symbolic Execution
Code is dying.... but not because AI
writes
it- because LLMs
simply
won't need it!
threadreaderapp.com
·
13h
🔍
Static Analysis
CasDoc
: Intelligent
spec
workspace for builders
producthunt.com
·
2d
🔍
Symbolic Execution
Harness
engineering: leveraging
Codex
in an agent-first world
openai.com
·
22h
·
Discuss:
Hacker News
,
r/programming
🔍
Static Analysis
Agentic AI: Design
reliable
workflows
across the hybrid cloud
developers.redhat.com
·
1d
🔄
Concurrency Models
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔍
Static Analysis
E2E
Tests: The Full
Stack
Check
dev.to
·
11h
·
Discuss:
DEV
🔍
Static Analysis
A Senior
Engineer
’s Guide to Learning a New
Codebase
dustin.boston
·
1d
🔍
Static Analysis
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
2d
🔍
Refinement Types
Loading...
Loading more...
« Page 8
•
Page 10 »
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