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
Formal Methods
🔍 Formal Methods
type theory, formal verification, proof, logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
50
posts in
7.1
ms
Formal
methods
and the future of programming
⚙️
Compilers
Content type:
Blog
blog.janestreet.com
·
5d
5 days ago
·
Lobsters
·
Cited by 1 article
Actions for Formal methods and the future of programming
EC2’s
formally
verified
“isolation engine”
provides
mathematical assurance of virtual-machine isolation
🌐
Distributed Systems
Content type:
Blog
amazon.science
·
2d
2 days ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
AWS Nitro Isolation Engine:
Formally
verifying the hypervisor in the AWS Nitro System
🔧
Low-Level Programming
Content type:
Blog
aws.amazon.com
·
23h
23 hours ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
⚡
Performance
Content type:
Blog
medium.com
·
1h
1 hour ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
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.
💾
Computer Architecture
Content type:
Code
github.com
·
1d
1 day 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.
Subversion-Resistance for Free from
Formal
Verification
🔧
Low-Level Programming
lesswrong.com
·
3d
3 days ago
Actions for Subversion-Resistance for Free from Formal Verification
ERTS: Adversarial Robustness Testing of Ethical AI via Semantic Perturbation in a Bounded Consequence Space
🤖
AI
Content type:
Academic
arxiv.org
·
17h
17 hours ago
Actions for ERTS: Adversarial Robustness Testing of Ethical AI via Semantic Perturbation in a Bounded Consequence Space
Neon NTT - (Auto)
formalised
🖥️
Hardware Design
eprint.iacr.org
·
2d
2 days ago
Actions for Neon NTT - (Auto)formalised
Proof
System Timelines
💾
Computer Architecture
Content type:
Blog
klatz.co
·
4d
4 days ago
Actions for Proof System Timelines
Experimental
Logic
: An Executable Homage to Automated
Theorem
Proving
Pioneer, Frank Malloy Brown…
📊
Algorithms
Content type:
Blog
medium.com
·
51m
51 minutes ago
Actions for Experimental Logic: An Executable Homage to Automated Theorem Proving Pioneer, Frank Malloy Brown…
Formal
Verification
in
Spec-Driven
Development — Enterprise Level
🔧
Low-Level Programming
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for Formal Verification in Spec-Driven Development — Enterprise Level
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to Zero bugs
📊
Algorithms
lix.polytechnique.fr
·
2d
2 days ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Dr. Renata Goncalves recognized with Outstanding Manuscript Award
📚
Books
Content type:
Academic
hsph.harvard.edu
·
3d
3 days ago
Actions for Dr. Renata Goncalves recognized with Outstanding Manuscript Award
Programming Languages Software Award
🔧
Low-Level Programming
sigplan.org
·
2d
2 days ago
Actions for Programming Languages Software Award
AWS can now mathematically
prove
your VMs are isolated
🌐
Distributed Systems
thenewstack.io
·
2d
2 days ago
Actions for AWS can now mathematically prove your VMs are isolated
SagaMind:
Formal
Verification
, Transactional Rollback, and Cognitive Memory for LLM Agents
🧠
LLMs
Content type:
Blog
kesablyanharut.medium.com
·
1d
1 day ago
Actions for SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents
Human Judgment as a
Specification
🧠
LLMs
Content type:
Blog
blog.brownplt.org
·
3d
3 days ago
Actions for Human Judgment as a Specification
Book note: The Open
Logic
FOL texts
🧠
LLMs
Content type:
Blog
logicmatters.net
·
1d
1 day ago
Actions for Book note: The Open Logic FOL texts
Correct workflow for stage3 and stage 4 building, testing and debugging
⚙️
Compilers
ziggit.dev
·
1d
1 day ago
Actions for Correct workflow for stage3 and stage 4 building, testing and debugging
The Stochastic Parrot
🤖
AI
Content type:
Blog
webaligo.bearblog.dev
·
1h
1 hour ago
Actions for The Stochastic Parrot
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