Skip to main content
Scour
Browse
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
✓ Formal Verification
Proof Assistants, Coq, Model Checking, Theorem Proving
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80582
posts in
412.0
ms
STELLAR: Structure-guided LLM
Assertion
Retrieval and Generation for
Formal
Verification
arxiv.org
·
5h
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel framework for automated
categorical
data integrity verification leveraging higher-order
categorical
logic (
HOLC
) ...
freederia.com
·
7h
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Combining
Tests and
Proofs
for Better Software Verification
arxiv.org
·
3d
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Formal
Verification of Safety
Constraints
in Autonomous Reinforcement Learning Agents
dev.to
·
1d
·
Discuss:
DEV
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** Existing formal verification methods for
concurrent
reactive systems (e.g., message passing, actor models) rely heavily on manual
specification
...
freederia.com
·
3d
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Semantic Police: Stop or my
compiler
will prove a
theorem
kp9.in
·
3d
·
Discuss:
Hacker News
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
·
1d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
New comment by
tonyww
in "A verification
layer
for browser agents: Amazon case study"
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
🌐
WebAssembly
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
VERIFAIX
AI
Debug
Agent
riscv.org
·
1d
🔍
Prolog
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Deploy Kimi
K2.5
on a Mac mini M4 Cluster and Call
Penligent.ai
: The Minimal Local-First Agentic Hacker Tutorial
penligent.ai
·
1h
·
Discuss:
Hacker News
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Almost-trivial
theorems
blog.plover.com
·
17h
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
Impostor
Rigidity
Principle: Structural Constraints on Impersonating Systems
zenodo.org
·
1d
·
Discuss:
Hacker News
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Managing
Unreliable
Compilers
blog.tonkotsu.ai
·
18h
·
Discuss:
Hacker News
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Intent Envelope: Proofs for
Completeness
, Not Just
Soundness
midspiral.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1d
·
Discuss:
Hacker News
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
An
Elementary
Theory of the
Category
of Sets
golem.ph.utexas.edu
·
1d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A knowledge management system inspired by
plain-text
accounting
thalo.rejot.dev
·
2h
·
Discuss:
Hacker News
🔍
Prolog
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Term Ordering
Etudes
: Ground
Lexicographic
Path Ordering
philipzucker.com
·
3d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Dignified
Python: 10 Rules to
Improve
your LLM Agents Writing Python
dagster.io
·
1d
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Agentic AI
Maturity
Gap: Combining Orchestration, Observability, and
Auditability
hackernoon.com
·
15h
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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