🔬 Static Analysis - dchu

Less-relevant results

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

🐘PostgreSQL Blog

semgrep.dev··Hacker News

Where the f*ck is the Excalidraw markup table?

✓Formal Verification News Blog

larkmatter.substack.com··Substack

Second-Order Least Squares as a Special Case of the Polynomial Maximization Method

✓Formal Verification Academic

arxiv.org·

Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left

✓Formal Verification

ethresear.ch·

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

✓Formal Verification

universetoday.com··Hacker News

Strict stability of extension types

✓Formal Verification Academic

arxiv.org·

Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN

✓Formal Verification Blog

medium.com·

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

✓Formal Verification Code

github.com··Hacker News

ICYMI: May 2026 @AWS Security

✓Formal Verification Blog

aws.amazon.com·

Syntax-driven Incremental Program Verification of Matching Logic Properties

✓Formal Verification Academic

arxiv.org·

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface

✓Formal Verification Academic

arxiv.org·

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

✓Formal Verification Code

github.com··Hacker News

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

✓Formal Verification Academic

arxiv.org·

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

✓Formal Verification Academic

arxiv.org·

Human Judgment as a Specification

Book note: The Open Logic FOL texts

Zcash plummets 30% as Shielded Labs reveals a major bug that went undetected for four years

Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

Where the f*ck is the Excalidraw markup table?

Second-Order Least Squares as a Special Case of the Polynomial Maximization Method

Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

Strict stability of extension types

Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN

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

ICYMI: May 2026 @AWS Security

Syntax-driven Incremental Program Verification of Matching Logic Properties

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface

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

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

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents