Software Verification

Feeds to Scour
SubscribedAll
Scoured 52 posts in 12.5 ms

Put some respect on aeroplane food

 📐Formal Methods  Content type: News
newstatesman.com
·

How Zoho Labs pivoted to inference engineering

 📐Formal Methods
yourstory.com
·
Less-relevant results

archmap

 📐Formal Methods  Content type: Blog
nrird.com·

Reproducing a String Theory Vacuum in Rust

 📐Formal Methods
madebynathan.com·

Mathematicians use Lean to verify proofs, whats the equivalent for patent claims

 📐Formal Methods
fearn.ai··Hacker News

A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe

 📐Formal Methods  Content type: Code
github.com··Hacker News

Umbro Is Football’s Original Fashion Brand

 📐Formal Methods
highsnobiety.com·

C++ Lifetime-End Pointer-Zap and OOTA Progress

 📐Formal Methods
people.kernel.org··Covers: TIL Edward A Murphy Jr (of Murphy's Law fame) original quote was "If there are two or more ways to do something and one of those results in a catastrophe, then ...

Pramaana Labs raises $27M to make AI prove its answers

 🚀Startups
siliconangle.com··Covers: Lean: Programming Language and Theorem Prover

Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation

 📐Formal Methods  Content type: Academic
arxiv.org·

GitHub Copilot CLI for Beginners: Overview of common slash commands

 📐Formal Methods  Content type: Blog  Content type: Tutorial
github.blog··Covers: GitHub Copilot CLI

Implementing Interfaces in Python: ABCs and Protocols

 📐Formal Methods
realpython.com·

Bcachefs 1.38.6 - the performance release

 📐Formal Methods  Content type: Release
patreon.com··Lobsters, Hacker News

The Stochastic Parrot

 📐Formal Methods  Content type: Blog
webaligo.bearblog.dev·

UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)

 📐Formal Methods  Content type: Academic
arxiv.org·

AI as a Force Multiplier for Security Engineers

 📐Formal Methods  Content type: Blog
sigmaprime.io·

AWS Weekly Roundup: AWS FinOps Agent in preview, Gemma 4 on Bedrock, Kiro Pro Max, and more (June 15, 2026)

 📐Formal Methods  Content type: Blog
aws.amazon.com··Covers: Statement on the US government directive to suspend access to Fable 5 and Mythos 5

Show HN: A Terrible Way to Consume Hacker News – AI Slop

 📐Formal Methods
deadinternet.tech··Hacker News·Covers 6 stories

Why Bangladesh chose Malaysia and China before India for PM Rahman’s debut tour

 📐Formal Methods
channelnewsasia.com·

Monadic dependence from reducts, and applications to twin-width of oriented graphs

 📐Formal Methods  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