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
9048
posts in
107.2
ms
Bounded
Modal
Logic
arxiv.org
·
1d
⏳
LTL
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
21h
🔢
Computability Theory
Deferred
member
initialization
in C++
sandordargo.com
·
2d
·
Discuss:
Lobsters
📝
Nix Language
(Re)
Discovering
Natural
Laws
lesswrong.com
·
4h
🎯
Hindley-Milner
[Paper] How does information access affect LLM
monitors
' ability to detect
sabotage
?
lesswrong.com
·
1d
📊
Runtime Verification
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
1d
·
Discuss:
Hacker News
📊
Runtime Verification
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Large Language Models for
Mortals
book released
crimede-coder.com
·
2d
·
Discuss:
Hacker News
🎯
Hindley-Milner
AI-DLC
Solves
the Wrong
Bottleneck
wakamoleguy.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
1d
·
Discuss:
Hacker News
🏠
HomeLab
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
4d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Programming
Aphorisms
matklad.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧮
Z3
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
1d
·
Discuss:
Hacker News
📐
Linear Algebra
Human Review Is the
Bottleneck
satyaborg.com
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Harness
engineering: leveraging
Codex
in an agent-first world
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔧
DevOps
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
AI agent
sandboxing
in 2026: how to choose between primitives,
runtimes
, and platforms
manveerc.substack.com
·
1d
·
Discuss:
Substack
⚙️
Operating System Design
The Solution to Prompt Injection: Mapping
SSL/TLS
Trust Architecture onto LLMs [pdf]
solvingpromptinjection.com
·
23h
·
Discuss:
Hacker News
🌐
NetworkProtocols
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