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
Dependent Rust
⚡ Dependent Rust
Specific
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22
posts in
15.3
ms
Correct-by-Construction
Design of Timed Systems in Event-B
💻
CS
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🏛️
Agda
lix.polytechnique.fr
·
13h
13 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Less-relevant results
AWS can now mathematically prove your VMs are isolated
💻
Operating System, OS
thenewstack.io
·
5h
5 hours ago
Actions for AWS can now mathematically prove your VMs are isolated
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
⚡
SMT Applications
Content type:
Code
github.com
·
5d
5 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
Ask HN: What has been the fate of code review?
💻
Programming languages
Content type:
Discussion
news.ycombinator.com
·
7h
7 hours ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
Issue 527
🔗
Functional Compilers
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
💻
Programming languages
Content type:
Blog
aws.amazon.com
·
7h
7 hours ago
·
Hacker News
Actions for Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors
The Orchard Bug and the Unfolding Cybersecurity Reckoning
💻
Programming languages
Content type:
News
Content type:
Blog
bengoertzel.substack.com
·
5d
5 days ago
·
Substack
Actions for The Orchard Bug and the Unfolding Cybersecurity Reckoning
Lean4Agent:
Formal
Modeling
and
Verification
for Agent Workflow and Trajectory
💻
CS
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Rust
goal: cargo script (like uv does for Python)
🔒
Type Safety
rust-lang.github.io
·
1d
1 day ago
·
Hacker News
Actions for Rust goal: cargo script (like uv does for Python)
Rust
, C++, and the Tradeoffs Behind
Safe
Low-Level
Code: interview with Nikita Lisitsa
🔒
Type Safety
Content type:
Blog
Content type:
Discussion
serokell.io
·
2d
2 days ago
Actions for Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
Infinite precision intermediate arithmetic: how much would break?
📝
Compiler Design
internals.rust-lang.org
·
2d
2 days ago
·
Hacker News
Actions for Infinite precision intermediate arithmetic: how much would break?
Where the f*ck is the Excalidraw markup table?
💻
Programming languages
Content type:
News
Content type:
Blog
larkmatter.substack.com
·
3d
3 days ago
·
Substack
Actions for Where the f*ck is the Excalidraw markup table?
SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
💻
Programming languages
universetoday.com
·
4d
4 days ago
·
Hacker News
Actions for SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'
ICYMI: May 2026 @AWS Security
🔗
Supply Chain
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for ICYMI: May 2026 @AWS Security
Formal
verification
of the S-two AIR
💻
Programming languages
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Formal verification of the S-two AIR
rochus-keller/EXPRESS: A parser and code
model
for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
🔐
RISC-V Cryptography
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
Syntax-driven Incremental
Program
Verification
of Matching Logic Properties
💻
Programming languages
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Syntax-driven Incremental Program Verification of Matching Logic Properties
The Complexity of Asynchronous HyperLTL
🌐
NetworkProtocols
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for The Complexity of Asynchronous HyperLTL
Abduction Prover in Isabelle/HOL
👑
Isabelle/HOL
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Abduction Prover in Isabelle/HOL
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