Dmitrii Manik's starred repositories
awesome-crdt
A collection of awesome CRDT resources
awesome-self-reference
A curated list of examples of self-reference in art, science, and technology
nutrition_health_papers_and_videos
Nutrition and health related papers I've read and that I am reading
awesome-applied-ct
ACT community resources
homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
Fundamental-Haskell
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
castlemacs
Modern, minimalist Emacs for macOS ⌘
macOS-Security-and-Privacy-Guide
Guide to securing and improving privacy on macOS
system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
what-happens-when
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
awesome-scalability
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
awesome-consensus
Awesome list for Paxos and friends
martin-lof
papers of Per Martin Löf