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
TLA+, Model Checking, Verification, Correctness Proofs, Alloy
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
55
posts in
9.4
ms
AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons
🔍
Property Testing
4sysops.com
·
6d
6 days ago
Actions for AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons
A
Proof
in
Coq
that
Core
Logic is not Paraconsistent
🔍
Property Testing
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
cryspen/hax: A Rust
verification
tool
🏗️
Compiler Design
Content type:
Code
github.com
·
11h
11 hours ago
·
Lobsters
Actions for cryspen/hax: A Rust verification tool
The Orchard Bug and the Unfolding Cybersecurity Reckoning
🔄
Stateful Fuzzing
Content type:
News
Content type:
Blog
bengoertzel.substack.com
·
6d
6 days ago
·
Substack
Actions for The Orchard Bug and the Unfolding Cybersecurity Reckoning
Researchers discover hidden chip threats and a way to stop them
🐛
AFL
techxplore.com
·
1d
1 day ago
Actions for Researchers discover hidden chip threats and a way to stop them
Introducing Jo — Secure Programming for the AI Era
🏗️
Compiler Design
Content type:
Blog
jo-lang.org
·
6d
6 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
Human Judgment as a Specification
🔍
Property Testing
Content type:
Blog
blog.brownplt.org
·
2d
2 days ago
Actions for Human Judgment as a Specification
Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
🔀
Concurrency
Content type:
Blog
amazon.science
·
1d
1 day ago
·
Hacker News
Actions for Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law
Programming Languages Course Reboot, 2026
🏗️
Compiler Design
Content type:
Reference
docs.google.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Comp.compilers: Ada-Europe
Int.Conf
. Reliable Software Technologies, AEiC 2026 (Sweden, June 2026)
🏗️
Compiler Design
compilers.iecc.com
·
5d
5 days ago
Actions for Comp.compilers: Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2026 (Sweden, June 2026)
Amazon partnership establishes Cornell AI security initiative
🔍
Property Testing
Content type:
News
Content type:
Academic
news.cornell.edu
·
1d
1 day ago
Actions for Amazon partnership establishes Cornell AI security initiative
"a game of court intrigue where AI simulates the various courtiers"
🎯
deterministic simulation testing
substack.com
·
3d
3 days ago
·
Substack
Actions for "a game of court intrigue where AI simulates the various courtiers"
Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
🔍
Property Testing
Content type:
Blog
aws.amazon.com
·
1d
1 day ago
·
Hacker News
Actions for Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
Correct-by-Construction
Design of Timed Systems in Event-B
🔀
Concurrency
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
🌐
Networking
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"
Zcash teams propose Ironwood pool to restore supply
verification
after Orchard flaw
🔍
Property Testing
cointelegraph.com
·
3d
3 days ago
Actions for Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw
AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
🔍
Property Testing
siliconangle.com
·
1d
1 day ago
Actions for AWS’ powerful Graviton5 CPU makes its debut in new M9g and M9gd cloud instances
FOD#155: Continual Learning in LLMs: Why AI
Models
Need Sleep
🏗️
Compiler Design
turingpost.com
·
2d
2 days ago
Actions for FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC - prove your Java or Kotlin code
correct
for every input, as easily as writing a JUnit test
🌐
Distributed Systems
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
ICYMI: May 2026 @AWS Security
🔀
Concurrency
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for ICYMI: May 2026 @AWS Security
« 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