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
83178
posts in
1.84
s
Does Programming Language Matter? An
Empirical
Study of
Fuzzing
Bug Detection
arxiv.org
·
22h
🔎
Semantic Analysis
StatLLM
: A Dataset for Evaluating the Performance of Large Language Models in
Statistical
Analysis
nature.com
·
15h
🔧
PLT
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
13h
·
Discuss:
Hacker News
🔍
Refinement Types
Testing can be
fun
, actually
giacomocavalieri.me
·
12h
·
Discuss:
Hacker News
📐
formal specification
Private Data Space Model
privatedata.space
·
1d
🪜
Scala
The
Instantiation
Era -
Log
nibzard.com
·
1d
🔍
Symbolic Execution
Easy 6502 by
skilldrick
skilldrick.github.io
·
1d
🔎
Semantic Analysis
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
10h
·
Discuss:
r/golang
🔎
Semantic Analysis
PanelBench
: We
evaluated
Cursor's Visual Editor on 89 test cases. 43 fail
tryinspector.com
·
13m
·
Discuss:
Hacker News
📐
formal specification
Type
Variance
en.wikipedia.org
·
18h
·
Discuss:
Hacker News
🔧
PLT
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
13h
·
Discuss:
Hacker News
📐
formal specification
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
1d
·
Discuss:
r/golang
🔎
Semantic Analysis
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🪜
Scala
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
1d
·
Discuss:
Hacker News
🔧
PLT
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
22h
📐
formal specification
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔍
Refinement Types
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
12h
📐
formal specification
C Isn't A
Programming
Language
Anymore
faultlore.com
·
1d
·
Discuss:
Hacker News
🐫
Ocaml
How to
effectively
write
quality code with AI
heidenstedt.org
·
10h
·
Discuss:
Hacker News
📐
formal specification
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔍
Symbolic Execution
Loading...
Loading more...
« Page 1
•
Page 3 »
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