infruset

9 ms·

31.
Hard-Core Romance: Fifty Shades of Grey, Best-Sellers, and Society(press.uchicago.edu)
1 points by infruset 3y ago|0 comments
32.
by infruset 3y ago
I had the exact same question, and I'm happy to share how I got an immediate, complete and clear answer: https://chat.openai.com/share/8813ec1b-f64d-4dad-9b80-a8d3a2...
33.
by infruset 3y ago
Care to share your scripts and setup? I would love to explore something like that!
34.
As Classic Novels Get Revised for Today’s Readers, Where to Draw the Line(nytimes.com)
3 points by infruset 4y ago|0 comments
35.
by infruset 4y ago
Very nice. Would it be easy to add other languages than English? Also, as others have notes, I had to open it in Chrome to make it work, Firefox didn't work.
36.
Content of all release source code asset tarballs has changed(gitlab.com)
2 points by infruset 4y ago|0 comments
37.
Confessions of a Genius Art Forger (2012)(spiegel.de)
1 points by infruset 4y ago|0 comments
38.
SCaml(scamlang.dev)
2 points by infruset 5y ago|1 comments
39.
by infruset 5y ago
https://github.com/ocaml/ocaml/pull/10831
40.
by infruset 5y ago
I'm seeing many dismissive comments, and as this seems to be due to the length of the piece, I would warmly recommend anyone interested in languages, literature (and especially their cross-cultural implications) to set it aside to read
41.
by infruset 5y ago
The project has actually re-launched independently under the name of FreeTON, and now EverScale: https://docs.tonalliance.org/ https://coinmarketcap.com/currencies/ton-crystal/
42.
Timelock: A solution to miner/block producer extractable value(research-development.nomadic-labs.com)
1 points by infruset 5y ago|0 comments
43.
by infruset 5y ago
I had this exact idea some time ago, I'm happy someone made it :-) Inadvertently it highlights the fee problem of Ethereum, but I'm sure someone will pay for it. I was about to enter a haiku from Roland Barthes' "Prépara
44.
Capsule Social: September 2021 Update(capsule.social)
1 points by infruset 5y ago|0 comments
45.
Zk-SNARKs, FreeTON and OCamlPro(medium.com)
1 points by infruset 5y ago|0 comments
46.
Zk-SNARKs, FreeTON and OCamlPro(medium.com)
2 points by infruset 5y ago|0 comments
47.
Zk-SNARKs, FreeTON and OCamlPro(medium.com)
5 points by infruset 5y ago|0 comments
48.
Zk-SNARKs, FreeTON and OCamlPro(medium.com)
2 points by infruset 5y ago|0 comments
49.
Juan Benet Building Web3: Filecoin and Ethereum Better Together(youtube.com)
3 points by infruset 5y ago|0 comments
50.
Zk-SNARKs, FreeTON and OCamlPro(medium.com)
3 points by infruset 5y ago|0 comments
51.
OCaml Documentation Hub(docs.ocaml.pro)
4 points by infruset 5y ago|0 comments
52.
OCaml Documentation Hub(docs.ocaml.pro)
6 points by infruset 5y ago|0 comments
53.
Coq 8.13(coq.inria.fr)
116 points by infruset 6y ago|41 comments
54.
by infruset 6y ago
Other discussion at https://news.ycombinator.com/item?id=25768286
55.
by infruset 6y ago
Other discussion: https://news.ycombinator.com/item?id=25768286
56.
by infruset 6y ago
Other Discussion: https://news.ycombinator.com/item?id=25768286
57.
Donald Trump becomes the first US president to be impeached for a second time(theguardian.com)
49 points by infruset 6y ago|9 comments
58.
A Formal Proof of the Irrationality of ζ(3)(arxiv.org)
1 points by infruset 6y ago|0 comments
59.
What's Wrong with Academia?(a3nm.net)
1 points by infruset 6y ago|0 comments
60.
by infruset 6y ago
Here is a Coq mechanized proof of the Odd order theorem, a (huge) step towards the classification: https://github.com/math-comp/odd-order The paper is here: https://hal.archives-ouvertes.fr/hal-00816699

More ›