Dependently Typed Programming in Idris: A Demo - David Raymond Christiansen
bmsherman.github.io
that's a cool slide + video advance program they are using!
Archive
9,718 entries: 104 from X, 8,928 from Pinboard, saved 1998 to 2026.
Browse by tag, site, author, folder or language
Tags
- #python 404
- #programming 344
- #tutorial 186
- #books 178
- #javascript 154
- #webdesign 147
- #mathematics 131
- #blog 128
- #css 123
- #linux 122
- #reference 107
- #lisp 102
- #llm 98
- #history 97
- #free 96
- #productivity 96
- #business 95
- #design 91
- #statistics 90
- #opensource 87
- #gtd 83
- #r 80
- #lifehacks 78
- #ajax 77
- #graphics 77
- #visualization 77
- #datamining 75
- #typography 75
- #funny 74
- #photography 73
- #ai 69
- #machine-learning 68
- #algorithms 64
- #plone 64
- #kannada 63
- #database 62
- #india 59
- #education 58
- #learning 56
- #postgresql 56
Sites
- youtube.com 268
- github.com 242
- news.ycombinator.com 224
- en.wikipedia.org 161
- x.com 106
- reddit.com 95
- nytimes.com 70
- medium.com 69
- amazon.com 66
- arxiv.org 34
- code.google.com 34
- archive.org 28
- groups.google.com 28
- wired.com 27
- theatlantic.com 24
- theguardian.com 24
- bloomberg.com 21
- newyorker.com 21
- stackoverflow.com 21
- wsj.com 21
- en.m.wikipedia.org 19
- bbc.com 18
- plone.org 18
- btbytes.com 16
- btbytes.github.io 16
- old.reddit.com 16
- washingtonpost.com 16
- artima.com 15
- google.com 15
- thehindu.com 15
- onlamp.com 14
- pragyata.com 14
- www-128.ibm.com 14
- aws.amazon.com 13
- cs.cmu.edu 13
- economist.com 13
- atlasobscura.com 12
- informit.com 12
- smashingmagazine.com 12
- thriftbooks.com 12
Authors
- @simonw 19
- @ivanfioravanti 4
- @pratikg 2
- @ShriramKMurthi 2
- @0penBot 1
- @__oQuery 1
- @achumukundan00 1
- @antoniogm 1
- @bhutanisanyam1 1
- @binsquares 1
- @BoWang87 1
- @BrankoMilan 1
- @calebfahlgren 1
- @Chris_arnade 1
- @code_star 1
- @CompleteSkeptic 1
- @coreyganim 1
- @DeepknowledgeU 1
- @dhh 1
- @dillon_mulroy 1
- @DODOREACH 1
- @ElamBend 1
- @elisa_freschi 1
- @emollick 1
- @EmreSevinc 1
- @fayazara 1
- @foxyjackfox 1
- @francoisfleuret 1
- @FrankYouChill 1
- @gabrielpeyre 1
- @GunduHuDuGa 1
- @hamsanandi 1
- @HistoryinStory 1
- @itometeam 1
- @julien_c 1
- @karrisaarinen 1
- @KathaaChitram 1
- @kaushikcbasu 1
- @KirkDBorne 1
- @kmadathil 1
Folders
- notes 548
- Liked on YouTube 19
- ThriftBooks wish list 12
- GenAI-LLM 4
- indian-classical 4
- LLM 4
- Devotional 2
- Lectures 2
- Programming 2
- Books 1
- C++ 1
- Indian Philosophy 1
- Inspirational 1
- Kaas 1
- Kannada 1
- Local Coding Agents 1
- Math 1
- Ollyver 1
- Project Ideas 1
- Rust 1
- Sales 1
- Self Hosting 1
- Synthwave and Chill 1
- Watch Later 1
- Watches 1
- World Music 1
- Yoga 1
Languages
Tags and folders
1 entrybmsherman.github.io ×2014 ×Clear all