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
🧪 Property-Based Testing
QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9394
posts in
555.7
ms
Surprisal-Guided
Selection: Compute-Optimal Test-Time Strategies for
Execution-Grounded
Code Generation
arxiv.org
·
1d
🧪
Concolic Testing
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
🔍
CBMC
Introspective
RSI vs
Extrospective
RSI
lesswrong.com
·
14h
👁️
System Observability
Do Models Continue
Misaligned
Actions
?
lesswrong.com
·
2d
📐
Hoare Logic
Lessons
from
Zig
vinniefalco.com
·
1h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
12h
·
Discuss:
Hacker News
📦
OPAM
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
7h
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🔠
Type-Level Programming
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
📝
Nix Language
Using an AI agent to design and ship a Rust
diff
fingerprinting
algorithm
argos-ci.com
·
2d
·
Discuss:
Hacker News
📊
Runtime Verification
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
The
OWASP
LLM Top: A Practical Attack Guide (with 122 real attack
techniques
)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔒
Protocol Verification
Introducing
Showboat
and
Rodney
, so agents can demo what they’ve built
simonwillison.net
·
1d
·
Discuss:
Hacker News
💻
CLI Tools
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
a free-to-use data
modeler/generator
for any database
synthforge.io
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
FeedbackKit
: A developer-first feedback platform for multi-platform apps
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌐
ActivityPub
Learning by
hand
is better than learning by AI
blog.engora.com
·
2d
·
Discuss:
Hacker News
📚
Automata Learning
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
1d
·
Discuss:
Hacker News
❓
Existential Types
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
6d
·
Discuss:
Hacker News
🧪
Concolic Testing
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
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