HNHacker News
TopNewBestAskShowJobs

infruset

865 karma · joined November 1, 2013

submissionscomments

Know the Person Behind the Papers

a3nm.net·2 pts·infruset·
0

Welcome to the Falcon 3 Family of Open Models

huggingface.co·3 pts·infruset·
0

AIChat: All-in-One AI CLI Tool

github.com·2 pts·infruset·
0

Book Review: Seeing Like a State (SlateStarCodex)

slatestarcodexabridged.com·2 pts·infruset·
0

Trine makes it easy for people to invest in solar energy in growing markets

trine.com·2 pts·infruset·
0

Autogen: Enable next-gen large language model applications

github.com·163 pts·infruset·
54

Hard-Core Romance: Fifty Shades of Grey, Best-Sellers, and Society

press.uchicago.edu·1 pts·infruset·
0

As Classic Novels Get Revised for Today’s Readers, Where to Draw the Line

nytimes.com·3 pts·infruset·
0

Content of all release source code asset tarballs has changed

gitlab.com·2 pts·infruset·
0

Confessions of a Genius Art Forger (2012)

spiegel.de·1 pts·infruset·
0

SCaml

scamlang.dev·2 pts·infruset·
1

Timelock: A solution to miner/block producer extractable value

research-development.nomadic-labs.com·1 pts·infruset·
0

Capsule Social: September 2021 Update

capsule.social·1 pts·infruset·
0

Zk-SNARKs, FreeTON and OCamlPro

medium.com·1 pts·infruset·
0

Zk-SNARKs, FreeTON and OCamlPro

medium.com·2 pts·infruset·
0

Zk-SNARKs, FreeTON and OCamlPro

medium.com·5 pts·infruset·
0

Zk-SNARKs, FreeTON and OCamlPro

medium.com·2 pts·infruset·
0

Juan Benet Building Web3: Filecoin and Ethereum Better Together

youtube.com·3 pts·infruset·
0

Zk-SNARKs, FreeTON and OCamlPro

medium.com·3 pts·infruset·
0

OCaml Documentation Hub

docs.ocaml.pro·4 pts·infruset·
0

OCaml Documentation Hub

docs.ocaml.pro·6 pts·infruset·
0

Coq 8.13

coq.inria.fr·116 pts·infruset·
41

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

theguardian.com·49 pts·infruset·
9

A Formal Proof of the Irrationality of ζ(3)

arxiv.org·1 pts·infruset·
0

What's Wrong with Academia?

a3nm.net·1 pts·infruset·
0

A Solidity Parser in OCaml with Menhir

medium.com·1 pts·infruset·
0

Demystifying Supersonic (Snark Protocol)

research.cryptium.ch·2 pts·infruset·
0

Introduction to Binance DEX: Part I, Atomic Swaps Explained

medium.com·9 pts·infruset·
2

Games with Oracles on Blockchains

medium.com·4 pts·infruset·
0

Games with Oracles on Blockchains (Part I)

medium.com·1 pts·infruset·
0
Page 1 of 4Next →