Signets

626 shaares

626 shaares

Filters

17 / 32

Links per page

20 50 100

The unrealized potential of federation

September 20, 2020 08:02:25 PM GMT+02:00 * · permalink

·

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

Magic-Wormhole

September 18, 2020 03:23:46 PM GMT+02:00 * · permalink

·

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

A Deep Dive into Monte Carlo Tree Search

September 18, 2020 11:27:28 AM GMT+02:00 * · permalink

·

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

The International Obfuscated C Code Contest (IOCCC)

computer-science/competition

September 17, 2020 01:38:23 PM GMT+02:00 * · permalink

·

http://www.ioccc.org/

When Math Gets Impossibly Hard

maths/logic

September 17, 2020 10:03:05 AM GMT+02:00 * · permalink

·

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

Plain Language Association International (PLAIN)

September 16, 2020 10:09:57 PM GMT+02:00 * · permalink

·

https://plainlanguagenetwork.org/

Plain Language

September 16, 2020 10:04:22 PM GMT+02:00 * · permalink

·

https://plainlanguage.gov/

List of limits - Wikipedia

September 15, 2020 05:23:19 PM GMT+02:00 * · permalink

·

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

asymptotics-cheatsheet.pdf

September 15, 2020 04:22:28 PM GMT+02:00 * · permalink

·

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

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

maths/foundation · programming/proof

September 14, 2020 01:19:39 PM GMT+02:00 * · permalink

·

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

jsCoq – The Coq Theorem Prover Online IDE

programming/proof

September 14, 2020 01:16:37 PM GMT+02:00 * · permalink

·

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

Sorting Out Sorting

video · computer-science/complexity

September 14, 2020 12:36:29 PM GMT+02:00 * · permalink

·

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

Univalent Mathematics · GitHub

September 14, 2020 11:37:47 AM GMT+02:00 * · permalink

·

https://github.com/UniMath

Analysis of Bloom filters with Coq

programming/proof · computer-science/probabilistic

September 14, 2020 11:32:49 AM GMT+02:00 * · permalink

·

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

Stalled!

urbanism · architecture

September 13, 2020 11:56:15 PM GMT+02:00 * · permalink

·

https://www.stalled.online/

Minitel: The Online World France Built Before the Web

technology/telcom · computer-science/history

September 11, 2020 11:51:13 AM GMT+02:00 * · 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 01:40:07 PM GMT+02:00 * · permalink

·

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

Repology

foss/packaging

September 8, 2020 02:31:27 PM GMT+02:00 * · permalink

·

https://repology.org/

SPDX License list

foss

September 7, 2020 01:50:41 PM GMT+02:00 * · permalink

·

https://spdx.org/licenses/

Stockfish

chess/algorithmics · foss

September 5, 2020 09:10:24 PM GMT+02:00 * · permalink

·

https://stockfishchess.org/

Filters

17 / 32

Links per page

20 50 100