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
8122
posts in
95.0
ms
Consistency
Meets
Verification
: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
arxiv.org
·
1d
🧪
Property-Based Testing
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
2d
·
Discuss:
r/programming
🔢
Algebraic Data Types
Why Agentic Theorem
Prover
Works: A Statistical
Provability
Theory of Mathematical Reasoning Models
arxiv.org
·
1d
🧠
Automated Reasoning
models have some pretty
funny
attractor
states
lesswrong.com
·
16h
🔲
Cellular Automata
(Re)
Discovering
Natural
Laws
lesswrong.com
·
16h
🎯
Hindley-Milner
Allocators
from C to
Zig
antonz.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🏃
Escape Analysis
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
1d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
22h
·
Discuss:
Hacker News
⏱️
Computational Complexity
Training A Small Language Model To
Outperform
Frontier Models On
CRM-Arena
neurometric.substack.com
·
1d
·
Discuss:
Substack
🔀
Brzozowski Derivatives
Lines of
Markdown
, a Claude Code
Sensation
tildeweb.nl
·
1d
·
Discuss:
Hacker News
🔧
ppx
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
2d
·
Discuss:
Hacker News
📦
OPAM
six
thoughts
on
generating
c
wingolog.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
TileIR
ianbarber.blog
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Cyber
Model
Arena
wiz.io
·
21h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
PL Implementation
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
1d
·
Discuss:
Hacker News
,
r/rust
🛡️
seL4
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Sign up or log in to see more results
Sign Up
Login
« Page 2
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