Signets

Delete Set public Set private

306 shaares

306 shaares

1 / 16

Links per page

20 50 100

The unrealized potential of federation

September 20, 2020 at 8:02:25 PM GMT+2 · permalink

·

https://drewdevault.com/2020/09/20/The-potential-of-federation.html

Magic-Wormhole

September 18, 2020 at 3:23:46 PM GMT+2 · permalink

·

https://magic-wormhole.readthedocs.io/en/latest/welcome.html

A Deep Dive into Monte Carlo Tree Search

September 18, 2020 at 11:27:28 AM GMT+2 · permalink

·

https://www.moderndescartes.com/essays/deep_dive_mcts/

The International Obfuscated C Code Contest (IOCCC)

computer-science/competition

September 17, 2020 at 1:38:23 PM GMT+2 · permalink

·

http://www.ioccc.org/

When Math Gets Impossibly Hard

September 17, 2020 at 10:03:05 AM GMT+2 · permalink

·

https://www.quantamagazine.org/when-math-gets-impossibly-hard-20200914/

Plain Language Association International (PLAIN)

September 16, 2020 at 10:09:57 PM GMT+2 · permalink

·

https://plainlanguagenetwork.org/

Plain Language

September 16, 2020 at 10:04:22 PM GMT+2 · permalink

·

https://plainlanguage.gov/

List of limits - Wikipedia

September 15, 2020 at 5:23:19 PM GMT+2 · permalink

·

https://en.wikipedia.org/wiki/List_of_limits

asymptotics-cheatsheet.pdf

September 15, 2020 at 4:22:28 PM GMT+2 · permalink

·

http://web.mit.edu/broder/Public/asymptotics-cheatsheet.pdf

Théorie des types dépendants et axiome d’univalence

maths/foundation · maths/logic/proof

September 14, 2020 at 1:19:39 PM GMT+2 · permalink

·

http://www.cse.chalmers.se/~coquand/paperbourbaki.pdf

jsCoq – The Coq Theorem Prover Online IDE

maths/logic/proof

September 14, 2020 at 1:16:37 PM GMT+2 * · permalink

·

https://jscoq.github.io/scratchpad.html

Sorting Out Sorting

computer-science/complexity · video

September 14, 2020 at 12:36:29 PM GMT+2 * · permalink

·

https://www.youtube.com/watch?v=SJwEwA5gOkM

Univalent Mathematics · GitHub

September 14, 2020 at 11:37:47 AM GMT+2 · permalink

·

https://github.com/UniMath

Analysis of Bloom filters with Coq

computer-science/probabilistic · maths/logic/proof

September 14, 2020 at 11:32:49 AM GMT+2 * · permalink

·

https://gopiandcode.uk/logs/log-bloomfilters-debunked.html

Stalled!

architecture · urbanism

September 13, 2020 at 11:56:15 PM GMT+2 * · permalink

·

https://www.stalled.online/

Minitel: The Online World France Built Before the Web

technology/telcom

September 11, 2020 at 11:51:13 AM GMT+2 * · permalink

·

https://spectrum.ieee.org/tech-history/cyberspace/minitel-the-online-world-france-built-before-the-web

Non-POSIX file systems

technology/filesystem

September 9, 2020 at 1:40:07 PM GMT+2 * · permalink

·

https://weinholt.se/articles/non-posix-filesystems/

Repology

foss/packaging

September 8, 2020 at 2:31:27 PM GMT+2 * · permalink

·

https://repology.org/

SPDX License list

foss

September 7, 2020 at 1:50:41 PM GMT+2 * · permalink

·

https://spdx.org/licenses/

Stockfish

chess/algorithmics · foss

September 5, 2020 at 9:10:24 PM GMT+2 * · permalink

·

https://stockfishchess.org/

1 / 16

Links per page

20 50 100