Clean, a formal verification DSL for ZK circuits in Lean4 (blog.zksecurity.xyz) | HN Screenshots

YHacker Newsscreenshots

Screenshot of blog.zksecurity.xyz: Clean, a formal verification DSL for ZK circuits in Lean4

First screen, captured 1 year ago.

Looks similar

Screenshot of lexega.com: Lexega Turns SQL into Signals

Lexega Turns SQL into Signals (lexega.com)

12 points by whoami4041 8 months ago | 8 comments

Screenshot of ngrislain.github.io: Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)

32 points by ngrislain 7 months ago | 19 comments

Screenshot of spencer.wtf: I found a useful Git one liner buried in leaked CIA developer docs

I found a useful Git one liner buried in leaked CIA developer docs (spencer.wtf)

649 points by spencerldixon 8 months ago | 222 comments

A blog post sharing a shell one-liner for deleting merged git branches, found in CIA internal developer docs leaked in WikiLeaks' Vault7.

git git-branches command-line vault7

Screenshot of linebender.org: Towards fearless SIMD, 7 years later

Towards fearless SIMD, 7 years later (linebender.org)

164 points by raphlinus 1 year ago | 102 comments

Screenshot of lucasgerads.com: Show HN: SPICE simulation → oscilloscope → verification with Claude Code

Show HN: SPICE simulation → oscilloscope → verification with Claude Code (lucasgerads.com)

111 points by _fizz_buzz_ 6 months ago | 30 comments

Screenshot of leaningtech.com: CheerpJ 3.0: a JVM replacement in HTML5 and WASM to run Java on modern browsers

CheerpJ 3.0: a JVM replacement in HTML5 and WASM to run Java on modern browsers (leaningtech.com)

303 points by pjmlp 3 years ago | 148 comments