slick papers and demos

spd.md

• https://www.ics.uci.edu/~dan/pubs/p341-hirschberg.pdf

• https://cs3110.github.io/textbook/chapters/adv/curry-howard.html

• http://tomwildenhain.com/PowerPointTM/Paper.pdf

• https://www.ics.uci.edu/~fielding/pubs/dissertation/rest_arch_style.htm

• https://academic.oup.com/comjnl/article-pdf/10/3/282/1333509/100282.pdf

• https://hal.science/hal-01633123/document

• https://arxiv.org/pdf/1502.06461.pdf

• https://users.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf

• https://arxiv.org/pdf/1608.05343.pdf

• https://research.facebook.com/file/1309207336201001/Zero-Downtime-Release-Disruption-free-Load-Balancing-of-a-Multi-Billion-User-Website.pdf

• https://arxiv.org/pdf/1106.4692

• https://lamport.azurewebsites.net/pubs/garbage.pdf

• https://www.openproceedings.org/2014/conf/icdt/Veldhuizen14.pdf

• https://legacy.cs.indiana.edu/~sabry/papers/yield.pdf

• https://ora.ox.ac.uk/objects/uuid:69c743d9-73de-4aff-8e6f-b4dd7c010907/download_file?safe_filename=GJK.PDF&file_format=application%2Fpdf&type_of_work=Journal+article

• https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf

• https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf

• https://czyborra.com/unifont/

• https://www.unison-lang.org/docs/the-big-idea/

• https://www.youtube.com/watch?v=uNjxe8ShM-8

• https://www.youtube.com/watch?v=HNsQxI2PdAI

• https://www.youtube.com/watch?v=R7EEoWg6Ekk

• https://www.youtube.com/watch?v=yJDv-zdhzMY

• https://www.youtube.com/watch?v=6uPwQuxjgQo

• https://www.youtube.com/watch?v=_DTpQ4Kk2wA

• https://www.youtube.com/watch?v=tc4ROCJYbm0

• https://www.youtube.com/watch?v=p2LZLYcu_JY

• https://www.youtube.com/watch?v=LP1t_pzxKyE

• https://www.youtube.com/watch?v=0ZEX_l0DFK0

• https://www.youtube.com/watch?v=5sskbSvha9M

• https://www.youtube.com/watch?v=aMcJ1Jvtef0

• https://www.youtube.com/watch?v=qv6UVOQ0F44

• https://www.youtube.com/watch?v=hqKafI7Amd8

• https://www.youtube.com/watch?v=vmajlKJlT3U

• https://www.youtube.com/watch?v=yjmKMhJOJos

• https://www.youtube.com/watch?v=8aGhZQkoFbQ

• https://www.youtube.com/watch?v=JRPC7a_AcQo

• https://www.youtube.com/watch?v=0L2YAU-jmcE

• https://www.youtube.com/watch?v=OI_HFnNTfyU

• https://www.youtube.com/watch?v=20ihzA8v89U

• https://www.youtube.com/watch?v=IZmaeC_Ma5A

• https://www.youtube.com/watch?v=zKyv-IGvgGE

• https://www.youtube.com/watch?v=9LfmrkyP81M

• https://www.youtube.com/watch?v=hzPd3umu78g

• https://www.youtube.com/watch?v=zrNr3JVUc8I

• https://www.youtube.com/watch?v=aSEQfqNYNAc

• https://www.youtube.com/watch?v=8Ab3ArE8W3s&t=1156s

• https://www.youtube.com/watch?v=iqXjGiQ_D-A

• https://youtu.be/sC1B3d9C_sI?t=1066 <------ probably the GOAT

• https://www.youtube.com/watch?v=2vnTtiLrV1w

• https://youtu.be/1ZTRb-2DZGs?t=149

• https://www.youtube.com/watch?v=YQDlqOVxUqA

• https://www.youtube.com/watch?v=2QrX5jsiico

• https://www.youtube.com/watch?v=l3agg64LM88

• https://www.youtube.com/watch?v=FeAMiBKi_EM

• https://www.youtube.com/watch?v=nZLz0o4duRs

• https://www.youtube.com/watch?v=Ei6VTwhI8QQ

• https://www.youtube.com/watch?v=FW6Vx2g9OCI

• https://twitter.com/claviska/status/1710098277767729479

• https://www.youtube.com/watch?v=OJb8A6h9jQQ

• https://www.youtube.com/watch?v=roP_HC7tiXw

• https://www.youtube.com/watch?v=T8pjE2JMv-c

• https://www.youtube.com/watch?v=72y2EC5fkcE

• https://www.youtube.com/watch?v=w8XINfralSE

• https://www.youtube.com/watch?v=h6Cw9iCDVcU

• https://www.youtube.com/watch?v=8U3hl8XMm8c

• https://www.youtube.com/watch?v=hrBq8R_kxI0

• https://www.youtube.com/watch?v=5EHte4GfG5Q

• https://redecentralize.org/interviews/2014/08/20/17-kenton-varda.html

• https://justine.lol/printvideo.html

• http://www.ericbrasseur.org/gamma.html