Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection (zenodo.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of zenodo.org: Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection

First screen, captured 9 months ago.

Looks similar

Screenshot of linuxiac.com: Germany Mandates ODF for Public Administration

Germany Mandates ODF for Public Administration (linuxiac.com)

103 points by mvdwoord 7 months ago | 15 comments

Screenshot of zenodo.org: Genesis

Genesis (zenodo.org)

10 points by KaoruAK 8 months ago | 2 comments

Screenshot of lfortran.org: LFortran compiles fpm

LFortran compiles fpm (lfortran.org)

58 points by wtlin 8 months ago | 24 comments

Screenshot of nesbitt.io: How dependabot works

How dependabot works (nesbitt.io)

57 points by zdw 9 months ago | 11 comments

Screenshot of blog.tansu.io: Small Kafka: Tansu and SQLite on a free t3.micro

Small Kafka: Tansu and SQLite on a free t3.micro (blog.tansu.io)

93 points by rmoff 9 months ago | 20 comments

Screenshot of lix.polytechnique.fr: λProlog: Logic programming in higher-order logic

λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments