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 Verification
✓ 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
55
posts in
10.9
ms
Ask HN: What has been the fate of code review?
🔬
Static Analysis
Content type:
Discussion
news.ycombinator.com
·
2d
2 days ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
Less-relevant results
Show HN: A Terrible Way to Consume Hacker News – AI Slop
🕸️
WASM
deadinternet.tech
·
18h
18 hours ago
·
Hacker News
Actions for Show HN: A Terrible Way to Consume Hacker News – AI Slop
Why Bangladesh chose Malaysia and China before India for PM Rahman’s debut tour
🔬
Static Analysis
channelnewsasia.com
·
1h
1 hour ago
Actions for Why Bangladesh chose Malaysia and China before India for PM Rahman’s debut tour
AWS Graviton5 available via M9g and M9gd instances
📊
Observability
techzine.eu
·
2d
2 days ago
Actions for AWS Graviton5 available via M9g and M9gd instances
Quanta Books Releases The
Proof
in the Code
🔤
Type Theory
simonsfoundation.org
·
3d
3 days ago
Actions for Quanta Books Releases The Proof in the Code
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.
💻
Operating Systems
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.
Human Judgment as a Specification
🧩
Constraint Programming
Content type:
Blog
blog.brownplt.org
·
4d
4 days ago
Actions for Human Judgment as a Specification
ERTS: Adversarial Robustness Testing of Ethical AI via Semantic Perturbation in a Bounded Consequence Space
🎮
Game Engines
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for ERTS: Adversarial Robustness Testing of Ethical AI via Semantic Perturbation in a Bounded Consequence Space
Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
💾
Cache Optimization
Content type:
Blog
amazon.science
·
2d
2 days ago
·
Hacker News
Actions for Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
Amazon partnership establishes Cornell AI security initiative
🔨
Compilers
Content type:
News
Content type:
Academic
news.cornell.edu
·
2d
2 days ago
Actions for Amazon partnership establishes Cornell AI security initiative
Researchers discover hidden chip threats and a way to stop them
🔬
Static Analysis
techxplore.com
·
3d
3 days ago
Actions for Researchers discover hidden chip threats and a way to stop them
Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
📊
Observability
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
·
Hacker News
Actions for Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
🔬
Static Analysis
Content type:
Discussion
news.ycombinator.com
·
3d
3 days ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
Issue 528
📐
Category Theory
haskellweekly.news
·
1d
1 day ago
Actions for Issue 528
AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
💾
Cache Optimization
siliconangle.com
·
2d
2 days ago
·
Cited by 1 article
Actions for AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
Programming Languages Course Reboot, 2026
🔤
Language Design
Content type:
Reference
docs.google.com
·
3d
3 days ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
2026-06-10, Wednesday
🔤
Type Theory
hakon.gylterud.net
·
2d
2 days ago
Actions for 2026-06-10, Wednesday
The
Proof
in the Code
🔤
Type Theory
quantabooks.org
·
3d
3 days ago
·
Cited by 1 article
Actions for The Proof in the Code
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
🔬
Static Analysis
cointelegraph.com
·
4d
4 days ago
Actions for Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw
"a game of court intrigue where AI simulates the various courtiers"
🎲
Procedural Generation
substack.com
·
4d
4 days ago
·
Substack
Actions for "a game of court intrigue where AI simulates the various courtiers"
« Page 1
·
Page 3 »
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