Pinboard (cothrun)
https://pinboard.in/u:cothrun/public/
recent bookmarks from cothrunStrange Loop's greatest hits |> Changelog2023-09-15T15:30:44+00:00
https://changelog.com/posts/strange-loops-greatest-hits
cothrunThe LAST Strange Loop conference is right around the corner! The conference has accumulated 673 videos on its YouTube channel, which means there’s gold in them hills, but finding the gold might consume some of your precious time. Good news! I was hanging out in the conference’s Slack when someone asked: What are some ...]]>talks conference bestof lists computersciencehttps://pinboard.in/u:cothrun/b:2f3add84e019/A guide for people who want to self-study the basics of computer science | Hacker News2023-06-18T21:11:26+00:00
https://news.ycombinator.com/item?id=36380240
cothrunmathematics computerscience learninghttps://pinboard.in/u:cothrun/b:a8807c3d260e/Teach yourself Computer Science functionally | Hacker News2023-06-13T22:34:05+00:00
https://news.ycombinator.com/item?id=36312603
cothrunfuncitonal computerscience learninghttps://pinboard.in/u:cothrun/b:5988a351208b/CMU CS Academy: a free online computer science curriculum by Carnegie Mellon | Hacker News2023-02-16T16:39:16+00:00
https://news.ycombinator.com/item?id=34814178
cothruncomputerscience education courses programhttps://pinboard.in/u:cothrun/b:e97e91a07ab7/Algorithms by Jeff Erickson (2019) | Hacker News2022-07-17T01:34:09+00:00
https://news.ycombinator.com/item?id=32106761
cothrunalgorithms computerscience bookshttps://pinboard.in/u:cothrun/b:509b1cc0fd41/Algorithms by Jeff Erickson2022-07-17T01:33:35+00:00
https://jeffe.cs.illinois.edu/teaching/algorithms/
cothrunalgorithms books computersciencehttps://pinboard.in/u:cothrun/b:d32c38ec9597/A curated list of papers for Software Engineers | Lobsters2022-07-08T17:34:25+00:00
https://lobste.rs/s/rssbig/curated_list_papers_for_software
cothrunlists papers computersciencehttps://pinboard.in/u:cothrun/b:e103d679b27a/GitHub - facundoolano/software-papers: 📚 A curated list of papers for Software Engineers2022-07-08T00:04:32+00:00
https://github.com/facundoolano/software-papers/
cothrun📚 A curated list of papers for Software Engineers. Contribute to facundoolano/software-papers development by creating an account on GitHub.]]>papers software computerscience research referencehttps://pinboard.in/u:cothrun/b:85a7f0240085/Things You Should Know About Databases2022-06-27T16:59:48+00:00
https://architecturenotes.co/things-you-should-know-about-databases/
cothrunThings You Should Know About Indexes and Transactions. This post covers internal workings of indexes and transactions of RDBMSs.]]>database architecture computersciencehttps://pinboard.in/u:cothrun/b:c67f387081b6/MLU-Explain2022-05-24T15:37:09+00:00
https://mlu-explain.github.io/
cothrunMLU-Explain]]>machinelearning ai visualization learning computerscience algorithmshttps://pinboard.in/u:cothrun/b:1e3fc93c154a/Donald Knuth on work habits, problem solving, and happiness (2020) | Hacker News2022-05-23T20:51:08+00:00
https://news.ycombinator.com/item?id=31482116
cothrunknuth interviews computersciencehttps://pinboard.in/u:cothrun/b:bae7ce7ca17a/A Functional Introduction To Computer Science (Part I)2022-05-14T22:40:52+00:00
https://cs.uwaterloo.ca/~plragde/flane/FICS/
cothrunfunctional racket learning book computersciencehttps://pinboard.in/u:cothrun/b:20ce9e2b61f4/Ideas That Created the Future: Classic Papers of Computer Science | Books Gateway | MIT Press2022-05-13T19:55:04+00:00
https://direct.mit.edu/books/book/5003/Ideas-That-Created-the-FutureClassic-Papers-of
cothrunClassic papers by thinkers ranging from Aristotle and Leibniz to Norbert Wiener and Gordon Moore that chart the evolution of computer science.Ideas That Created]]>books lists computersciencehttps://pinboard.in/u:cothrun/b:86882a607795/Programming Languages: Application and Interpretation2022-05-01T16:52:34+00:00
https://cs.brown.edu/courses/cs173/2012/book/
cothrunbook computersciencehttps://pinboard.in/u:cothrun/b:874e69012049/A Data-Centric Introduction to Computing2022-05-01T16:50:18+00:00
https://dcic-world.org/
cothrunbooks computerscience algorithms datastructureshttps://pinboard.in/u:cothrun/b:d93d56e9e69d/Overview ‹ λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus — MIT Media Lab2022-04-07T21:52:08+00:00
https://www.media.mit.edu/projects/2d-an-exploration-of-drawing-as-programming-language-featuring-ideas-from-lambda-calculus/overview/
cothrun An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus]]>programming drawing art language lambda computersciencehttps://pinboard.in/u:cothrun/b:7a7e96f3ac8f/How Postgres Stores Rows - Ketan Singh2022-03-05T20:57:05+00:00
https://ketansingh.me/posts/how-postgres-stores-rows/
cothrunpostgresql database architecture internals computersciencehttps://pinboard.in/u:cothrun/b:f5560d893a11/An accessible introduction to type theory and implementing a type-checker2022-02-14T18:31:05+00:00
https://mukulrathi.com/create-your-own-programming-language/intro-to-type-checking/
cothruntypes programming computersciencehttps://pinboard.in/u:cothrun/b:fb71c66fa53f/Dear sir, you have built a compiler | Hacker News2022-01-29T00:09:15+00:00
https://news.ycombinator.com/item?id=29891428
cothruncomplexity computersciencehttps://pinboard.in/u:cothrun/b:455d00f07413/Ask HN: I'm looking for a good book on the fundamentals of CS. Any suggestions? | Hacker News2021-12-09T16:33:32+00:00
https://news.ycombinator.com/item?id=29498220
cothruncomputerscience books listshttps://pinboard.in/u:cothrun/b:81a26e87682a/Backpressure And The Replicator | Lobsters2021-11-12T20:55:23+00:00
https://lobste.rs/s/x9kwgp/backpressure_replicator
cothrunbackpressure queue network computerscience discussion asynchttps://pinboard.in/u:cothrun/b:cdac5fac9bb0/Programming with Something2021-11-12T18:45:35+00:00
https://tomstu.art/programming-with-something
cothrunruby lambda computersciencehttps://pinboard.in/u:cothrun/b:09c5f8af8b5f/Algorithm Archive · Arcane Algorithm Archive2021-11-07T16:50:22+00:00
https://www.algorithm-archive.org/
cothrunalgorithms reference computersciencehttps://pinboard.in/u:cothrun/b:c61c70b6942e/Competitive Programmer’s Handbook Antti Laaksonen2021-10-18T17:42:35+00:00
https://cses.fi/book/book.pdf
cothrunprogramming algorithms computersciencehttps://pinboard.in/u:cothrun/b:74330ea54461/cses/problemset.md at main · offbeatcc/cses2021-10-18T17:42:17+00:00
https://github.com/offbeatcc/cses/blob/main/problemset.md
cothrunCSES problem solving club solutions, notes, and website. See the 'code' directory for solution programs. - cses/problemset.md at main · offbeatcc/cses]]>algorithms problems practice cs computersciencehttps://pinboard.in/u:cothrun/b:53c1db22c9f6/Dafny Documentation | This site contains links to Dafny documentation. The most significant is the Dafny Reference Manual.2021-10-14T21:24:23+00:00
https://dafny-lang.github.io/dafny/
cothrunlogic verification computerscience cs languagehttps://pinboard.in/https://pinboard.in/u:cothrun/b:d9879f5e6235/Programming languages resources | Max Bernstein2021-10-01T21:54:32+00:00
https://bernsteinbear.com/pl-resources/
cothrunprogramming computerscience referencehttps://pinboard.in/u:cothrun/b:2464878f5aba/Programmers Don’t Understand Hash Functions – Dhole Moments2021-08-24T17:23:46+00:00
https://soatok.blog/2021/08/24/programmers-dont-understand-hash-functions/
cothrunProgrammers don't understand hash functions, and I can demonstrate this to most of the people that will read this with a single observation: When you saw the words "hash function" in the title, you might have assumed this was going to be a blog post about password storage. I don't blame software developers for their…]]>hash datastructures cryptography computersciencehttps://pinboard.in/u:cothrun/b:ef5ad4e4e5fe/Audiobooks for Computer Science Students – Buderflys2021-08-24T17:19:16+00:00
https://buderflys.com/blogs/blog/audiobooks-for-computer-science-students
cothrunThe school year is officially kicking off for students interested in pursuing a career in computer science. While some are sitting down for their intro classes, others are ready to complete senior projects or check off their final credits before taking that big step toward realizing their goals. A CS or SWE degree is a]]>audiobooks computersciencehttps://pinboard.in/u:cothrun/b:20312db9588d/Papers every developer should read at least twice (2017) | Hacker News2021-07-20T17:04:08+00:00
https://news.ycombinator.com/item?id=27892076
cothruncomputerscience papers discussionhttps://pinboard.in/u:cothrun/b:7d8583706def/The Programming Languages Zoo2021-05-03T15:42:34+00:00
https://plzoo.andrej.com/
cothrunprogramming languages computerscience examples ocamlhttps://pinboard.in/u:cothrun/b:d8414e099955/Entire Computer Science Curriculum in 1000 YouTube Videos | Laconicml2021-03-20T20:36:56+00:00
https://laconicml.com/computer-science-curriculum-youtube-videos/
cothrunThis is The Entire Computer Science Curriculum in 1000 YouTube Videos. The curriculum is going to be organized in 40 courses in total, further organized in 4 academic years...]]>programming education learning cs computersciencehttps://pinboard.in/u:cothrun/b:315d1210f4ed/jwasham/coding-interview-university: A complete computer science study plan to become a software engineer.2020-12-16T20:45:00+00:00
https://github.com/jwasham/coding-interview-university
cothrunA complete computer science study plan to become a software engineer. - jwasham/coding-interview-university]]>learning programming interview career computersciencehttps://pinboard.in/u:cothrun/b:e576b48ca9b6/A Self-Learning, Modern Computer Science Curriculum2020-09-13T16:27:36+00:00
https://functionalcs.github.io/curriculum/
cothruncomputerscience learning curriculum programminghttps://pinboard.in/u:cothrun/b:281d76360500/CS50: Introduction to Computer Science | Harvard University2020-08-10T16:48:30+00:00
https://online-learning.harvard.edu/course/cs50-introduction-computer-science
cothrunAn introduction to the intellectual enterprises of computer science and the art of programming.]]>programming learning computersciencehttps://pinboard.in/u:cothrun/b:0f835f7de217/algorithm - How to pair socks from a pile efficiently? - Stack Overflow2019-05-29T15:52:23+00:00
https://stackoverflow.com/questions/14415881/how-to-pair-socks-from-a-pile-efficiently
cothrunalgorithms computersciencehttps://pinboard.in/u:cothrun/b:e374761ddd4d/Teach Yourself Computer Science2019-05-23T15:52:02+00:00
https://teachyourselfcs.com/
cothruncomputerscience learning bookshttps://pinboard.in/https://pinboard.in/u:cothrun/b:9b6e1e6b4c1d/Good books for deep hacks2019-05-23T15:51:30+00:00
https://begriffs.com/posts/2017-04-13-longterm-computing-reading.html
cothruncomputerscience learning books lists algorithms developmenthttps://pinboard.in/https://pinboard.in/u:cothrun/b:83a35726033a/CS:APP3e, Bryant and O'Hallaron2019-04-29T01:01:52+00:00
http://csapp.cs.cmu.edu/3e/labs.html
cothrunprograming learning exercises computersciencehttps://pinboard.in/u:cothrun/b:02bc04baf2ec/Why Don't People Use Formal Methods? • Hillel Wayne2019-01-30T21:16:26+00:00
https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
cothrunI saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote this to provide a larger historical picture of formal methods, why they’re actually so unused, and what we’re doing to make them used.]]>formalsystems computersciencehttps://pinboard.in/u:cothrun/b:90d578322477/Algorithms, 4th Edition by Robert Sedgewick and Kevin Wayne2019-01-02T16:40:38+00:00
https://algs4.cs.princeton.edu/home/
cothrunalgorithms computerscience course bookshttps://pinboard.in/u:cothrun/b:685e97d26b22/How to Architect a Query Compiler, Revisited [pdf] | Hacker News2018-08-28T15:37:47+00:00
https://news.ycombinator.com/item?id=17851941
cothrunquery compiler database papers computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:c80a43bf4397/aPToP-A2018-08-02T16:54:10+00:00
http://www.cs.toronto.edu/~hehner/aPToP/aPToP.pdf
cothrunprogramming learning theory computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:74a07feef875/CS Unplugged2018-07-11T15:17:37+00:00
https://csunplugged.org/en/
cothruneducation programming computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:9d28b71f86ff/Prabhakar Ragde's flâneries2018-06-20T15:51:14+00:00
https://cs.uwaterloo.ca/~plragde/flaneries/
cothrunlearning computerscience functional datastructureshttps://pinboard.in/https://pinboard.in/u:cothrun/b:9457f106eecc/MIT lecturer Ana Bell discusses books to learn CS and programming | Hacker News2018-05-03T15:45:17+00:00
https://news.ycombinator.com/item?id=16977054
cothrunlists books learning computerscience algorithmhttps://pinboard.in/https://pinboard.in/u:cothrun/b:1b5b48993a15/Readings | Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare2018-03-18T19:06:50+00:00
https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/readings/
cothruncomputerscience mathhttps://pinboard.in/https://pinboard.in/u:cothrun/b:50d47b566c0d/King James Programming2017-12-27T21:18:29+00:00
http://kingjamesprogramming.tumblr.com/page/3
cothrunhumor religion programming computerscience algorithmhttps://pinboard.in/https://pinboard.in/u:cothrun/b:5538e14efbae/Ask HN: Fully online CS degrees? | Hacker News2017-12-11T20:29:03+00:00
https://news.ycombinator.com/item?id=15899383
cothruncomputerscience learning degree college universityhttps://pinboard.in/https://pinboard.in/u:cothrun/b:609b4dbaea97/jwasham/coding-interview-university: A complete computer science study plan to become a software engineer.2017-12-11T19:08:42+00:00
https://github.com/jwasham/coding-interview-university#pick-one-language-for-the-interview
cothruncomputerscience learning course self-improvementhttps://pinboard.in/https://pinboard.in/u:cothrun/b:010b7e2b762a/What Have We Learned from the PDP-11? | Dave Cheney2017-12-08T04:27:01+00:00
https://dave.cheney.net/2017/12/04/what-have-we-learned-from-the-pdp-11
cothrunhistory architecture computerscience computers engineeringhttps://pinboard.in/https://pinboard.in/u:cothrun/b:f2226a814f6c/How to Design Programs, Second Edition2017-12-07T19:17:17+00:00
http://www.ccis.northeastern.edu/home/matthias/HtDP2e/index.html
cothrunlearning racket computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:991957123bda/Ask HN: What are some interesting papers in CS for a beginner? | Hacker News2017-11-15T00:17:16+00:00
https://news.ycombinator.com/item?id=15695326
cothruncomputerscience papers reading listshttps://pinboard.in/https://pinboard.in/u:cothrun/b:31b7a6a982cc/Collapsing Towers of Interpreters2017-11-07T03:11:32+00:00
https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf
cothrunpapers interpreter computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:131c8e7c26ae/Ask HN: What is your favorite CS paper? | Hacker News2017-08-24T17:52:20+00:00
https://news.ycombinator.com/item?id=15089476
cothruncomputerscience math papershttps://pinboard.in/https://pinboard.in/u:cothrun/b:f4c6374aa368/A programming language from scratch: 3 steps to an interpreter | Hacker News2017-08-17T17:40:42+00:00
https://news.ycombinator.com/item?id=15034089
cothrunlanguage interpreter computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:7e633a13a2ec/Computer Science Courses | edX2017-06-30T02:47:08+00:00
https://www.edx.org/course/subject/computer-science
cothruncomputerscience education learninghttps://pinboard.in/https://pinboard.in/u:cothrun/b:4a5720ba6f8e/Control Flow · Crafting Interpreters2017-06-26T23:16:52+00:00
http://www.craftinginterpreters.com/control-flow.html
cothruninterpreter computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:2b0abb5581d7/Dorado List2017-06-26T01:39:10+00:00
http://www.doradolist.com/#
cothrunlists learning computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:cedf40fc32eb/Parallel Universe2017-03-17T13:45:44+00:00
http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/
cothrunfunctional computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:c94428d632f7/Mathematics for Computer Science [pdf]2017-03-06T05:21:27+00:00
http://hn.premii.com/#/comments/13800320
cothruncomputerscience math mathematicshttps://pinboard.in/u:cothrun/b:3632ed9245b6/numerical.recipes2017-01-29T20:01:21+00:00
http://numerical.recipes/
cothrunalgorithms computerscience sciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:2246afafd0ce/Intro to High Performance Scientific Computing2017-01-24T18:22:52+00:00
http://pages.tacc.utexas.edu/~eijkhout/istc/istc.html
cothruncomputerscience science book learning mathematicshttps://pinboard.in/https://pinboard.in/u:cothrun/b:883bfd08e4da/P vs. NP | Hacker News2017-01-06T03:16:27+00:00
https://news.ycombinator.com/item?id=13315382
cothruncomplexity computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:755e7e208d35/Computer Science from the Bottom Up2016-12-25T22:21:20+00:00
https://www.bottomupcs.com/
cothruncomputerscience education book algorithmhttps://pinboard.in/https://pinboard.in/u:cothrun/b:4db706bf915c/Computer Science from the Bottom Up (2013) | Hacker News2016-12-25T22:21:06+00:00
https://news.ycombinator.com/item?id=13249675
cothruncomputersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:94f791707e37/Why I wrote a book about interpreters | Hacker News2016-12-01T18:24:47+00:00
https://news.ycombinator.com/item?id=13079611
cothruninterpreter compiler computersciencehttps://pinboard.in/https://pinboard.in/u:cothrun/b:5a5d90d84e69/Stevey's Blog Rants: Rich Programmer Food2016-12-01T18:22:48+00:00
http://steve-yegge.blogspot.de/2007/06/rich-programmer-food.html
cothruncomputerscience compilerhttps://pinboard.in/https://pinboard.in/u:cothrun/b:6614d10958f6/Zero-allocation Trie Traversal « null program2016-11-13T23:02:03+00:00
http://nullprogram.com/blog/2016/11/13/
cothrunalgorithms datastructures computerscience c++https://pinboard.in/https://pinboard.in/u:cothrun/b:a9306f78cf20/How to Write a Lisp Interpreter in Python (2010) | Hacker News2016-10-24T19:24:06+00:00
https://news.ycombinator.com/item?id=12777852
cothrunlisp python compiler computerscience learninghttps://pinboard.in/https://pinboard.in/u:cothrun/b:eb95ae8c5841/