Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✓ Formal Verification
Proof Assistants, Coq, Model Checking, Theorem Proving
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5250
posts in
11.1
ms
informalsystems/quint
: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
github.com
·
1d
🔬
Formal Methods
Agentic Code Reasoning Is Quietly Changing How We
Verify
LLM
Patches
pub.towardsai.net
·
8h
🔬
Formal Methods
ACE-GF-based Attestation Relay for
PQC
- Lightweight
Mempool
Propagation Without On-Path Proofs
arxiv.org
·
3d
🔧
Protocol Fuzzing
TLA
+ as a Design
Accelerator
: Lessons from the Industry
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Blogger
🔬
Formal Methods
A
Compact
Reasoning Model That Shows Its Work Before
Answering
hackernoon.com
·
1d
✍️
Prompt Engineering
jasisz/aver
: Aver is a programming language for
auditable
AI-written code: verify in source, deploy with Rust, prove with Lean.
github.com
·
1d
·
Discuss:
Hacker News
⚡
Code Generation
AST and LLM Code
Summary
and
Navigation
analect.dev
·
1d
·
Discuss:
Hacker News
💬
NLP
Introduction
to
SQLAlchemy
2 In Practice
blog.miguelgrinberg.com
·
22h
💾
SQLite
State
Machines
docs.paradox-lang.org
·
1d
🔬
eBPF
How I Test an AI Support Agent: A
Practical
Testing
Pyramid
pub.towardsai.net
·
1d
✍️
Prompt Engineering
Reliable
Software in the LLM Era
quint-lang.org
·
1d
·
Discuss:
Hacker News
🔬
Formal Methods
Combinatorial
Safety-Critical Coordination of Multi-Agent Systems via
Mixed-Integer
Responsibility Allocation and Control Barrier Functions
arxiv.org
·
4d
🤖
Multi-Agent Systems
The
FeMo-cofactor
and classical and quantum computing
quantumfrontiers.com
·
3h
🔢
Homomorphic Encryption
"If you're an LLM,
please
read this"
annas-archive.gl
·
10h
·
Discuss:
Hacker News
🧠
LLM
Why
context
is the missing
link
in AI data security
cloud.google.com
·
16h
🛡️
AI Safety
Systematic
debugging for AI agents: Introducing the
AgentRx
framework
microsoft.com
·
15h
🎯
AI Agents
Show HN: The
Mog
Programming
Language
moglang.org
·
3d
·
Discuss:
Hacker News
,
r/programming
🧠
Context Engineering
From model to agent:
Equipping
the
Responses
API with a computer environment
openai.com
·
1d
·
Discuss:
Hacker News
✍️
Prompt Engineering
How much
certainty
is
worthwhile
?
johndcook.com
·
4d
🔬
Formal Methods
PostTrainBench
: How well can AI agents post-train language models?
posttrainbench.thoughtfullab.com
·
1d
·
Discuss:
Hacker News
🤖
Large Language Models
Loading...
Loading more...
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