🗄️§ Archive

1271 pages

📝 Function color does not apply to Rust async
📖 The design of fast content-defined chunking for data deduplication based storage systems
📖 Breaking and Fixing Content-Defined Chunking
📝 LLM-based editors/agents are an example of paid development tools
📖 The RISC-V Instruction Set Manual Volume I: Unprivileged ISA
📖 The RISC-V Instruction Set Manual Volume II: Privileged Architecture
📝 Registers may occupy significant portion of die size in very small processors
📝 Number of CPU registers is primarily limited by ISA encoding size
📝 RISC-V allows building smaller chips compared to other ISAs
📖 The Genius of RISC-V Microprocessors
📖 How to Read a Book
📝 Programming languages are moving up the abstraction levels
📝 Assembly was the first jump from binary to text
📝 Text has become much more complicated with Unicode
📝 Text has become a popular format because it’s simple, human-readable and human-writable
📝 Text source code is adding friction to some programming constructs
📝 Externalizing knowledge fights illusion of explanatory depth
📝 Non-understanding is unpredictability
📝 We tolerate complexity by being ignorant
📝 Illusion of explanatory depth
📝 Do not distribute your system unless you have to
📖 Perceus: Garbage Free Reference Counting with Reuse (Extended version)
📝 How you do anything is how you do everything
📝 Managers should be careful to not destroy people’s natural motivation
📝 Progress is one of the main motivators of people at work
📝 Set decision-making rules when team consensus stalls
📝 LLM-aided development is similar to code generation wizards
📝 Durability is at odds with High Availability
📖 Dynamo: Amazon’s highly available key-value store
📖 Introducing Support for Move Operations in Melda CRDT
📖 Melda: a general purpose delta state JSON CRDT
📝 Hybrid Logical Clock
📖 Merkle Search Trees: Efficient State-Based CRDTs in Open Networks
📖 Approaches to conflict-free replicated data types
📝 Mechanical sympathy
📝 Causal consistency is the strongest consistency model achievable while not losing availability
📝 CAP theorem was proved interpreting strong consistency as linearizability
📝 Content addressing forces data into DAG
📖 Merkle-CRDTs: Merkle-DAGs meet CRDTs
📝 How to: nix-direnv in manual mode
📝 § Job titles
📝 Job title = role + level
📝 Job roles are a good tool to quickly establish context in communication
📝 Job titles are a tool to quickly establish context
📝 Inconsistent/unfair job titles don’t grant assumed credibility
📝 Job titles grant assumed credibility
📝 Quote: having a proper job title helps underrepresented folks
📝 Having appropriate job title helps save time and energy
📝 Bit-flipping attack
📝 Structural editors must handle invalid/broken state
📝 Pretend the software is magic
📝 DLT trust is dependent on majority following the rules
📝 Use Distributed State Machines to handle centralized requests in CRDT
📝 Linguistic relativity applies to programming and query languages as well
📝 Linguistic relativity
📝 § Brainstorming
📝 Production blocking in brainstorming
📝 Sharing ideas on stickies helps to avoid production blocking
📝 For best brainstorming, cycle through individual idea generation and group idea sharing
📖 Notes on: “Graphs, Metagraphs, RAM, CPU” by Linas Vepštas
📝 Group brainstorming feels more productive because it is cognitively easier
📝 Brainstorming individually is more efficient that brainstorming in a group
📝 To avoid groupthink, start individually and then merge
📖 Notes on: Group versus individual performance on tasks requiring ideational proficiency (brainstorming): a review
📖 Notes on: “Decisive” by Chip & Dan Heath
📝 Vanishing Options Test
📝 Execs who weigh more options actually make decisions faster
📝 All-or-nothing thinking
📝 You are susceptible to confirmation bias even if you seek out more information
📝 Product experiments should not be scientifically rigorous
📝 Shadow is not necessarily bad aspects of ourselves
📖 Notes on: “Continuous Discovery Habits” by Teresa Torres
📝 In product discovery interview, ask customers to share stories
📝 Reification fallacy
📝 Golang cheatsheet
📝 Thoughts subvocalization is similar to subvocalization in rapid reading
📝 We verbalize/visualize thoughts to activate our brain “from outside”
📝 Conducting an interview, you’re also representing your company
📝 LLM chatbots could allow communicating with Zettelkasten
📝 Unison might be a good language for LLM-driven programming
📝 LLMs work better with static/typed programming languages
📝 LLMs work better with explicit/verbose code
📝 LLMs can expedite software development by offloading simple tasks
📝 With advance of computing, programming becomes more and more complicated
📝 Code as Craft is a marketing tool to attract talent
📝 Programming used to be perceived as a second-class intellectual activity
📖 The Humble Programmer
📖 The Death of Code as Craft
📖 The Slight Edge
📖 Adult Children of Emotionally Immature Parents: How to Heal from Distant, Rejecting, or Self-Involved Parents
📝 How to track UTM parameters in Google Ads
📝 Work expands to fill available team
📝 War metaphor in business
📖 Notes on: Fried, J., & Heinemeier Hansson, D. (2018): It does't have to be crazy at work
📝 Language runtime
📖 Stress. Chapter 43 - Burnout
📝 Humans experience loneliness because being alone used to be dangerous
📝 Laziness might be a symptom of burnout
📝 Excitement is the first stage of burnout
📝 Technical design speeds up implementation by avoiding rework
📝 Useful RDF vocabularies/ontologies
📝 User-programmable language parser
📝 Diamond-square terrain generation
📝 § Noise functions
📝 Perlin algorithm generates square noise
📝 Fractal noise
📝 Use gradient noise functions for map generation
📝 A*
📝 ECS makes it easy to store/load game state
📝 ECS architecture allows great flexibility in defining entity types
📝 ECS may provide better performance
📝 (ECS) Cross-system communication via event entities
📝 Entity Component System (ECS)
📝 Goal-Oriented Action Planning
📝 For engineering department, the goal of planning is to solve project management triangle
📝 Formal planning is usually done when budget is involved
📝 Estimates in project planning phase tend to become deadlines
📝 Project management triangle
📝 § Project planning phase
📝 Feedback (loop) is a requirement for improvement
📝 § Feedback loop
📝 Log working time to improve your estimates
📝 Tackle risky tasks as early as possible
📝 How to involve team into design?
📝 How to: disable <a> link
🖋 Migrating from Next.js to Astro
📝 Lowering the friction may exponentially influence the usage
📝 Bit.dev decouples components and packages to lower the barrier to create a new component
📝 § B-tree
📝 Push smart components up as much as possible
📝 Smart/dumb components (Container/View)
📝 Injecting container implementation per container
📝 Injecting smart components / containers
📖 The Mirroring Hypothesis: Theory, Evidence and Exceptions
📝 Software design is better done by the implementation team
📝 As an architect, allow the team to get the experience and learn
📝 Software architects should continue coding to get the feedback
📝 Defaults matter
📝 Process boundaries are harder to violate than module boundaries
📝 Microservices architecture is a way to de-couple organizations (allowing them to grow)
📝 Domain-driven design
📝 CSRF (Cross-site request forgery)
📝 Terraform
📝 Data outlives code
📝 Retrospective activities
📖 Designing Data-Intensive Applications
📖 Conflict-Free Partially Replicated Data Types
📖 The log-structured merge-tree (lsm-tree)
📝 CmRDT naturally allow inspecting the history
📝 How-to: disable .DS_Store on macOS
📖 Conflict-Free Replicated Data Types
📝 Lightning Memory-Mapped Database (LMDB)
📝 Key-value stores can be used as database storage engines
📝 RDF vs. LPG
📝 Labeled Property Graph (LPG)
📝 Resource Description Framework (RDF)
📝 Designers of systems tend to design ways for themselves to bypass the system
📝 Database as an OS component
📝 § Personal computing
📝 You shouldn’t be thinking that you’re using different computers
📝 Lexorank
📝 Every extensible system feels messy and spaghetti-like
📖 Drive: the surprising truth about what motivates us
📝 Being liberal in accepted input hinders backward compatibility
📝 Being strict in accepted input allows finding errors
📝 Postel’s Law
📝 Co-effect system reifies dependencies
📝 Effect systems reify effects
📖 Knowledge illusion : the myth of individual thought and the power of collective wisdom
📖 Radical honesty: how to transform your life by telling the truth
👨‍🔬 Alpha
👨‍🔬 Alpha #8: Let bindings and recovery from HIR refactoring
📝 § Intermediate Representation (IR)
📝 vnmakarov/mir
📝 Compiler optimization are still worth to pursue
📝 CPS is better suited for later compilation stages
📖 The Case for 'Developer Experience'
📝 Applications as sandboxes are the result of Conway’s law
📝 LLVM IR
👨‍🔬 Alpha #7: HIR, High-level Intermediate Representation
📖 Software design for flexibility: how to avoid programming yourself into a corner
📖 Principles: life and work
📝 Swift Intermediate Language (SIL)
📖 2015 LLVM Developers’ Meeting: Joseph Groff & Chris Lattner “Swift's High-Level IR: A Case Study..."
👨‍🔬 Alpha #6: Compiling with Continuations, continued
📝 Humans are fearful and anxious because we used to be in the middle of the food chain
📝 Humans are not designed for comfort
📝 Science does not study you (unless you’re a lab rat)
📝 Co-effects
📖 Compiling with continuations, or without? whatever.
📝 Compiling with continuations resources
📖 Compiling without continuations
📖 Compiling with continuations, continued
📖 The essence of compiling with continuations
📝 Rust: on-stack dynamic dispatch
👨‍🔬 Alpha #5: Compiling with Continuations
📝 A major version bump does not imply incompatibility
📝 § Package management and versioning
📝 Version numbers version package interface as a whole
📝 Packages only use a subset of other packages’ interfaces
📝 Libraries should communicate dependencies’ versions constraints
📝 Dependencies’ version constraints require additional maintenance work
📝 Version number communicates version of the interface and of its implementation
📝 Implicit interface
📝 Interface is second-class for package managers
📝 Packages could declare their dependencies’ interface instead of version constraint
📝 Package managers are dependency injection mechanisms
📝 It is preferable to have a single version of each library
📝 Libraries should not pin specific versions of dependencies
👨‍🔬 Alpha #4: garbage collection and golden testing
👨‍🔬 Alpha #3: dynamically-sized types and almost-finished garbage collection
📝 (LLVM) How to: debug shadow stack gc lowering
📝 Zig functions are colorless
📝 Zig
📝 Conservative GC can relocate objects if their pointer does not occur on stack
📝 Servo’s GC types are only safe because GC is conservative
📝 How to write a Rust lint?
📝 Servo uses Rust lints to ensure all GC pointers are rooted
📝 Resource management
📝 GC only helps with memory but not other resources
📝 If objects are immutable, older memory can never point to the newly-allocated memory
📝 A generational GC can skip scanning an old generation if it is known to not contain references to newer generations
📝 VM page protection tricks can be used in normal apps too
📝 mprotect to implement a write barrier (GC)
📝 Dependency injection
📝 Run GC as often as possible to test it and catch bugs
📝 Using mprotect none to catch GC bugs
📖 Domain-driven design: tackling complexity in the heart of software
📝 Rust, variable-length arrays in structs
📝 § Garbage collection
📝 Shadow stack
📝 Software is not additive
📝 In Rust, mut/const references are more about exclusive/shared access
👨‍🔬 Alpha #2: multi-methods, type hierarchy, and dot desugaring
📝 Uniform access principle
📝 Dot-call desugaring to function call
📝 Destructive/non-destructive move
📝 Atomic ordering
👨‍🔬 Alpha #1: a newborn programming language for extensible systems
📖 On writing well: the classic guide to writing nonfiction
📝 Image-based programming systems
📝 Pratt parser
📝 SMART goals
📝 Proebsting’s law
📝 You cannot correct your course if you’re standing still
📝 Racket: Parameters
📝 Reader/State vs dynamic scoping
📝 Karpman Drama Triangle
📖 Write useful books: a modern approach to designing and refining recommendable nonfiction
📝 In a dynamically-typed language, every function is parametrically polymorphic
📝 Aliasing only matters if a reference is aliased with another mutable reference
📝 § Aliasing
📝 If aliasing is possible, a function call invalidates value analysis / cached value
📝 Enums are not extensible
📝 Turing tarpit
📝 Symmetric vs asymmetric multiple dispatch
📝 Ad hoc hierarchy system
📝 Multiple dispatch implementation
📝 § Programming language implementation
📝 Constant-time “is-a” type check with single inheritance
📝 Reading code is not a goal
📝 Algorithm reification
📝 Example-driven development
📝 Design issue vs tool issue
📝 Function color
📖 Mindful Self-Discipline
📝 Nominal subtyping establishes a partial order
📖 Glamorous Toolkit Live #5: Moldable searching with Spotter & queries
📖 Glamorous Toolkit Live #4: Moldable analysis of Java systems
📖 Glamorous Toolkit Live #3: Example-driven development
📖 The almanack of Naval Ravikant
📖 Sapiens: a brief history of humankind
📝 How-to: Org-mode timers
📖 Glamorous Toolkit Live #6: Lepiter
📝 Erlang
📝 Erlang: release handling
📝 Software updates as part of the programming system
📝 Guile
📝 Is effect system only relevant to typed languages?
📝 § Effect system
📝 Condition system + debugger as a simple prompt UI
📝 Glamorous toolkit
📖 Glamorous Toolkit Live #2: Inspector views & working with a REST API
📖 Glamorous Toolkit Live #1: Moldable development & a tour
📝 Common Lisp: packages and symbols
📝 § Programmable syntax
📝 Common Lisp: readtable
📝 Common Lisp: classes
📝 Common Lisp: multiple values
📝 Common Lisp: special operators
📝 Common Lisp: condition system
📝 Common Lisp: Format
📝 § Tacit knowledge
📝 Chicken sexer as an example of tacit knowledge
📝 Common Lisp: Multiple Dispatch
📝 § Multiple dispatch
📝 Scope vs. Extent
📝 In Common Lisp, global variables use star *naming* *convention* because of dynamic scoping
📝 In Common Lisp, all global variables are automatically “special” (use dynamic scoping)
📝 Global variables to pass rarely-used dependencies
📝 Dynamic scoping is a better model for global variables
📝 Common Lisp is a practical lisp
📝 Lisp exposes two levels of syntax (s-expressions and lisp forms)
📝 Zettelkasten is bad for pre-packaged learning
📝 Zettelkasten is best for research
📝 Kind vs. Wicked learning environment
📖 How Falling Behind Can Get You Ahead
📝 Extensible system makes it easy to apply the changes
📖 The logical thinking process: a systems approach to complex problem solving
📖 On Managing Yourself
📖 Transsexualism [ Part I ]
📖 How to Ask Better Questions | Mike Vaughan | TEDxMileHigh - YouTube
📝 Use hand-drawn diagrams to convey a feeling of casual and temporary
📝 Zettelkasten as a tool for building mental models
📝 The number of books completed is a vanity metric
📝 Treat books as throwaway blog posts
📝 You don’t have to finish books
📖 Open source is stiffling progress
📝 Open source inhibits progress for development tools
📝 Open source slows progress in software technology by demonetizing it
📝 UX cannot be studied out of history context
📝 UX conditioning
📖 Digital zettelkasten: principles, methods, & examples
📝 Authentication and identity management should be part of the platform
📝 OpenID Connect can be used as a universal authentication system
📝 GPG-based authentication
📝 Julia is successful because numerical computing is on a rise (data science, machine learning, etc)
📝 Julia
📝 Open-source work can be funded by consulting
📖 Julia: The Goldilocks language – Increment: Programming Languages
📖 Company of one: why staying small is the next big thing for business
📖 Getting Things Done
📝 Category Theory: Function object
📝 Compose key cheatsheet
📝 Structure notes as trains of thoughts
📝 § Decisions
📝 Separate actionable/non-actionable items
📝 Monopolies are monocultures
📝 The principle of GTD is getting things off of your mind
📝 If you don’t have a practice of clearing inbox completely, it will grow indefinitely
📖 The Ultimate Guide for Becoming an Idea Machine - James Altucher
📝 Long-tenured workers acquire company-specific knowledge
📝 Long-tenured workers should be paid above the market
📖 Why don't tech companies pay their engineers to stay?
📝 Architect’s role is bridging engineering and management
📝 Architecture as financial options
📝 Zettelkasten as a tool for breaking down and rebuilding structure
📝 Asking for objections does not produce buy-in
📝 Ask for objections, not agreement
🖋 Migrating to Org-roam v2
📖 Holacracy: the revolutionary management system that abolishes hierarchy
📖 Get Things Done with Emacs
📖 Cooperative Software Development
📝 § Making products
📝 Minimum Loveable Product
📝 Do not use friends for testing new products
📖 On Coding, Ego and Attention
📝 How-to: record screen
📝 Holacracy
📝 Governance vs. operations
📝 Clarifying roles
🖋 How I note
📝 By empowering you put people in a victim role
📖 Sönke Ahrens | zettelkasten | база знаний | философия
📖 Female pursuit of computer science with Jennifer Wang
📝 Spiral Dynamics: Beige and Purple are a speculation
📝 Spiral Dynamics’ explanation of history is a speculation
📖 A human's guide to words
📝 Rephrasing can lead to misinterpretation
📝 Money as quality change
📝 Poverty tax
📝 Novices typically find critical and specific feedback less motivating
📝 Ask for advice, not feedback
📝 After interview, take time to think through before giving feedback
📝 Beck and Cowan criticize Integral Theory because of over-attachment to Spiral Dynamics
📝 Spiral Dynamics interpretation differences
📝 Tierism
📝 Ken Wilber
📝 Wilber misinterprets Spiral Dynamics
📝 Spiral Dynamics dilution
📝 “Integral” re-coloring
📝 (SD) Structure vs. Content
📖 Faq integral and integrative
📝 Spiral Dynamics interpretations
📖 Levels of existence: an open system theory of values
📝 Yellow vMEME acts in self-interest by impacting those things that threaten its quality of being
📝 The ultimate purpose of any business is making money
📝 Money is not the end goal of business
📝 The growing popularity of Teal Organizations is an indicator of Beta condition
📝 Teal Organizations is a Stretch-UP for many
📝 Meditation and Yoga re-coloring
📝 Wiki re-coloring
📝 Green: there should be no private knowledge
📝 Maxim Tsepkov
📝 Agile re-coloring
📝 (SD) Beta condition
📝 Stretch-UP
📝 Spiral Dynamics: re-coloring
🖋 Spiral Dynamics and Zettelkasten re-coloring
📖 Personal knowledge: towards a post-critical philosophy
📝 Knowledge management in SD Green
📝 Zettelkasten as interpreted by Orange
📖 Spiral dynamics: mastering values, leadership and change
📖 Dark night of the soul
📝 Spiritual Materialism
📖 Cutting Through Spiritual Materialism
🖋 Two roads to success
📝 Category Theory: Coproduct
📝 Cocartesian monoidal category
📝 Cartesian monoidal category
📝 Cat (category)
📝 Monoidal category
📖 Category Theory for Programmers
📖 Nine levels of increasing embrace in ego development: a full-spectrum theory of vertical growth and meaning making
📝 Contravariant Functor
📝 § Complexity
📝 Is there an upper limit on complexity humans can manage?
📝 Low-level programming will become less and less popular
📝 Time-adjusted complexity justifies pushing the complexity downward
📝 Time-adjusted complexity definition
📝 Programming systems become more and more complex
📝 What are important questions in Software Development?
📝 § Waking Up
📝 Wilber’s axes of development
📝 Achieving success by modifying one’s wants
📝 Success is achieving what one wants
🖋 I’m merging my websites
📝 Hunter-gatherers spent 3–5 hours working
📝 Work can be enjoyable
📖 Flow: The Psychology of Optimal Experience
📖 Molecular biology of the cell
📖 A theory of human motivation
📖 The religion of tomorrow: a vision for the future of the great traditions-more inclusive, more comprehensive, more complete
📖 Reinventing organizations: a guide to creating organizations inspired by the next stage of human consciousness
📝 Maslow’s hierarchy is not a pyramid
📝 Domination hierarchies produce parent–child relationships
📝 Green organizations
📝 In Teal Organization, not all workers must be stage Yellow
📝 Necessary conditions for Teal Organization
📖 The culture code: the secrets of highly successful groups
📝 Both Theory X and Theory Y are useful and can be mixed
📝 Theory X and Theory Y are self-fulfilling prophecies
📝 Theory Y addresses higher-level needs (Maslow’s hierarchy)
📝 Theory X and Theory Y
📝 Koi
📝 How-to: speed-up youtube video
📖 So good they can’t ignore you: why skills trump passion in the quest for work you love
📖 Shadow dance: liberating the power and creativity of your dark side
📖 The architect elevator - visiting the upper floors
📖 Why Books Don't Work
📖 An everyone culture: becoming a deliberately developmental organization
📖 The 4 disciplines of execution in a nutshell
📝 Bifunctor
📝 Endofunctor
📖 How can we develop transformative tools for thought?
📖 Deep Work
📖 Interview and Q&A with Sönke Ahrens on How to Take Smart Notes
📝 Deep Work philosophies
📝 Any-value fallacy
📝 Self-learning is about taking responsibility
📝 Test your language implementation on hashing algorithm
📖 Delivering happiness: a path to profits, passion, and purpose
📝 Mental peak at 25 is a misconception
📝 Man’s mental complexity never peaks
📝 Teal organizations ideas
📖 Reinventing organizations: an illustrated invitation to join the conversation on next-stage organizations
📝 The start of the book gives the most insights
📝 Data/interpretation duality
📝 § Teal Organizations
📝 Orange thinks of organizations as of machines
📝 Learning without pressure creates broader mental models
📝 Man peaks mentally at 35 and then maintains the level
📖 The Startup Way: How Entrepreneurial Management Transforms Culture and Drives Growth
📖 Psycho-cybernetics: updated and expanded
📖 The power of full engagement: managing energy, not time, is the key to high performance and personal renewal
📖 Thick face, black heart: the path to thriving, winning & succeeding
📝 Red is the first stage when man manifests his interests
📝 Yellow is the new Beige, Turquoise is the new Purple
📝 Value systems have healthy and unhealthy manifestations
📝 There are no good or bad Value Systems
📝 Each Value System evolves as a response to Life Conditions
📝 A man is a mix of Value Systems
📝 Spiral Dynamics is about Value Systems
📝 Periods of non-productivity as a part of overall productivity
📝 “Negativities” might be your power
📝 Success has no rules
📝 Nobody knows what they are doing
📝 Telling people what they should be focuses then on how they are not
📖 Everything is Fucked
📖 A brief history of spiral dynamics
📝 Spiral Dynamics defines hierarchy
📝 Avoid “mentor” word
📝 § Thick Face, Black Heart
📝 Thick Face, Black Heart progression
📝 Turquoise
📝 (SD) Green
📝 Blue
📝 Red
📝 Purple
📝 Beige
📝 Express-self
📝 Thick Face, Black Heart is neither good nor evil
📝 Thick Face, Black Heart
📖 Emotional Machines
📝 Yellow
📝 Zettelkasten is a manifestation of SD Yellow
📝 Orange
📖 The Non-Designer’s Design Book
📖 Programming Language Pragmatics
📖 The Dreyfus model of clinical problem-solving skills acquisition: a critical perspective
📖 Thinking in Systems: A Primer
📖 Just Enough Software Architecture
📖 Why People Fail To Recognize Their Own Incompetence
📖 A Five-Stage Model of the Mental Activities Involved in Directed Skill Acquisition
📖 About face: the essentials of interaction design
📖 How to Take Smart Notes
📝 Intuitive solutions have to be rationalized
📝 Forward/reverse problems
📝 Dreyfus model does not explain reverse problems solving
📝 Dreyfus model does not take into account explicit knowledge
📝 List of Reification examples
📝 Only non-interactive CLIs are composable
📝 ARM uses the least-significant bit to switch between ARM/Thumb
📝 Extensible interfaces might hinder UX
📝 Mentorship: select mentee carefully
📝 § Mentoring
📝 Mentorship: ideal experience gap is 5–10 years
📝 Organizational context as architectural constraint
📝 § Architect role
📝 § Conceptual integrity
📝 How interface designers scale?
📝 Architect as guard of conceptual integrity
📝 Architect only suggests
📝 § Architect vs. implementer
📝 § Open source
📝 Reusable off-the-shelf software components attack the essence of software development
📝 Brooks’s law
📝 Essential vs. accidental in software development
📖 100 Things Every Designer Needs to Know about People
📖 12 essential skills for software architects
📖 Practical Typography
📖 The mythical man-month: essays on software engineering
📖 How To See Yourself As You Really Are
📝 List of Programming Languages
📝 Code review: err on the side of approving
📝 Code review: be explicit when comment is minor
📝 React.useCallback breaks encapsulation
📝 Do not overuse React.useCallback
📝 Externalize knowledge to learn
📖 Writing to learn
📖 The Five-Stage Model of Adult Skill Acquisition
📝 Dreyfus model
📝 Lightweight RFC-like process
📝 Involve the team into design
📝 By documenting a design, the designer exposes himself to the criticism
📖 A philosophy of software design
📖 Delta State Replicated Data Types
📝 × Architect should keep the distance
📝 Architects live in a glass house
📖 Practical Creativity
📖 ClojureScript Unraveled (2nd edition)
📖 Mash-up! how to use your multiple skills to give you an edge, make money and be happier
📝 How-to: read entropy available
📖 Talent is Overrated
📝 How-to: get slack api token
📝 Not every system needs an architecture
📝 How to apply architectural knowledge to programming language design?
📝 Avoid arrowheads on connectors
📝 § Software Modeling
📝 Put legend on diagrams
📖 The science of enlightenment: how meditation works
📖 Polyphasic sleep: facts and myths
📖 The Book: On the Taboo Against Knowing Who You Are
📖 Essays of Schopenhauer
📖 The War of Art
📖 Turning Pro
📖 In Defense of Food
📖 The Design of Everyday Things
📖 Breakthrough Rapid Reading
📖 Make Time
📖 Writing to be understood: what works and why
📖 The things you can see only when you slow down: how to be calm in a busy world
📖 The Sleep Revolution
📖 NLP: The Essential Guide to Neuro-Linguistic Programming
📖 The big leap: conquer your hidden fear and take life to the next level
📖 Managing Oneself
📖 The Hero with a Thousand Faces
📝 How-to: use wpa_supplicant to connect to Wi-Fi
📖 Design Principles Behind Smalltalk
📝 Tone down architecture
📝 Architecture is a buzzword
📝 Make decisions at the Last Responsible Moment
📝 Present ADRs as simply “decisions”
📝 Architecture as a shared understanding
📝 Maintain a decision todo list
📝 Architecture as what’s most important
📝 Architecturally-significant requirements
📝 Architecture Decision Record
📝 Architecture as a set of important decisions
📝 Be wary of wasting time documenting design decisions
📝 § Index
📝 Forth cheatsheet
📖 How Do Committees Invent?
📝 Architecture is a special case of Software Design
📝 What Architects do?
📝 How to convert SVG to PNG on server side?
📝 Product tools
📝 NAT Traversal
📝 Trickle ICE
📝 Deep/shallow modules
📝 Criteria change in software development
📝 § Software Design
📝 Architecture as product design/specification
📝 What is Architecture?
📖 Software Architecture in Practice
📝 How to: transfer file using telnet (and netcat)
📝 As a software architect, describe the theory you built
📝 Programming as Theory Building
🖋 Meta: Status Report #1
📖 The burnout solution: 12 weeks to a calmer you
📝 C’s explicit layout prohibits some optimizations
📝 Modern processors are fast PDP-11 emulators
📝 The main complication for CPU cache is shared and mutable state
📝 C language is not particularly good for high-performance computing
📝 Loop unswitching must pay attention to possibly zero-counted loops (in presence of uninitialized values)
📝 Loop unswitching
📖 C is not a low-level language
📝 Fortran’s specialized for loop can generate faster code
📝 Value representation
📝 64-bit machines don’t use full 64-bit address space
📝 NaN-boxing
📝 Tagged pointer
📝 In Rust, mutable references never alias
📝 C is no longer a low-level language
📝 Fortran used to be faster than C because of aliasing
📝 Double-barrelled continuations
📝 Encapsulation is a subset of Modularity
📝 Is there a functional programming language with implementation inheritance?
📝 Interface Inheritance vs Implementation Inheritance
📝 Some programming languages become popular slow & steady
📝 Some programming languages become popular because they offer a quick upgrade
📝 Some programming languages are popular because of the killer app/framework
📝 Some programming languages are popular because of platform exclusivity
📝 Java is popular because of marketing
📝 Why programming languages become popular?
📝 Habit is unconscious behavior
📝 You can change habit routine as long as you keep cue and reward the same
📝 Habit loop
📝 We are accountable for our habits
📝 CPS is single assignment (SSA)
📝 CPS is a subset of lambda-calculus
📖 The power of now: a guide to spiritual enlightenment
📖 The power of habit: why we do what we do in life and business
📖 Compiling with continuations
📝 Compiling with continuations
📝 Continuation is goto
📝 § Continuation
📝 Continuation is reification of program control state
📝 In Rust, all types are movable
📝 Runtime is what makes languages unique
📝 Languages become popular when they bring innovative runtime
📝 Rust lifetimes are not about object creation/destruction but about how long the object is available at the given location
📝 If you’re bored of a book, it might be because it’s not delivering
📖 The Book of Not Knowing
📖 Algebraic effects for functional programming
📖 Handlers in action
📝 The reading is less effective if you’re not interested
📝 If you take long breaks between reads, it might be harder to return
📝 You don’t have to overtime to get promoted
📝 Put your oxygen mask on first
📝 It does not matter whether you finish books as long as you read regularly
📝 Great is just good, repeatable
📝 It’s easier to have instrumental motivation if you have an important goal outside of work
📝 Architecture/management duality
📝 Make sure the organization is compatible with the product architecture
📝 Conway’s law
📝 Burned-out Professional can end up with Lumpen motivation type
📝 Instrumental/Professional mix is the best for burnout prevention
📝 Gerchikov’s motivation model
📝 Delegating tasks down the hierarchy amplifies urgency
📖 Build systems a la carte
📝 “Goto considered harmful” is about unconstrained goto
📝 Metaphors we use influence what solutions we see
📝 Burnout is the opposite of stress
📝 § Burnout
📝 Programming system
📝 Data becomes code as soon as someone writes an interpreter
📝 SRTP exposes audio-level
📝 WebRTC security
📝 WebRTC Data Channel
📝 SCTP
📝 WebRTC is not an innovation
📝 WebRTC: switching codecs or resolution triggers a new exchange of ICE candidates
📝 SDP BUNDLE
📝 TURN
📝 STUN
📝 ICE
📝 SRTP
📝 Signaling
📝 RTSP
📝 SDP Offer/Answer model
📝 SDP
📝 WebRTC
📝 RTCP
📝 RTP
📝 Streaming
📝 Gio event handling
📝 Reification of drawing operations allows implementing Flutter layout model in a single pass
📝 Reification
📝 Flutter layout model
📝 Gio
📝 Spaced repetition for writing inbox
📝 XY problem is not technology-specific
📝 Ask why
📝 XY problem
📝 Inheritance starts with composition
📝 Immediate mode GUI
📝 Spaced repetition for reading inbox
📝 List of Projectional Editors
📝 Salsa
📖 Subtext 1
📝 Functor
📝 Discrete category
📝 Makepad
📝 Adjacent Possible
📝 Subtext
📝 ROWE opens up possibility of unethical behavior
📝 Results only work environment
📝 Initial/Terminal object
📝 Category Theory is a theory of functors
📝 Category theory is all about morphisms, not objects
📝 Thin Category
📝 Monoid
📝 Hom-set
📝 Order
📝 Category Theory: Epimorphism
📝 Category Theory: Monomorphism
📝 Category Theory: Isomorphism
📝 Set theory: functions
📝 Rete Algorithm
📖 Self and self: whys and wherefores
📖 Crafting Interpreters
📖 Do be do be do
📝 Values > Principles > Practices
📝 Category
📝 Math notation
📝 Category Theory: Product
📝 § Category Theory
📝 Dynamic scoping works badly with laziness
📝 Self (language)
📝 Artist vs. Entertainer
📝 Spaced repetition provides exponential returns on investment
📖 Datascript as a lingua franca for domain modeling
📖 Spaced repetition for efficient learning
📝 Reify data model
📖 Turning the IDE inside out with datalog
📝 Datomic syntax
📝 Datalog can be used to express algorithm on code
📝 N×M problem
📝 Transducers
📝 Clojure: dynamic scoping
📝 BLE
📝 GATT
📝 Open-Closed Principle
📝 DRY is not about code but functionality
📝 DRY
📝 Success to the successful
📝 Seeking the wrong goal
📝 Code highlighting can carry more information
📝 Code as Database
📝 Extensibility requires introspection
📝 Waterbed Theory
📝 Black (reflective language)
📝 How spaced repetition algorithms can help note-taking?
📝 How to use Spaced Repetition and Zettelkasten together?
📝 Spaced repetition can be used beyond memorizing facts
📖 Augmenting long-term memory
📝 How-to: close locked telnet session
📝 How-to: close locked ssh session
📝 Binary relation properties
📝 § Math
📝 With spaced repetition, beware of adding false facts
📝 Do a second pass to take notes
📝 Take non-verbatim notes
📝 Can tablets help with note taking?
📝 52/17 is an optimal interval for Pomodoro
📝 Kriya Yoga
📝 How recursion is handled in content-addressable systems?
📝 Dynamic scoping
📝 Multi-level functionality scenarios
📝 Design model
📝 Restrictions enhance creativity
📝 Constraints provide consistency
📝 Constraints as guide rails
📝 Quality attributes are emergent properties
📝 How-to: inspect LLVM IR
📝 Use simple notations
📝 For domain modeling, beware of adding technical details
📝 Domain model
📝 How-to: Flash full Android
📝 How-to: build native app for Android
📝 Levels of using models
📝 When modeling, pick important details and ignore the rest
📝 Models can be used to amplify reasoning
📝 Question first and model second
📝 Sign-offs encourage Big Design Up Front
📝 Quantity-to-quality
📝 The slip box needs a number of years in order to reach critical mass
📝 Zettelkasten lives its own life
📝 Hitchhiker tree
📝 Fractal tree index
📝 § Data structures
📝 Software development quotes
📝 Cargo-cult programming
📝 How-to: run docker as my user
📝 Survival
📝 Larger creatures need stronger bones (than would be proportionally needed)
📝 Water negates gravity to some extent, and helps beat square-cube law
📖 Sketching User Experiences: The Workbook
📝 Tragedy of the commons
📝 Ideal extensible system requires adding new code only
📝 Extensibility is about the cost of adding new extensions
📝 Extensibility negatively affects software security
📝 § Mental models
📝 How-to: Unfreeze Emacs
📝 My notes are stock
📝 What makes Smalltalk extensible?
📝 Seeking exponential growth reduces the stability of the system
📝 How economy causes its own crash?
📝 Economy might be unstable but it is resilient
🖋 4 Years with Literate Configuration
📖 on: Guile — The Failed Universal Scripting Language
📝 Bounded rationality
📝 Systems Thinking: Do not overinclude
📝 Systems’ boundaries are imaginary
📝 Resilient system does not have to be static
📝 § Systems Thinking
📝 Guile is a language designed for extensible systems
📝 Emacs as a user interface library
📝 CLIs expose interaction as first-class citizen
📝 2/COSS process might be good for extensible systems
📝 Extensible systems threaten ads
📝 ErgoDox
📝 Open source makes systems more extensible
📝 What makes Emacs extensible?
📝 Issues with non-extensible systems
📝 § Extensible system
📖 Kriya secrets revealed: lessons and techniques workbook
📝 8 Limbs of Yoga
📝 Pretty-printing can be used to layout widgets in Projectional Editors
📝 Kosmos
📝 Touch-typing practice
📝 Ergodox-EZ
📝 Keyboards
📝 Mindustry
📝 Hero Factory
📝 Archero
📝 Cell to Singularity
📝 Rogue Adventure
📖 The problem is that the definition of deliberate practice by ericsson and colleagues changes depending on the argument being made.
📖 How Important is Deliberate Practice? Reply to Ericsson (2016)
📖 Deliberate Practice and Performance in Music, Games, Sports, Education, and Professions: A Meta-Analysis
📖 Summing up hours of any type of practice versus identifying optimal practice activities
📝 Minimal Dungeon RPG
📝 § Gamedev
📝 Game subsystems are games
📝 The role of teacher in Deliberate Practice
📝 Authors are biased to defend their theories
📝 Deliberate Practice might be not the sole factor predicting expert performance
📝 Deliberate Practice: Macnamara–Ericsson argument
📝 Publication bias
📝 10,000 Hours Rule does not exist
📝 Signs of Deliberate Practice
📝 Deliberate Practice might not be directly related to the target activity
📝 Is “Experience Trap” applicable to programming?
📝 Experience Trap
📝 § Deliberate Practice
📝 For Flow, you must be able to recognize feedback
📝 Flow can be addictive
📝 Flow needs a sense of control
📝 Protobuf: no inheritance support
📝 Content-addressable storage makes it easy to cache intermediate results
📝 Presumptive architecture
📝 Architecture risks can be added as spikes to backlog
📝 Risk-biases in software development processes
📝 Protobuf: avoid int32/int64
📝 Protobuf: negative values for int32 and int64 are always 10-bytes long
📝 Protobuf: calculating field size
📝 Protobuf: in proto3, it is impossible to distinguish absent fields from default values
📝 Protobuf: wrapping fields into embedded messages might decrease their size
📝 Protobuf: for oneof fields, it is impossible to know if field is missing or unrecognized
📝 Protobuf: updating message types
📝 Protobuf: avoid using required fields
📝 Protobuf: field numbers 1–15 take 1 byte to encode
📝 Protobuf: proto2 vs proto3
📝 § Protobuf
📝 How-to: build/activate home-manager config without home-manager
📝 Perkeep
📝 Archiving
📖 Game Programming Patterns
📖 Why interleaving enhances inductive learning: the roles of discrimination and retrieval
📝 Folgezettel (notes sequence)
📝 How computers can enhance Zettelkasten method?
📝 Taking non-verbatim notes improves conceptual understanding
📝 Do laptop users tend to write verbatim notes in non-lecture setting?
📝 Laptop users tend to write verbatim notes (in lecture setting)
📝 Have multiple projects to work on
📝 Autonomous choice enhances motivation/energy
📖 The pen is mightier than the keyboard: advantages of longhand over laptop note taking
📝 Comparing yourself to others
📝 Humans are too complex to compare
📝 Self-worth does not exist
📝 Table of Content in notebooks
📝 Leuchtturm1917 notebooks
📝 Highfive Notebook tagging system
📝 The first C++ compiler was not a preprocessor
📝 Separate storage and query layers
📖 Good sleep, good learning, good life
📖 Growing a Language
📖 Factor: an extensible interactive language
📖 Reactive with clojurescript recipes: functional programming for the web
📖 The Pragmatic Programmer: From Journeyman to Master
📖 The value of values
📖 How To Stop Comparing Yourself To Others
📖 Test-driven development for embedded c
📖 Rise of Worse is Better
📖 Never Eat Alone: And Other Secrets to Success, One Relationship at a Time
📖 How to Reach Out to a Writer, Thinker, or Person You Respect
📝 How to use Dreyfus model in teaching
📝 Experts judge others by their own rules
📝 Use tags sparingly in Zettelkasten
📝 § Teaching
📝 × Dreyfus model (1980)
📝 Niklas Luhmann
📝 Zettelkasten is subject to cumulative effect
📝 Pre-packaged courses hinder understanding
📝 Too much order can impede learning
📝 Labeling
📝 Understanding is the only reliable way to learn
📝 Memorization techniques bundle things together to make them easier to remember
📝 Ovsiankina effect
📝 Zeigarnik effect
📝 Zettelkasten process
📝 Zettelkasten is GTD of note-taking
📝 Can I build a unified flow for tasks and note-taking?
📝 How does Zettelkasten deal with Collector’s Fallacy?
📝 Can I apply PARA to Zettelkasten?
📝 Treat random notes as a separate “project”
📝 Separate literature notes from permanent notes
📝 Separate permanent notes and project notes
📝 Zettelkasten is about developing ideas, not collecting them
📝 § Zettelkasten
📝 Zettelkasten makes things easier to remember by connecting ideas
📝 I do not think of code as text
📝 I remember code quickly
📝 Mental models make things easier to remember
📝 Just-world hypothesis
📝 Nix flakes
📝 Meditation is part of all religions
📝 All religions have the same ground
📝 Color meaning
📝 Color
📝 60-30-10 rule
📝 #how-to
📝 Entrainment
📝 Controlled sleep deprivation with phase advance
📝 RethinkDB
📝 Christianity
📝 Samadhi
📝 Chronotherapy
📝 Nix
📝 How-to: nix-shell with direnv
📝 Kerning
📝 tehwalris/forest
📝 Font design
📝 Open source business models
📝 Sentry
📝 Elasticsearch
📝 AWS can launch your Software as a Service before you do
📝 § Business
📝 Commercial Open-Source Software
📝 Human Supremacy
📝 Speciesism
📝 How-to: borg backup
📝 Micro-SaaS Meat Grinder
📝 AWS
📝 AWS services
📝 Nassim Nicholas Taleb
📝 Antifragile
📝 Thich Quang Duc self-immolation
📝 § Software Architecture
📝 Galois/Counter Mode (GCM) and GMAC
📝 Chosen-plaintext attack
📝 Counter (CTR) mode of operation
📝 Output Feedback (OFB)
📝 Cipher Feedback (CFB)
📝 Propagating Cipher Block Chaining (PCBC)
📝 Padding (Encryption)
📝 Initialization Vector
📝 Cipher Block Chaining (CBC)
📝 Electronic Codebook (ECB)
📝 Replay attack
📝 TLS CBC IV attack
📝 Block cipher mode of operation
📝 § Chemistry
📝 Alkane
📝 Hedonic Treadmill
📝 Blue Dot Effect
📝 Martin Fowler
📝 Design Stamina Hypothesis
📝 Length extension attack
📝 HMAC
📝 Sugars (including ribose), amino acids, and nucleobases were detected in asteroids
📝 Ribosome
📝 Enzyme
📝 Ribozyme
📝 Uracil
📝 Thymine
📝 Guanine
📝 Cytosine
📝 Adenine
📝 Nucleobase
📝 DNA
📝 Abiogenesis
📝 Miller–Urey experiment
📝 RNA
📝 RNA World
📝 § Cryptography
📝 HKDF
📝 Adenosine
📝 API/SLOC
📝 The Heartbeat Hypothesis
📝 Square-cube law
📝 Actin
📝 Amino acid
📝 Cell
📝 Protein
📝 Oxygen
📝 Motor Proteins
📝 ATP
📝 Mitochondrion
📝 ATP synthase
📝 Zen is not punishing your body but rather being comfortable under any circumstances
📝 “You should love me” is a double bind
📝 Double bind
📝 How-to: create patch from directory
📝 PARA Method
📝 People do not oversleep
📝 Double-entry accounting
📝 Shadow Work
📝 Carl Jung
📝 Shadow
📝 Affirmation
📝 Alan Watts
📝 Meditation is helpful for seeing your emotions
📝 Use psychological projections to understand yourself
📝 Psychological Projection
📝 Self-Development Quotes
📝 Functional requirements do not drive architecture
📝 Lean Thinking
📝 Collector’s Fallacy
🖋 How to Choose Specialization
📝 Stock Photos
📝 Language
📝 Justice
📝 Gratitude Journal
📝 § Spiral Dynamics
📝 Psychedelic
📝 Collective Ego
📝 Mastery
📝 Homeostasis
📝 Ego backlash
📝 #quote
📝 § Emotion
📝 Shinzen Young
📝 Smalltalk
📝 Nim
📝 Ada
📝 How-to: nrfjprog flashing
📝 How-to: JLink view RTT logs
📝 Python
📝 How-to: Publish Python package
📝 Common Lisp
📝 Java
📝 Quantum Physics
📝 Dunning-Kruger effect
📝 On-boarding
📝 × Note-taking apps
📝 § Note-taking
📝 How to write faster
📝 Muay Thai
📝 Micro-SaaS
📝 Microbiology
📝 Data structures for text editors
📝 Code editing verbs
📝 Non-text programming
📝 How to make a popular projectional editor?
📝 JetBrains
📝 Editor funding
📝 Funding
📝 Editor
📝 § Design
📝 Hick’s law
📝 § Psychology
📝 Popups
📝 § Typography
📝 Sketching
📝 Fonts collection
📝 Fonts
📝 Make disabled buttons transparent, not gray
📝 How design blends together
📝 How-to: Create a SOCKS proxy with SSH
📝 § Software Development
📝 Programming languages are empty of inherent existence
📝 There are no boundaries in software development
📝 Escalation
📝 Criteria change
📝 Five Whys
📝 Design Patterns
📝 Incremental introduction of features
📝 Languages might be the same structurally
📝 1:1 meetings
📝 § Management
📝 Documenting decisions
📝 Documentation
📝 Tools for software developers
📝 Layered programming
📝 Keyboard tweaks
📝 Polyphasic sleep
📝 Caffeine
📝 Alarm clock is harmful to sleep
📝 Sleep
📝 How-to: Disable system application on Android
📝 Distraction-free phone
📝 (Touch-)Typing
📝 5-second rule
📝 § Productivity
📝 List of dualities
📝 Memory
📝 What are memories?
📝 What is motivation?
📝 What is knowledge?
📝 Fairness is subjective
📝 Observations on thoughts
📝 § Cognitive Bias
📝 Habits
📝 Do Nothing meditation
📝 Awareness Alone is Curative
📝 #insight
📝 Reasoning is self-biased
📝 Actualized.org
📝 Strong determination sitting
📝 Growth mindset vs. fixed mindset
📝 Culture
📝 Religion
📝 § Science
📝 Science is Religion
📝 We can’t all be millionaires
📝 Self-image
📝 Contemplation
📝 § Meditation
📝 In-life practice (meditation)
📝 Late night sitting
📝 Enlightenment
📝 #embedded
📝 § Writing
📝 Algebraic Subtyping
📝 Fundamental Attribution Error
📝 § Motivation
📝 Innovation
📝 Slight Edge
📝 § Programming
📝 JVM
📝 Forth
📝 § Self-Development
📝 PCB Antenna
📝 Prim’s Algorithm
📝 Minimum Spanning Tree
📝 § Procedural Map Generation
📝 § Roguelike
📝 Factor
📝 Joy
📝 Lisp
📝 WebAssembly
📝 Rust
📝 § Spaced Repetition
📝 Figma
📝 Sweden
📝 F#
📝 Clio
📝 Behavioral Programming
📝 Rich Hickey
📝 tonsky (Nikita Prokopov)
📝 Datomic
📝 § Blogging
📝 React
📝 Reagent
📝 JavaScript
📝 Structural Sharing
📝 Darklang
📝 Haskell
📝 Content-Addressable
📝 Unison
📝 Clojure
📝 Graph Database
📝 janestreet/incremental
📝 § Database
📝 Collaborative Editing
📝 Communicating Sequential Processes
📝 Expression Problem
📝 § Programming Language
📝 Datalog
📝 DataScript
📝 Causal Tree
📝 Persistent Data Structure
📝 ClojureScript
📝 Local-First Software
📝 molikto/medit
📝 softdevteam/eco
📝 Pretty-Printing
📝 NLP
📝 § Flow
📝 #book
📝 #people
📝 Haoyi
📝 molikto (Minghao Liu)
🖋 2019: Year in Review
📝 Virtual DOM
📝 Jetbrains MPS
📝 Kartik Agaram
📝 FoC
📝 paper
📝 CRDT
📝 Gun.js
📝 automatic dependency tracking
📝 Reactor.js
📝 Svelte
📝 TypeScript
📝 Real DOM with fine-grained updates
📝 Solid.js
📝 S.js
📝 Memoization
📝 Spatial Index
📝 UI response times
📝 Projectional Editor
📝 RxJs
📝 Reactive Programming
📝 Incremental Computing
🖋 Text Editing Fundamentals
🖋 Design Patterns Pitfalls
🖋 Learn it Yourself
🖋 Code Review Essentials
🖋 The Slight Edge: Review
🖋 bkernel: a Rust Operating System
🖋 Haskell String Types
🖋 IO is Your Command Pattern
🖋 Git: Working in Detached HEAD
🖋 Haskell: Defaulting Rules
🖋 ProGuard: Real World Example
🖋 7 Things You Should Know About Make
🖋 Random Advice Popup
🖋 Proactor Pattern: Release the Power of Asynchronous Operations
🖋 Fix Skype under Awesome WM
🖋 YouCompleteMe — Ultimate Autocomplete Plugin for Vim
🖋 Using Vim as C/C++ IDE
👋 Welcome!
📖 § Bibliography Index
📖 § Books
📖 § Online
📖 § Papers
📖 Attention Is All You Need