Stories by infruset

OCaml Documentation Hub

OCaml Documentation Hub

Coq 8.13

Donald Trump becomes the first US president to be impeached for a second time

A Formal Proof of the Irrationality of ζ(3)

A Pro-Trump Militant Group Has Recruited 1000s of Police, Soldiers, and Veterans

What's Wrong with Academia?

A Solidity Parser in OCaml with Menhir

Demystifying Supersonic (Snark Protocol)

Introduction to Binance DEX: Part I, Atomic Swaps Explained

Games with Oracles on Blockchains

Games with Oracles on Blockchains (Part I)

Love: A New Smart Contract Language for the Dune Network

Clever Ways to Solve Mastermind?

In Paris, a Mathematician Confronts the Political Odds

WhatsApp down: Anger as users can't send picture, voice or video message

Roko's Basilisk

The St Petersburg vegans cooking up a revolution

How to help protester friends organize In Ecuador?

My Reveal

1
2
3
4