Formal Verification

Feeds to Scour
SubscribedAll
Scoured 301 posts in 5.7 ms

Proof System Timelines

 🔐Cryptography  Content type: Blog
klatz.co·

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

 🔄Compiler Design  Content type: Academic
arxiv.org·

Neon NTT - (Auto)formalised

 🔄Compiler Design
eprint.iacr.org·

Subversion-Resistance for Free from Formal Verification

 🔍eBPF
lesswrong.com·

Programming Languages Software Award

 🔄Compiler Design
sigplan.org·

High impact resistance in a high-entropy alloy with thermally stable hierachical heterostructures

 ⚙️Engineering  Content type: Academic
nature.com
·

Electra Reaches Back to Antiquity for Its Most Distinctive Dare-Devil Diver Yet

 ⚙️Engineering
gearpatrol.com·

Isabelle Harrison eyes making up for lost time as Tempo face Sun

 🌐HTMX  Content type: News
deadspin.com·

Looping lasers whisk molten metals together during 3D printing, opening new alloy design route

 ⚙️Engineering
techxplore.com·

Strong and corrosion-resistant 3D-printed steel by self-assembled core-shell nanoparticles

 ⚙️Engineering
science.org·

Need Banking Lobby to Back Down: Gupta

 🔐Cryptography  Content type: News
bloomberg.com
·

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

 🔄Compiler Design  Content type: Code
github.com··Hacker News

AWS can now mathematically prove your VMs are isolated

 📡Distributed Systems
thenewstack.io·

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

 🔐Cryptography  Content type: Academic
hsph.harvard.edu·

Link Complete Box

 🌐HTMX
arch2o.com·

Magnetic pair breaking and local lattice distortion in Cr-containing high-entropy alloy superconductors

 ⚙️Engineering
link.aps.org·

The books I read in May

 🚢DevOps  Content type: Blog
superlemon.bearblog.dev·

The Ugliest Thing in Your EDC Kit is your AirTag. This Japanese Carabiner Finally Fixes That - Yanko Design

 ⚙️Engineering
yankodesign.com·

Market Research Deep Dive: Wrought Aluminum Turbocharger Wheels Capture 45% of Market Value – Full Size & Share Analysis by Forged vs. Cast Technology

 ⚡Performance Engineering  Content type: Blog
plaza.rakuten.co.jp·

A Proof in Coq that Core Logic is not Paraconsistent

 🔄Compiler Design  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