Signets

633 shaares

633 shaares

Filters

17 / 32

Links per page

20 50 100

The Infinite Pattern That Never Repeats

computer-science/computability · video

October 2, 2020 07:22:02 PM GMT+02:00 * · permalink

·

https://www.youtube.com/watch?v=48sCx-wBs34

Artificial Life – The International Society for Artificial Life

October 2, 2020 07:21:56 PM GMT+02:00 * · permalink

·

https://alife.org/

Notung 2.9

computer-science/bioinformatics

October 1, 2020 04:21:41 PM GMT+02:00 * · permalink

·

http://www.cs.cmu.edu/~durand/Notung/index.html

How to not mess up your bibliographies with Bibtex | Claus O. Wilke

October 1, 2020 01:12:18 PM GMT+02:00 * · permalink

·

https://clauswilke.com/blog/2015/10/02/bibtex/

Numberphile’s Proof for the Sum 1+2+3+...

maths/logic

September 25, 2020 06:37:57 PM GMT+02:00 * · permalink

·

https://journals.blythinstitute.org/ojs/index.php/cbi/article/view/36/37

Connected Papers | Find and explore academic papers

September 24, 2020 10:25:40 AM GMT+02:00 * · permalink

·

https://www.connectedpapers.com/

what3words

September 23, 2020 02:44:07 PM GMT+02:00 * · permalink

·

https://what3words.com

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

Filters

17 / 32

Links per page

20 50 100