awalterschulze / learningLinks
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
☆166Updated 5 months ago
Alternatives and similar repositories for learning
Users that are interested in learning are comparing it to the libraries listed below
Sorting:
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- Learn TLA+ for free! No prior experience necessary!☆218Updated 4 months ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆473Updated last year
- A curated list of TLA+ resources.☆149Updated last year
- A Modern CompSci Curriculum☆302Updated last week
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆171Updated 4 years ago
- ☆392Updated 15 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 9 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…☆54Updated 11 months ago
- A list of papers on system design.☆199Updated 3 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 6 years ago
- The website of the London Computation Club☆74Updated last year
- Notes on Lindsey Kuper's lectures on Distributed Systems☆478Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆71Updated 7 months ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆292Updated 3 years ago
- ☆69Updated 2 years ago
- Systems and failure reading list☆200Updated 3 years ago
- SICP Course☆229Updated 4 years ago
- Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go.☆188Updated 8 years ago
- A Distributed Systems Reading List☆184Updated 4 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆135Updated 2 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- A TLA+ guide☆279Updated 3 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆219Updated 2 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆136Updated 4 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- ☆101Updated 7 years ago