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
80729
posts in
478.2
ms
STELLAR: Structure-guided LLM
Assertion
Retrieval and Generation for
Formal
Verification
arxiv.org
·
9h
🏗️
MLIR
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 approach to augmenting automated theorem
provers
(
ATPs
) using hyperdimensional semantic encoding to improve logic...
freederia.com
·
1h
🧩
Constraint Solving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Programming
as
Theory
Building
gist.github.com
·
1m
🔬
Static Analysis
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
🔬
Static Analysis
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
⚙️
Concurrency Models
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Pratt parsing to the
Dijkstra
shunting
yard
matklad.github.io
·
2h
·
Discuss:
Hacker News
🦀
Rust Macros
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 Inference
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
🔨
Compiler Design
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
🌐
Distributed Systems
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
·
22h
·
Discuss:
Hacker News
🕸️
WASM
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
·
2d
🦙
Ollama
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
·
5h
·
Discuss:
Hacker News
🦙
Ollama
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
·
2d
·
Discuss:
Hacker News
🐛
Fuzzing
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
·
22h
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Theory of
self-reproducing
automata : Von
Neumann
, John, 1903-1957 : Free Download, Borrow, and Streaming
archive.org
·
2h
⚙️
Concurrency Models
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
·
22h
·
Discuss:
Hacker News
🔨
Incremental Compilation
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
🔬
Static Analysis
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 Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How To Build An AI Agent For
Talent
Matching
– Part 2
blog.codeminer42.com
·
58m
🦙
Ollama
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
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