Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Constraint Solvers
🧩 Constraint Solvers
SAT, Z3, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
47
posts in
14.0
ms
Subversion-Resistance for Free from
Formal
Verification
🔄
Protocol State Machines
lesswrong.com
·
4d
4 days ago
Actions for Subversion-Resistance for Free from Formal Verification
The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
🔐
Ownership Types
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
AWS Nitro Isolation Engine:
Formally
verifying the hypervisor in the AWS Nitro System
🔄
Protocol State Machines
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
Proof System Timelines
🏗️
Calculus of Constructions
Content type:
Blog
klatz.co
·
5d
5 days ago
Actions for Proof System Timelines
coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting
formal
verification
. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
⚙️
Assembly
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
EC2’s
formally
verified
“isolation engine” provides mathematical assurance of virtual-machine isolation
📜
Proof Languages
Content type:
Blog
amazon.science
·
3d
3 days ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
Formal
Verification
in Spec-Driven Development — Enterprise Level
🔄
Protocol State Machines
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for Formal Verification in Spec-Driven Development — Enterprise Level
SagaMind:
Formal
Verification
, Transactional Rollback, and Cognitive Memory for LLM Agents
🔄
Protocol State Machines
Content type:
Blog
kesablyanharut.medium.com
·
2d
2 days ago
Actions for SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents
Morphic Accumulators and Applications:
Optimal
Range Proofs, Polynomial Commitments, and Ring Signatures
🌸
Bloom Filters
eprint.iacr.org
·
5d
5 days ago
Actions for Morphic Accumulators and Applications: Optimal Range Proofs, Polynomial Commitments, and Ring Signatures
Correct workflow for stage3 and stage 4 building, testing and debugging
🧪
Zig Testing
ziggit.dev
·
3d
3 days ago
Actions for Correct workflow for stage3 and stage 4 building, testing and debugging
Isabelle
🔗
Dependent Types
isabelle.in.tum.de
·
2d
2 days ago
·
Cited by 2 articles
Actions for Isabelle
AWS can now mathematically
prove
your VMs are isolated
💻
virtual machines
thenewstack.io
·
3d
3 days ago
Actions for AWS can now mathematically prove your VMs are isolated
Ask HN: What has been the fate of code review?
🔐
Ownership Types
Content type:
Discussion
news.ycombinator.com
·
3d
3 days ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
A Lean
4-verified
Balansis lib to eliminate NaN and make zero-division safe
🔄
Protocol State Machines
Content type:
Code
github.com
·
1d
1 day ago
·
Hacker News
Actions for A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe
Programming
Languages Software Award
🛠
programming language development
sigplan.org
·
4d
4 days ago
Actions for Programming Languages Software Award
(
PR
) Rosewill Launches the FBM-Z Series Micro-ATX Cases
🎯
Constraint Solving
techpowerup.com
·
3d
3 days ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
Researchers discover hidden chip threats and a way to stop them
🎭
Program Synthesis
techxplore.com
·
4d
4 days ago
Actions for Researchers discover hidden chip threats and a way to stop them
Introducing Soteria: A New Generation of Static Analysis for Rust
🔬
Code Analysis
Content type:
Blog
soteria-tools.com
·
3d
3 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
On the Cryptographic Structure Required for Verifying Qubits
🔗
Hash Functions
eprint.iacr.org
·
5d
5 days ago
Actions for On the Cryptographic Structure Required for Verifying Qubits
Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
⚡
Performance
Content type:
Blog
amazon.science
·
3d
3 days ago
·
Hacker News
Actions for Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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