| 1. | | Know the Person Behind the Papers (a3nm.net) |
|
2 points by infruset 36 days ago | past
|
|
| 2. | | Welcome to the Falcon 3 Family of Open Models (huggingface.co) |
|
3 points by infruset 4 months ago | past
|
|
| 3. | | AIChat: All-in-One AI CLI Tool (github.com/sigoden) |
|
2 points by infruset 10 months ago | past
|
|
| 4. | | Book Review: Seeing Like a State (SlateStarCodex) (slatestarcodexabridged.com) |
|
2 points by infruset on Nov 8, 2023 | past
|
|
| 5. | | Trine makes it easy for people to invest in solar energy in growing markets (trine.com) |
|
2 points by infruset on Oct 23, 2023 | past
|
|
| 6. | | Autogen: Enable next-gen large language model applications (github.com/microsoft) |
|
163 points by infruset on Oct 18, 2023 | past | 54 comments
|
|
| 7. | | Hard-Core Romance: Fifty Shades of Grey, Best-Sellers, and Society (uchicago.edu) |
|
1 point by infruset on Oct 7, 2023 | past
|
|
| 8. | | As Classic Novels Get Revised for Today’s Readers, Where to Draw the Line (nytimes.com) |
|
3 points by infruset on April 5, 2023 | past
|
|
| 9. | | Content of all release source code asset tarballs has changed (gitlab.com/gitlab-org) |
|
2 points by infruset on March 29, 2023 | past
|
|
| 10. | | Confessions of a Genius Art Forger (2012) (spiegel.de) |
|
1 point by infruset on Dec 6, 2022 | past
|
|
| 11. | | SCaml (scamlang.dev) |
|
2 points by infruset on Feb 16, 2022 | past | 1 comment
|
|
| 12. | | Timelock: A solution to miner/block producer extractable value (nomadic-labs.com) |
|
1 point by infruset on Oct 11, 2021 | past
|
|
| 13. | | Capsule Social: September 2021 Update (capsule.social) |
|
1 point by infruset on Oct 1, 2021 | past
|
|
| 14. | | Zk-SNARKs, FreeTON and OCamlPro (medium.com/ocamlpro) |
|
1 point by infruset on Aug 25, 2021 | past
|
|
| 15. | | Zk-SNARKs, FreeTON and OCamlPro (medium.com/ocamlpro) |
|
2 points by infruset on Aug 4, 2021 | past
|
|
| 16. | | Zk-SNARKs, FreeTON and OCamlPro (medium.com/ocamlpro) |
|
5 points by infruset on Aug 3, 2021 | past
|
|
| 17. | | Zk-SNARKs, FreeTON and OCamlPro (medium.com/ocamlpro) |
|
2 points by infruset on July 31, 2021 | past
|
|
| 18. | | Juan Benet Building Web3: Filecoin and Ethereum Better Together (youtube.com) |
|
3 points by infruset on July 28, 2021 | past
|
|
| 19. | | Zk-SNARKs, FreeTON and OCamlPro (medium.com/ocamlpro) |
|
3 points by infruset on July 28, 2021 | past
|
|
| 20. | | OCaml Documentation Hub (ocaml.pro) |
|
4 points by infruset on April 28, 2021 | past
|
|
| 21. | | OCaml Documentation Hub (ocaml.pro) |
|
6 points by infruset on April 23, 2021 | past
|
|
| 22. | | Coq 8.13 (inria.fr) |
|
116 points by infruset on Feb 18, 2021 | past | 41 comments
|
|
| 23. | | Donald Trump becomes the first US president to be impeached for a second time (theguardian.com) |
|
49 points by infruset on Jan 13, 2021 | past | 9 comments
|
|
| 24. | | A Formal Proof of the Irrationality of ζ(3) (arxiv.org) |
|
1 point by infruset on Jan 5, 2021 | past
|
|
| 25. | | What's Wrong with Academia? (a3nm.net) |
|
1 point by infruset on June 24, 2020 | past
|
|
| 26. | | A Solidity Parser in OCaml with Menhir (medium.com/dune-network) |
|
1 point by infruset on May 22, 2020 | past
|
|
| 27. | | Demystifying Supersonic (Snark Protocol) (cryptium.ch) |
|
2 points by infruset on March 27, 2020 | past
|
|
| 28. | | Introduction to Binance DEX: Part I, Atomic Swaps Explained (medium.com/dune-network) |
|
9 points by infruset on March 26, 2020 | past | 2 comments
|
|
| 29. | | Games with Oracles on Blockchains (medium.com/dune-network) |
|
4 points by infruset on March 12, 2020 | past
|
|
| 30. | | Games with Oracles on Blockchains (Part I) (medium.com/dune-network) |
|
1 point by infruset on March 9, 2020 | past
|
|
|
|
More |
