infruset
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Know the Person Behind the Papers (a3nm.net)
- Welcome to the Falcon 3 Family of Open Models (huggingface.co)
- AIChat: All-in-One AI CLI Tool (github.com)
- Book Review: Seeing Like a State (SlateStarCodex) (slatestarcodexabridged.com)
- Hard-Core Romance: Fifty Shades of Grey, Best-Sellers, and Society (press.uchicago.edu)
- Confessions of a Genius Art Forger (2012) (spiegel.de)
- SCaml (scamlang.dev)
- Timelock: A solution to miner/block producer extractable value (research-development.nomadic-labs.com)
- Capsule Social: September 2021 Update (capsule.social)
- Zk-SNARKs, FreeTON and OCamlPro (medium.com)
- Zk-SNARKs, FreeTON and OCamlPro (medium.com)
- Zk-SNARKs, FreeTON and OCamlPro (medium.com)
- Zk-SNARKs, FreeTON and OCamlPro (medium.com)
- Zk-SNARKs, FreeTON and OCamlPro (medium.com)
- OCaml Documentation Hub (docs.ocaml.pro)
- OCaml Documentation Hub (docs.ocaml.pro)
- Coq 8.13 (coq.inria.fr)
- A Formal Proof of the Irrationality of ζ(3) (arxiv.org)