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
🔍 CBMC
Bounded Model Checking, C Verification, SAT Solving, Bug Finding
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9169
posts in
133.3
ms
Consistency
Meets
Verification
: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
arxiv.org
·
16h
🧪
Property-Based Testing
Implementation of Polynomial
NP-Complete
Algorithms Based on the
NP
Verifier
Simulation Framework
arxiv.org
·
16h
⏱️
Computational Complexity
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
1h
✓
Automated Theorem Proving
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
📝
Nix Language
Allocators
from C to
Zig
antonz.org
·
9h
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
Formal
Methods
Practice and Theory
adacore.com
·
2d
·
Discuss:
Hacker News
🔍
Formal Verification
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
8h
·
Discuss:
Hacker News
🧮
Z3 Solver
Stress-Testing Alignment
Audits
With Prompt-Level Strategic
Deception
lesswrong.com
·
2d
🎮
Verification Games
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
3d
·
Discuss:
Hacker News
🧩
Parser Combinators
The
Observer
Lemma
zenodo.org
·
21h
·
Discuss:
Hacker News
👁️
Observability
Dear
Agent:
Prove
it.
rijnard.com
·
17h
·
Discuss:
Hacker News
🔍
Formal Verification
Training A Small Language Model To
Outperform
Frontier Models On
CRM-Arena
neurometric.substack.com
·
9h
·
Discuss:
Substack
🔀
Brzozowski Derivatives
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
6h
·
Discuss:
Hacker News
⏱️
Computational Complexity
The
Redundancy
Paradox
mihirdeshpande.com
·
4h
·
Discuss:
Hacker News
👁️
System Observability
TileIR
ianbarber.blog
·
17h
·
Discuss:
Hacker News
🔧
Unikernel Development
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
1d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
1d
·
Discuss:
Hacker News
📦
OPAM
Show HN:
Fighting
the War Against
Expensive
Reinforcement Learning
cadenza-landing-qtu7gbjwb-akshparekh123-3457s-projects.vercel.app
·
13h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
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