| | Ghosts of departed proofs. (functional pearl) (2018) (iohk.io) |
|
2 points by fanf2 54 days ago | past
|
|
| | Ghosts of Departed Proofs (iohk.io) |
|
2 points by fanf2 5 months ago | past
|
|
| | Simple property-based tests for Plutus validators (iohk.io) |
|
1 point by JNRowe on Jan 28, 2022 | past
|
|
| | Mining in Logarithmic Space (iohk.io) |
|
1 point by simonpure on Aug 13, 2021 | past
|
|
| | Bitcoin Blockchain Visualization (iohk.io) |
|
267 points by runpat on April 19, 2021 | past | 43 comments
|
|
| | Combining Agile and Formal Methods (iohk.io) |
|
3 points by exdsq on July 10, 2020 | past
|
|
| | The Bitcoin Blockchain Visualized in 3D (iohk.io) |
|
235 points by abreckle on July 10, 2019 | past | 99 comments
|
|
| | Cascading Disruption:Interactive, visual and auditory exploration of Bitcoin (iohk.io) |
|
1 point by max_ on Aug 10, 2018 | past
|
|
| | A solution for scalable randomness (iohk.io) |
|
1 point by dbkaplun on Jan 15, 2018 | past
|
|
| | Ouroboros: A Provably Secure Proof-Of-Stake Blockchain Protocol (iohk.io) |
|
3 points by bjflanne on Oct 30, 2017 | past
|
|
| | How Cardano's Transaction Fees Work (iohk.io) |
|
1 point by bjflanne on Oct 20, 2017 | past
|
|
| | Cardano: a Blockchain platform written in Haskell (iohk.io) |
|
2 points by nicolast on Oct 2, 2017 | past
|
|
| | Bidirectional Proof Refinement (iohk.io) |
|
2 points by kushti on March 16, 2017 | past
|
|
| | Proof Refinement Basics (iohk.io) |
|
52 points by kushti on March 12, 2017 | past | 2 comments
|
|
| | IODB Storage Engine (iohk.io) |
|
1 point by kushti on Feb 15, 2017 | past
|
|
| | IODB Storage Engine (for Blockchain Applications) (iohk.io) |
|
1 point by kushti on Oct 13, 2016 | past
|
|
