Protocol Verification

Feeds to Scour
SubscribedAll
Scoured 22 posts in 32.9 ms

Subversion-Resistance for Free from Formal Verification

 🌐NetworkProtocols
lesswrong.com·

Formal verification of the S-two AIR

 ✓Automated Theorem Proving  Content type: Academic
arxiv.org·

AWS can now mathematically prove your VMs are isolated

 🛡️seL4
thenewstack.io·

klauscam/BastionRoute: An outbound-initiated WebSocket relay fabric for UDP datagram binary streams that operates with zero-inbound port architecture

 🖥Self-Hosting  Content type: Code
github.com··Hacker News

Ask HN: What has been the fate of code review?

 🔬Static Analysis  Content type: Discussion
news.ycombinator.com··Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

 🔐Cybersecurity  Content type: News  Content type: Blog
bengoertzel.substack.com··Substack

aMule 3.0.0 The 'alive again' version - Major aMule release in 5 years

 🍎Apple  Content type: Blog
amule-org.github.io··Lobsters, Hacker News, r/Piracy

Why a Direct, 500 Mbit Tailscale Link Only Gave Me 10 Mbit for One Stream

 🖥Self-Hosting  Content type: Blog
til.pbuttergirl.com··Hacker News

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

 ✓Automated Theorem Proving
latent.space··Hacker News

Entropy

 🖥Self-Hosting
arch.dog··Lobsters

The Anatomy of a Learning Stall

 ⚙️Compiler Design  Content type: Blog
tagide.com··Lobsters, Hacker News, Hacker News, Hacker News

Lore-Hex/QuillUI: SwiftUI compatibility experiments for Linux, QuillData, QuillKit, and Enchanted/Quill Chat porting

 🍎Apple  Content type: Code
github.com··Hacker News
Less-relevant results

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

 🌐NetworkProtocols
universetoday.com··Hacker News

Syntax-driven Incremental Program Verification of Matching Logic Properties

 🔬Static Analysis  Content type: Academic
arxiv.org·

Where the f*ck is the Excalidraw markup table?

 🔬Static Analysis  Content type: News  Content type: Blog
larkmatter.substack.com··Substack

LibreNMS-Dash - a LibreNMS-backed network dashboard.

 🐋Docker  Content type: Code
github.com··r/homelab

An Abstract Architecture for Explainable Autonomy in Hazardous Environments

 🩹Self-Healing Systems  Content type: Academic
arxiv.org·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 🔤Language Design  Content type: Code
github.com··Hacker News

Abduction Prover in Isabelle/HOL

 ✓Automated Theorem Proving  Content type: Academic
arxiv.org·

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation

 🌐NetworkProtocols  Content type: Academic
arxiv.org·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help