Home on Kaue's Way of Life

The Biological OS: Mapping Human Consciousness to Computer Architecture

Mon, 31 Aug 2026 00:00:00 +0000

The Biological OS: Mapping Human Consciousness to Computer Architecture 🔗

Have you ever wondered how your brain manages to process the blinding complexity of reality while your conscious mind struggles to remember a six-digit verification code?

If we look at cognitive science through the lens of computer architecture, the answer becomes surprisingly clear: Consciousness is located in the processor. Everything else is unconscious computation.

By placing consciousness squarely in the CPU and defining the rest of the brain’s activity as background processes, we can map out the human mind using standard computer hardware concepts. Here is a deep dive into how your “Biological OS” handles daily tasks, software bugs, system maintenance, and altered states.

Propositional Logic Proofs Using Lean 4

Tue, 03 Feb 2026 00:00:00 +0000

Propositional Logic Proofs Using Lean 4 🔗

Overview 🔗

This post provides a technical walkthrough of fundamental propositional logic concepts and their formal implementation using the Lean 4 programming language and theorem prover. It serves as a practical guide for constructing proofs from first principles, starting with basic logical constants and advancing to mathematical structures like natural numbers.

The content is organized into logical building blocks, each containing inductive definitions, theorems, and practical examples.

The Sixteen Faces of Logic: All Possible Boolean Functions with Two Inputs

Thu, 27 Nov 2025 00:00:00 +0000

💡 The Sixteen Faces of Logic: All Possible Boolean Functions with Two Inputs 🔗

Boolean algebra, named after mathematician George Boole, is the bedrock of all digital circuitry. It deals with variables that can only have two states: True (1) or False (0). When we consider two input variables, A and B, there are only four possible combinations of inputs: (0, 0), (0, 1), (1, 0), and (1, 1).

Since each of these four input combinations can result in either a 0 or a 1 as an output, the total number of unique Boolean functions possible is `2^4 = 16`.

LeetCode Hard Solutions Explained

Fri, 27 Jun 2025 00:00:00 +0000

LeetCode Hard Solutions Explained 🔗

Here are 7 interesting LeetCode hard solutions solved by me and explained by Gemini.

AI summary

The post provides explanations and Go language solutions for seven LeetCode hard problems. Each problem’s explanation covers the problem statement and a detailed solution approach.

The problems included are:

60. Permutation Sequence: Solved using a mathematical approach leveraging factorials to determine digits iteratively.
10. Regular Expression Matching: Solved using dynamic programming with memoization to handle ‘.’ (any single character) and ‘*’ (zero or more of the preceding element).
124. Binary Tree Maximum Path Sum: Solved recursively (DFS) by considering two types of maximum path sums at each node: one extendable upwards (fromroot) and another confined to the current subtree (other).
37. Sudoku Solver: Solved using a backtracking algorithm with optimizations to find the empty cell with the fewest possible valid numbers (heuristic). It uses boolean arrays to track available numbers in rows, columns, and 3x3 boxes.
1494. Parallel Courses II: Solved using Breadth-First Search (BFS) on bitmasks to find the minimum number of semesters to take all courses, considering prerequisites and a k course limit per semester.
363. Max Sum of Rectangle No Larger Than K: Solved by using a 2D prefix sum array to efficiently calculate the sum of any subrectangle. The solution then iterates through all possible rectangles to find the maximum sum no larger than k.
685. Redundant Connection II: Solves the problem of finding a redundant edge in a directed graph that was originally a tree with N nodes and N edges, which can lead to a node having two parents or a cycle. The solution prioritizes the “two parents” case, then cycle detection, always returning the last edge in the input array.

60. Permutation Sequence 🔗

Problem and solution.

Non-Religious Interpretation of the Best Part of the Bible: the Sermon on the Mount

Mon, 28 Apr 2025 00:00:00 +0000

Non-Religious Interpretation of the Best Part of the Bible: the Sermon on the Mount 🔗

This is my interpretation of the best part of the Bible, the Sermon on the Mount, trying to get the most value without believing, and quoting the Bible, ChatGPT, Grok and Gemini.

ChatGPT:

The Sermon on the Mount, found in Matthew 5–7, is a collection of teachings attributed to Jesus. While traditionally interpreted through a religious lens, these teachings can also be understood as a guide for ethical living and personal development. Here’s a non-religious interpretation of each section.

Jay Earley - Self-Therapy: A Step-By-Step Guide to Creating Inner Wholeness Using IFS, a New, Cutting-Edge Therapy - Help Sheet for the IFS Process

Thu, 28 Nov 2024 00:00:00 +0000

Jay Earley - Self-Therapy: A Step-By-Step Guide to Creating Inner Wholeness Using IFS, a New, Cutting-Edge Therapy - Help Sheet for the IFS Process 🔗

Below is my summary of the process from the book ‘Self-Therapy: A Step-By-Step Guide to Creating Inner Wholeness Using IFS, a New, Cutting-Edge Therapy’ by Jay Earley, mostly quoting and paraphrasing the content.

See also Tori Olds - Internal Family Systems, Explained - Transcript about IFS itself.

Leadership Summit Table Assignment

Wed, 20 Nov 2024 00:00:00 +0000

Leadership Summit Table Assignment 🔗

For this year’s leadership summit we want to assign people to multiple rounds of table discussions maximizing interactions.

This post describes a backtracking solution in Go that can assign N tables with N people each for (N + 1) rounds of discussion without having any person sit in same table as any other person more than once.

You can try it here.

Maximum number of rounds is (N + 1) 🔗

Proof:

You Are The Only Person Alive With Your Age

Fri, 23 Aug 2024 00:00:00 +0000

You Are The Only Person Alive With Your Age 🔗

You are the only person alive with your age … in milliseconds.

Age	People
Planet	10 000 000 000
Years	100 000 000
Months	10 000 000
Days	1 000 000
Hours	100 000
Minutes	10 000
Seconds	1 000
Milliseconds	1

The planet has ~10 billion people alive. There are ~30 billion deciseconds in 100 years.

(100 * 365 * 24 * 60 * 60 * 10)

David Allen - Getting Things Done - The Art of Stress-Free Productivity - Summary

Thu, 04 Jul 2024 00:00:00 +0000

David Allen - Getting Things Done - The Art of Stress-Free Productivity - Summary 🔗

Below is my summary of the book ‘Getting Things Done: The Art of Stress-Free Productivity’ by David Allen, mostly quoting and paraphrasing the content.

1 A New Practice for a New Reality 🔗

IT’S POSSIBLE FOR a person to have an overwhelming number of things to do and still function productively with a clear head and a positive sense of relaxed control.

James Clear - Atomic Habits - An Easy & Proven Way to Build Good Habits & Break Bad Ones - Summary

Tue, 04 Jun 2024 00:00:00 +0000

James Clear - Atomic Habits - An Easy & Proven Way to Build Good Habits & Break Bad Ones - Summary 🔗

Below is my summary of the book ‘Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones’ by James Clear.

1 The Surprising Power of Atomic Habits 🔗

WHY SMALL HABITS MAKE A BIG DIFFERENCE 🔗

Habits are the compound interest of self-improvement.

Iain McGilchrist - The Matter with Things - The Sense Of The Sacred - Summary

Sun, 21 Apr 2024 00:00:00 +0000

Iain McGilchrist - The Matter with Things - The Sense Of The Sacred - Summary 🔗

Below is my summary of the chapter ‘The Sense Of The Sacred’ from the book ‘The Matter with Things’ by Iain McGilchrist, mostly quoting and paraphrasing the content.

THE GROUND OF BEING 🔗

That which underwrites, timelessly and eternally, whatever is: in other words, the ground of Being.

Best XKCD About Software Engineering

Thu, 11 Apr 2024 00:00:00 +0000

Best XKCD About Software Engineering 🔗

This is my selection of best xkcd comics about software engineering.

Sandwich 🔗

Explanation: The sudo command lets authorized UNIX users override access rights by executing a command as the root user.

Recursive Pareto

Tue, 06 Feb 2024 00:00:00 +0000

Recursive Pareto 🔗

One formulation of the Pareto principle is that with 20% of the work you get 80% of the benefit, and it takes the remaining 80% of the work to get the remaining 20% benefit.

This makes it sound like we should stop after the first 20% of work. But we can apply the Pareto principle recursively to the remaining work and benefit.

In the second iteration, with 20% * 80% of the work, you get 80% * 20% of the benefit. In other words, with 16% of the work you get 16% of the benefit.

Dimitri Glazkov - What the heck is Adult Development? - Summary

Fri, 12 Jan 2024 00:00:00 +0000

Dimitri Glazkov - What the heck is Adult Development? - Summary 🔗

Below is my summary of the presentation ‘What the heck is Adult Development?’ by Dimitri Glazkov, mostly quoting and paraphrasing the content.

Overview 🔗

Stages 🔗

Self-Sovereign
Reached by	nearly everyone
Right is	what benefits me
Power is	coercion (hard power)
Feedback is	an attack
Gift	gut instinct
Curse	no capacity for empathy or perspective-taking
Challenge	understand impact of actions on others, how they feel
Scaffolding to next stage	basic societal norms and culture

Socialized
Reached by	most adults (>90%)
Right is	what my group believes
Power is	charm (soft power)
Feedback is	painful loss of face
Gift	teamwork
Curse	avoids conflict
Challenge	develop own unique voice
Scaffolding to next stage	high school and college education

Self-Authored
Reached by	some adults (<40%)
Right is	what I learned
Power is	producing valuable outcomes
Feedback is	sought and offered fearlessly
Gift	sees and values others’ perspectives
Curse	hard on self and others
Challenge	learning how to stop “doing” and start “being”
Scaffolding to next stage	self-work methods / practices

Self-Transforming
Reached by	very few (~1%)
Right is	a journey
Power is	action inquiry
Feedback is	absolutely necessary to function
Gift	comfortably holds conflicting / opposing ideas
Curse	firmly believes everyone should strive to develop / grow
Challenge	balancing confidence with humbleness
Scaffolding to next stage	self-awareness and own intention

Unitive
Reached by	extremely rare
Right is	this (and every) moment
Power is	mutual transformation
Feedback is	interesting source of perspective to play with and build on
Gift	can see deep interconnections and patterns others can’t
Curse	tend to gravitate to their solitary inner world, away from others

Compared 🔗

Stage	Reached by	Right is
Self-Sovereign	nearly everyone	what benefits me
Socialized	most adults (>90%)	what my group believes
Self-Authored	some adults (<40%)	what I learned
Self-Transforming	very few (~1%)	a journey
Unitive	extremely rare	this (and every) moment

Stage	Power is	Feedback is
Self-Sovereign	coercion (hard power)	an attack
Socialized	charm (soft power)	painful loss of face
Self-Authored	producing valuable outcomes	sought and offered fearlessly
Self-Transforming	action inquiry	absolutely necessary to function
Unitive	mutual transformation	interesting source of perspective to play with and build on

Stage	Gift	Curse
Self-Sovereign	gut instinct	no capacity for empathy or perspective-taking
Socialized	teamwork	avoids conflict
Self-Authored	sees and values others’ perspectives	hard on self and others
Self-Transforming	comfortably holds conflicting / opposing ideas	firmly believes everyone should strive to develop / grow
Unitive	can see deep interconnections and patterns others can’t	tend to gravitate to their solitary inner world, away from others

Stage	Challenge	Scaffolding to next stage
Self-Sovereign	understand impact of actions on others, how they feel	basic societal norms and culture
Socialized	develop own unique voice	high school and college education
Self-Authored	learning how to stop “doing” and start “being”	self-work methods / practices
Self-Transforming	balancing confidence with humbleness	self-awareness and own intention

Everyone Knows: Children Grow 🔗

From object permanence to magical thinking, it is easy to see how children rapidly evolve their sense-making abilities and their growth is not just a physical phenomenon.

Richard Rumelt - Good Strategy / Bad Strategy: The Difference And Why It Matters - Summary

Wed, 08 Nov 2023 00:00:00 +0000

Richard Rumelt - Good Strategy / Bad Strategy: The Difference And Why It Matters - Summary 🔗

This is my summary of the book ‘Good Strategy / Bad Strategy: The Difference And Why It Matters’ by Richard Rumelt, quoting and paraphrasing the content.

INTRODUCTION: OVERWHELMING OBSTACLES 🔗

The core of strategy work is always the same: discovering the critical factors in a situation and designing a way of coordinating and focusing actions to deal with those factors.

Shamil Chandaria - Eudaimonia And Human Flourishing: Ancient Wisdom Through A Modern Lens - Summary

Thu, 05 Oct 2023 00:00:00 +0000

Shamil Chandaria - Eudaimonia And Human Flourishing: Ancient Wisdom Through A Modern Lens - Summary 🔗

Below is my summary of the video ‘Eudaimonia And Human Flourishing: Ancient Wisdom Through A Modern Lens’ by Shamil Chandaria, quoting and paraphrasing the content.

Eudaimonia 🔗

A eudaimon life – a good life – is doing well and living well.

Shamil Chandaria - The Bayesian Brain and Meditation - Summary

Wed, 27 Sep 2023 00:00:00 +0000

Shamil Chandaria - The Bayesian Brain and Meditation - Summary 🔗

Below is my summary of the video ‘The Bayesian Brain and Meditation’ by Shamil Chandaria.

The real title is in the subtitle: A predictive processing account of radical changes in the character of phenomenal experience. Experiences of awakening, enlightenment, liberation.

When we perceive something we have to infer what is going on, we act as scientists or statisticians.

Chess.com - Everything You Need to Know About Chess - Summary

Fri, 11 Aug 2023 00:00:00 +0000

Chess.com - Everything You Need to Know About Chess - Summary 🔗

Below is the summary transcript of the playlist ‘Everything You Need to Know About Chess’ by Chess.com.

Start Playing 🔗

Piece	Movement	Value
King	one square in any direction two squares to castle	-
Queen	vertical, horizontal and diagonal	9
Rook	vertical and horizontal	5
Bishop	diagonal	3
Knight	L jump	3
Pawn	move one square forward, optional two squares in first move; capture one square forward diagonal, optional en passant; promote to another piece at the last square	1

Goal:

Patrick Noonan - How to Approach Problems Like a Management Consultant - Summary

Wed, 26 Jul 2023 00:00:00 +0000

Patrick Noonan - How to Approach Problems Like a Management Consultant - Summary 🔗

This is my summary of the video, mostly quoting the slides.

Structured Problem Solving Process (SPS) 🔗

Analysis: breaking apart
Synthesis: putting together

Step 1: Define the problem 🔗

Focus: What is the problem really about?

Tori Olds - Internal Family Systems, Explained - Transcript

Fri, 21 Jul 2023 00:00:00 +0000

Tori Olds - Internal Family Systems, Explained - Transcript 🔗

Below is the edited transcript of the playlist ‘Internal Family Systems, Explained’ by Tori Olds.

What is IFS Therapy? | Intro to Internal Family Systems 🔗

Right under our distressing ways of being there’s a version of us that has amazing capacity and care. Unlocking that capacity and care, and using it in our healing work, is what IFS therapy is all about.

Convert Markdown Website To Ebook

Sat, 17 Jun 2023 00:00:00 +0000

Convert Markdown Website To Ebook 🔗

This is how I’ve converted this website, which is written in Markdown using the Hugo framework, to an ebook with epub format, that I uploaded to https://leanpub.com/kaueswayoflife.

Customize 🔗

Customized the site to hide:

certain pages;
all page header anchors, breadcrumbs, footers;
all page images, videos and playlists.

Customized the logic using a HUGO_BOOK environment variable and a hide_from_book page parameter:

Download my free ebook

Tue, 13 Jun 2023 00:00:00 +0000

Download my free ebook 🔗

Download my free ebook with selected posts from this website: https://leanpub.com/kaueswayoflife.

Vincent Wu - Communicating with Executives Effectively - Summary

Sun, 18 Dec 2022 00:00:00 +0000

Vincent Wu - Communicating with Executives Effectively - Summary 🔗

This is my summary of the video, mostly quoting the slides.

Goal 🔗

Effectively communicate with busy executives to successfully motivate action.

Leonard Peikoff - Objectivism: The Philosophy of Ayn Rand - Summary

Tue, 13 Dec 2022 00:00:00 +0000

Leonard Peikoff - Objectivism: The Philosophy of Ayn Rand - Summary 🔗

This is my summary of the book ‘Objectivism: The Philosophy of Ayn Rand’ by Leonard Peikoff, quoting and paraphrasing the content.

REALITY 🔗

Philosophy consists of five branches.

Leonard Peikoff - History of Philosophy - Summary

Thu, 13 Oct 2022 00:00:00 +0000

Leonard Peikoff - History of Philosophy - Summary 🔗

This is my summary of the playlist, mostly quoting the slides, from the beginning to Aristotle, plus Aquinas.

Introduction to the History of Western Philosophy 🔗

The Purpose of This Course 🔗

The history of philosophy is a precondition to understanding, and therefore changing, the nature and present course of civilization.

Giles Yeo - How We Got the Science of Weight Loss Wrong - Summary

Thu, 14 Jul 2022 00:00:00 +0000

Giles Yeo - How We Got the Science of Weight Loss Wrong - Summary 🔗

Below is my summary of the video, quoting and paraphrasing the content.

What is a calorie? 🔗

A calorie (small ‘c’; aka a ‘heat’ calorie) is the amount of energy to raise the temperature of 1 ml H₂O by 1 °C at sea level.

Amishi Jha - Peak Mind - Find Your Focus, Own Your Attention, Invest 12 Minutes a Day - Summary

Fri, 29 Apr 2022 00:00:00 +0000

Amishi Jha - Peak Mind - Find Your Focus, Own Your Attention, Invest 12 Minutes a Day - Summary 🔗

This is my summary of the book ‘Peak Mind: Find Your Focus, Own Your Attention, Invest 12 Minutes a Day’ by Amishi Jha, quoting and paraphrasing the content.

Introduction 🔗

“May I Have Your Attention, Please?” 🔗

You are missing 50 percent of your life. And you’re not alone: everyone is.

Afterskool - Your Mind is an Excellent Servant, but a Terrible Master - David Foster Wallace - Transcript

Mon, 17 Jan 2022 00:00:00 +0000

Afterskool - Your Mind is an Excellent Servant, but a Terrible Master - David Foster Wallace - Transcript 🔗

Below is the edited transcript of the video.

Fish And Water 🔗

There are these two young fish swimming along, and they happen to meet an older fish swimming the other way, who nods at them and says “Morning boys, how is the water?”. And the two young fish swim on for a bit, and then eventually one of them looks over to the other and goes “What the hell is water?”.

Science-Based Parenting - Time Out for Kids - Correct Steps - Summary

Fri, 10 Dec 2021 00:00:00 +0000

Science-Based Parenting - Time Out for Kids - Correct Steps - Summary 🔗

This is my summary of the article, quoting and paraphrasing the content.

#1 Time In When Your Child Is Not In Time Out 🔗

A child’s regular environment (during time in) needs to be full of positive reinforcers, such as positive interactions, praise, physical affection, and interesting activities, to contrast with the time out area.

9 Questions To Check If You Are Addicted

Wed, 24 Nov 2021 00:00:00 +0000

9 Questions To Check If You Are Addicted 🔗

Questions from this article generalized to any addiction.

ADDICTION in the questions below can be any addiction: sleep, eat, drink, exercise, work, save, invest, buy, sex, play, watch, learn, etc.

#1 Pre-Occupation 🔗

Do you spend a lot of time

Human Improvement Project - Lessons - Process Emotions - Summary

Fri, 19 Nov 2021 00:00:00 +0000

Human Improvement Project - Lessons - Process Emotions - Summary 🔗

This is my summary of the lessons, quoting and paraphrasing the content.

Rules For When Your Partner Or Child Is Upset 🔗

#1 Sprinkler Of Emotions 🔗

Do:

Notice: “Sprinkler moment!”
Show you care: “Are you OK?”
Validate their feelings: “I can see why you would be frustrated by …, I would be too!”
Be empathetic: “I am sorry that you are going through this!”
Support non-verbally by just sitting nearby.

Don’t:

16 Personalities - Core Theory - Framework - Summary

Fri, 12 Nov 2021 00:00:00 +0000

16 Personalities - Core Theory - Framework - Summary 🔗

Below is my summary of the article and the types.

Approach 🔗

Acronym format introduced by Myers-Briggs, with an extra letter for the fifth scale, reworked and rebalanced based on the Big Five personality traits.

Five Personality Traits 🔗

Mind 🔗

Introverted (I___-_) prefer solitary activities and get exhausted by social interaction.

Valuetainment - 7 Signs You Are Going to Be Successful - Summary

Thu, 28 Oct 2021 00:00:00 +0000

Valuetainment - 7 Signs You Are Going to Be Successful - Summary 🔗

Below is the summary of the video.

#1 You Are Super Competitive 🔗

It does not matter what it is. You have to do it faster, better, bigger.

Afterskool - Best Lessons Learned from Jordan B. Peterson - Transcript

Fri, 20 Aug 2021 00:00:00 +0000

Afterskool - Best Lessons Learned from Jordan B. Peterson - Transcript 🔗

Below is the edited transcript of the video.

#1 Pick Your Sacrifice 🔗

Sacrifice. You get to pick your damn sacrifice. That is all. You do not get to not make one. You are sacrificial, whether you want to be or not.

Esther Perel - Stop Bickering - It Is Killing Your Relationship - Transcript

Sat, 17 Jul 2021 00:00:00 +0000

Esther Perel - Stop Bickering - It Is Killing Your Relationship - Transcript 🔗

Below is the edited transcript of the video.

Question:

We bicker all the time. She is so critical of me, I feel like I can not do anything right.

Bickering is low intensity chronic warfare.

It is this notion that every time one person says something, the other person has a reaction to it. You have got this proximity and it is constantly negative friction. It is not a positive spark, it is just negative heat, all the time.

Esther Perel - Fight Smarter - Avoid the Most Common Argument Patterns - Transcript

Thu, 08 Jul 2021 00:00:00 +0000

Esther Perel - Fight Smarter - Avoid the Most Common Argument Patterns - Transcript 🔗

Below is the edited transcript of the video.

Question:

Once in a while I’m late and my boyfriend takes it so personally. I can understand why he gets upset, but he blows it way out of proportion. This triggers our biggest fights. How can I convince him it is not about him?

Go Template Nested Loop Space

Thu, 17 Dec 2020 00:00:00 +0000

Go Template Nested Loop Space 🔗

Say we have some nested data:

var (
 data = map[string]map[string][]string{
 "1": {
 "1.1": {
 "1.1.1",
 "1.1.2",
 "1.1.3",
 },
 },
 "2": {
 "2.1": {
 "2.1.1",
 "2.1.2",
 "2.1.3",
 },
 },
 }
)

And we want to use a Go template to format it. The natural way is to write:

{{ range $name, $map := . }}
{{ $name }}:
 {{ range $name, $values := $map }}
 {{ $name }}:
 {{ range $value := $values }}
 {{ $value }}
 {{ end }}
 {{ end }}
{{ end }}

Unfortunately this results in extra spaces:

Music Chords, Scales And Greek Modes

Thu, 19 Nov 2020 00:00:00 +0000

Music Chords, Scales And Greek Modes 🔗

Notice the patterns.

Richard Hamming - You And Your Research - Summary

Fri, 30 Oct 2020 00:00:00 +0000

Richard Hamming - You And Your Research - Summary 🔗

Click to see the full transcript. This is my summary, quoting and paraphrasing the content.

This talk centered on Hamming’s observations and research on the question: why do so few scientists make significant contributions and so many are forgotten in the long run?

The talk is about what he has learned in terms of the properties of the individual scientists, their abilities, traits, working habits, attitudes, and philosophy.

Best Parts Of 10 Singing Songs

Sun, 18 Oct 2020 00:00:00 +0000

Best Parts Of 10 Singing Songs 🔗

Click to watch and listen to a playlist of YouTube video parts with the best parts of 10 singing songs.

Here are the titles of the videos:

Milow - You Don’t Know (Live)
Lady Gaga, Bradley Cooper - Shallow (From A Star Is Born/Live From The Oscars)
Ed Sheeran - Thinking Out Loud (x Acoustic Session)
Alex Clare - Too Close (Live Unplugged)
Ana Carolina, Seu Jorge - É Isso Aí (The Blower’s Daughter) (Ao Vivo)
When Love Takes Over - Pentatonix feat. Natalie Weiss (David Guetta feat. Kelly Rowland Cover)
How To Sing - Ken Tamplin - Singing Lessons - Singing Lessons for Beginners - Learn How to Sing
Elis Regina O Bêbado e A Equilibrista
Marisa Monte - Negro Gato
Ana Carolina, Seu Jorge - Garganta (Ao Vivo)

Unit Test Logs Only For Failed Inputs

Sat, 05 Sep 2020 00:00:00 +0000

Unit Test Logs Only For Failed Inputs 🔗

Say we have a function that logs its inputs and result:

package add

import (
 "log"
)

func add(x, y int) int {
 log.Printf("add %d %d", x, y)
 res := x + y;
 log.Printf("add %d %d = %d", x, y, res)
 return res
}

And we have a failing unit test:

package add

import (
 "testing"
)

func TestAdd(t *testing.T) {
 inputs := []struct{
 x int
 y int
 want int
 }{{
 x: 1,
 y: 2,
 want: 3,
 }, {
 x: 3,
 y: 2,
 want: 5,
 }, {
 x: 4,
 y: 5,
 want: 0, // fail
 }}
 for _, in := range inputs {
 got := add(in.x, in.y)
 if in.want != got {
 t.Errorf(
 "add %d %d got %d want %d",
 in.x, in.y, got, in.want)
 }
 }
}

The output also contains the logs of all passing inputs:

Best Parts Of 17 Classical Songs

Sat, 29 Aug 2020 00:00:00 +0000

Best Parts Of 17 Classical Songs 🔗

Click to watch and listen to a playlist of YouTube video parts with the best parts of 17 classical songs.

Here are the titles of the videos:

Tina S Vivaldi (Patrick Rondat) - Guitar Tutorial - Animated Tab - How to play
Mari Samuelsen: Vivaldi - “Summer” from Four Seasons
Chopin, Fantasie-Impromptu, opus 66
Desvairada - Raphael Rabello
Paul gilbert- Four seasons
paul gilbert j s bach toccata & fugue in d minor
Paul Gilbert - Bach Partita in Dm Partial Demo
Yamandu Costa no Jô Desvairada Garuto
Ennio Morricone - the ecstasy of gold
Moonlight Sonata 3rd Movement - Opus 27 No. 2 [Piano Tutorial] (Synthesia)
Appassionata 3rd Movement - Opus 57 No. 23 [Piano Tutorial] (Synthesia)
Fantaisie-Impromptu (Opus 66) - Frederic Chopin [Piano Tutorial] (Synthesia)
Chopin - Étude Op. 10 - No. 4 in C-sharp minor (Torrent) Piano Tutorial (100%) Synthesia
Por una Cabeza - Tango - Carlos Gardel. Piano (Synthesia)
Tango (From the scent of a woman)
Brasileirinho - com Toquinho e Luciana Rabello
Maksim plays Original of Flight of the Bumble Bee

Unit Test Using Commands Instead Of Mocks

Sat, 25 Jul 2020 00:00:00 +0000

Unit Test Using Commands Instead Of Mocks 🔗

Say you wrote some code to benchmark incremental builds:

func Benchmark(
 binary string, sourcePath string,
 resultPath string, numBuilds int) error {
 if err := build(binary); err != nil {
 return err
 }
 source, err := read(sourcePath)
 if err != nil {
 return err
 }
 deltas := []time.Duration{}
 for i := 0; i < numBuilds; i++ {
 if err := write(
 sourcePath,
 edit(source, i)); err != nil {
 return err
 }
 start := now()
 if err := build(binary); err != nil {
 return err
 }
 delta := now().Sub(start)
 deltas = append(deltas, delta)
 if err := revert(sourcePath); err != nil {
 return err
 }
 }
 return write(resultPath, report(deltas))
}

func Main() error {
 // these values would come from flags
 return Benchmark(
 "binary", "source_path",
 "result_path", 3 /* numBuilds */)
}

// compiler
func build(binary string) error {
 /* ... */
}

// file system
func read(path string) (string, error) {
 /* ... */
}

// self-contained
func edit(content string, delta int) string {
 /* ... */
}

// file system
func write(path string, content string) error {
 /* ... */
}

// time
func now() time.Time {
 return time.Now()
}

// version control
func revert(path string) error {
 /* ... */
}

// self-contained
func report(deltas []time.Duration) string {
 /* ... */
}

Explanation:

Best Parts Of 19 Guitar Solos

Sat, 11 Jul 2020 00:00:00 +0000

Best Parts Of 19 Guitar Solos 🔗

Click to watch and listen to a playlist of YouTube video parts with the best parts of 19 guitar solos.

Here are the titles of the videos:

Paul Gilbert - Technical Difficulties (Racer X)
Tina S - The Trooper - Iron Maiden - Guitar Tutorial - Animated Tab
Yngwie Malmsteen - Arpeggios From Hell - Tina S Cover
Dragon Force - Through the Fire and Flames - Tina S Cover
Billy Sheehan’s Bass Solo & Paul Gilbert battle
Stratovarius - Holy Light
Yngwie Malmsteen - Blues Solo “HD”
Kiko Loureiro - Dream Circle
Kiko Loureiro playing - Dilemma
PACO DE LUCIA , John McLaughlin , AL DI MEOLA
Yngwie Malmsteen - Far Beyond The Sun (Live)
Metallica Guitar Solo/Little Wing With Subtitles Live
Yngwie Malmsteen - Rising Force
STRATOVARIUS - Black Diamond /Masters of Rock 2012 DvD/
MetallicA Whiplash 1989 Live HD
Megadeth - Symphony Of Destruction (Live In Italy 1992)
Megadeth - Skin O’ My Teeth (Live In Italy 1992)
Megadeth - 1992 - High Speed Dirt
judas Priest - Painkiller - live

Best Parts Of 53 Party Songs

Sat, 04 Jul 2020 00:00:00 +0000

Best Parts Of 53 Party Songs 🔗

Click to watch and listen to a playlist of YouTube video parts with the best parts of 53 party songs.

Here are the titles of the videos:

DJ Earworm - United State of Pop 2009 (Blame It on the Pop)
Stromae - Alors On Danse (Clip Officiel)
Flo Rida “Club Can’t Handle Me” Music Video - Step Up 3D (2010 Movie)
Pitbull - Give Me Everything
Far East Movement ft. The Cataracs, DEV - Like A G6 (Official Video)
Edward Maya & Vika Jigulina - Stereo Love (Official Music Video)
Martin Solveig & Dragonette - Hello (Official Short Video Version HD)
Àlex de Guirior feat. Laura Estrada & Young J. - So Right (Official)
Sak Noel - Where (I lost my underwear) [Promo] HD
Steve Angello & Laidback Luke ft Robin S - ‘Show Me Love’
DJ Antoine ft. The Beat Shakers - Ma Chérie (DJ Antoine vs Mad Mark 2k12 Edit) (Official Video HD)
Flo Rida - Good Feeling [Official Video]
Low [from Step Up 2 The Streets O.S.T. / Mail On Sunday] (st
Pitbull - Rain Over Me ft. Marc Anthony
Otto Knows - Million Voices
Taio Cruz - Hangover ft. Flo Rida
Last Night by Keyshia Cole ft. P Diddy (Remix) w/Lyrics On Screen
Fatboy Slim, Riva Starr & Beardyman - Eat Sleep Rave Repeat (Calvin Harris Remix) [Official Video]
Pitbull ft. Christina Aguilera - Feel This Moment (Official Video)
Calvin Harris - I Need Your Love (Official Video) ft. Ellie Goulding
Avicii - Addicted To You
R3hab & NERVO & Ummet Ozcan - Revolution Official (Lyric on Description)
David Guetta - Little Bad Girl ft. Taio Cruz, Ludacris (Official Video)
Mc Tekinho SP - Lá no Camarote (KondZilla - 2013)
Jason Derulo - “Wiggle” feat. Snoop Dogg (Official Music Video)
No Boyfriend (Vocal Clean Edit) - Sak Noel, Dj Kuba & Neitan ft. Mayra Veronica
Can You Feel It By Jean Roch
Alex Gaudino feat Crystal Waters - Destination Calabria (HD)
Laurent Wolf Feat Eric Carter - No Stress (Radio Edit)
Adultério - Mr Catra
Hey Pachuco-The Mask Soundtrack
Greg Parys - Why Don’t We Just fuck OFFICIAL VIDEO HD
Benny Benassi - ‘Satisfaction’ (Official Video)
David Guetta - Hey Mama (Lyric video) ft Nicki Minaj, Bebe Rexha & Afrojack
Hardwell ft Above & Beyond - Thing called Spaceman (W&W mashup)
Calvin Harris & Disciples - How Deep Is Your Love
Éire - █▬█ █ ▀█▀ 👍 800K views Riton - Rinse & Repeat Ft. Kah-Lo (Original Mix) Deep house 2016
Sia - Cheap Thrills (Lyric Video) ft. Sean Paul
Calvin Harris - This Is What You Came For (Official Video) ft. Rihanna
Bob Marley feat. LVNDSCAPE & Bolier - Is This Love (Official Music Video)
Red label ou Ice - Dança do ice - Cangaia de Jegue (DVD/ 2008)
Marian Hill - Down
Sean Paul - Temperature (Official Video)
Sean Paul - She Doesn’t Mind (Official Video)
Sean Paul - Get Busy/Like Glue (Official Video)
Sean Paul - Got 2 Luv U (feat. Alexis Jordan) [Official Video]
J Balvin, Willy William - Mi Gente (Official Video)
Lorde - Green Light
Ozuna- BAILA BAILA BAILA (Video Oficial)
GIMS, Maluma - Hola Señorita (Maria) [Official Video]
ALMA - Dye My Hair (official)
Daddy Yankee & Snow - Con Calma (Official Video)
Ariana Grande - thank u, next (Official Video)

Richard Lang - The Headless Way - Guided Meditation - Transcript

Sat, 27 Jun 2020 00:00:00 +0000

Richard Lang - The Headless Way - Guided Meditation - Transcript 🔗

This is the edited transcript of the guided meditation done by Richard Lang about The Headless Way in the Waking Up app.

Introduction 🔗

Hello, I’m Richard Lang. I’m very pleased to be able to present the science of the 1st person, also known as The Headless Way, here on the Waking Up app.

Solution To The Expression Problem In Go Using Generics

Sat, 20 Jun 2020 01:00:00 +0000

Solution To The Expression Problem In Go Using Generics 🔗

This is how to solve the Expression Problem in the Go language using generics.

Click to read the Featherweight Go paper.

The paper says:

The goal is to define a data type by cases, where one can add new cases to the data type and new functions over the data type, without recompiling existing code, and while retaining static type safety.

Get Sorted Keys From Map In Go Using Generics

Sat, 20 Jun 2020 00:00:00 +0000

Get Sorted Keys From Map In Go Using Generics 🔗

This is how to implement a generic function that returns the sorted keys from a map in the Go language.

See the blog post and the updated design draft. In particular the examples about map keys and sort.

package main

import (
 "fmt"
 "sort"
)

type Ordered interface {
 type int, int8, int16, int32, int64,
 uint, uint8, uint16, uint32, uint64,
 uintptr, float32, float64, string
}

type orderedSlice(type T Ordered) []T

func (s orderedSlice(T)) Len() int {
 return len(s)
}

func (s orderedSlice(T)) Less(i, j int) bool {
 return s[i] < s[j]
}

func (s orderedSlice(T)) Swap(i, j int) {
 s[i], s[j] = s[j], s[i]
}

func OrderedSlice(type T Ordered)(s []T) {
 sort.Sort(orderedSlice(T)(s))
}

func SortedKeys(type K Ordered, V interface{})(
 m map[K]V) []K {
 r := make([]K, 0, len(m))
 for k := range m {
 r = append(r, k)
 }
 OrderedSlice(r)
 return r
}

func main() {

 fmt.Println(
 SortedKeys(map[int]int{1: 2, 2: 4}))
 // Result: [1 2]

 fmt.Println(
 SortedKeys(
 map[string]int{"foo": 2, "bar": 4}))
 // Result: [bar foo]

}

Click to run this on the Go playground.

How My Discipline Has Changed Over The Years

Tue, 16 Jun 2020 00:00:00 +0000

How My Discipline Has Changed Over The Years 🔗

I remember reading somewhere that a good way to find well connected people is to ask random people who is the most well connected person they know.

Many of my friends say that I am the most disciplined person they know.

One pattern I noticed is that there were things that most people knew they should do but still didn’t do.

Word To The Wise - How To Know Yourself - Jordan Peterson - Best Life Advice - Transcript

Sun, 14 Jun 2020 00:00:00 +0000

Word To The Wise - How To Know Yourself - Jordan Peterson - Best Life Advice - Transcript 🔗

Below is the edited transcript of the video.

The Greeks had the maxim know thyself. How do we come to know ourselves in terms of our personalities and, more importantly, potential?

One of the first ways to come to know yourself is to understand that you don’t.

You can learn to watch yourself, like you are watching a stranger. But you have to adopt a position of radical humility.

Instant Page Load By Lazy Loading Using Just JavaScript

Mon, 01 Jun 2020 02:00:00 +0000

Instant Page Load By Lazy Loading Using Just JavaScript 🔗

I made all pages on this site load immediately, and then do all the extra work: load images, videos, JavaScript, CSS.

My benchmark was PageSpeed Insights, also available inside Chrome Dev Tools.

Run JavaScript After Page Load 🔗

The only way I’ve found to make the lazy loading not count as part of the page load time is to use a callback that runs after ~1.5 seconds:

Migrating From Jekyll To Hugo

Mon, 01 Jun 2020 01:00:00 +0000

Migrating From Jekyll To Hugo 🔗

Here are the main parts that were required to migrate this site from Jekyll to Hugo.

You might also want to see how I use Hugo for this site and how I used Jekyll for this site before migrating to Hugo.

Move Posts 🔗

For each post I did the following:

How I Use Hugo For This Site

Mon, 01 Jun 2020 00:00:00 +0000

How I Use Hugo For This Site 🔗

Here are the main features of Hugo I use to generate all the static pages of this site.

You might also want to see how I used Jekyll for this site before migrating to Hugo.

Root Folder 🔗

$ ls
archetypes config.toml content data
layouts resources static themes

config.toml 🔗

The config.toml file content is:

How I Use Jekyll For This Site

Mon, 25 May 2020 00:00:00 +0000

How I Use Jekyll For This Site 🔗

Here are the main features of Jekyll I used to generate all the static pages of this site.

Root Folder 🔗

$ ls
assets _config.yml _data Gemfile
Gemfile.lock _health _home _includes
_layouts _love _meaning _posts
robots.txt _wealth

_config.yaml 🔗

The _config.yaml file content is:

IQ Test Answers Explained

Sun, 10 May 2020 00:00:00 +0000

IQ Test Answers Explained 🔗

Below is an IQ test with answers and explanations.

1. Which word doesn’t fit? 🔗

Smelling
Seeing
Smiling
Hearing

Answer: Out of the words smelling, seeing, smiling, hearing, the word that doesn’t fit is smiling.

Similar Country Flags

Sat, 25 Apr 2020 00:00:00 +0000

Similar Country Flags 🔗

Here is a playlist with Geography challenges, starting with finding the country corresponding to each flag:

While learning country flags I’ve noticed some similarities:

Google Cloud Platform - Keep My Websites Free

Tue, 21 Apr 2020 00:00:00 +0000

Google Cloud Platform - Keep My Websites Free 🔗

I use Google Cloud Platform to host my websites. This is how I make sure the platform stays free and investigate the costs that appear.

1. Set a budget email alert 🔗

Billing => Budget & Alerts => Create Budget => Set Amount to 0 => Finish.

John Vervaeke - Awakening from the Meaning Crisis - Summary - Episodes 1 to 10

Thu, 24 Oct 2019 00:00:00 +0000

John Vervaeke - Awakening from the Meaning Crisis - Summary - Episodes 1 to 10 🔗

Ep. 1 - Introduction 🔗

The following are my main takeaways from the video, quoting and paraphrasing the content.

Fergus Henderson - Software Engineering at Google - Summary

Thu, 17 Oct 2019 00:00:00 +0000

Fergus Henderson - Software Engineering at Google - Summary 🔗

Click to see the full document. This is my summary, quoting and paraphrasing the content.

Introduction 🔗

The aim is to catalogue and briefly describe Google’s key software engineering practices.

JL Collins - Why your house is a terrible investment - Summary

Wed, 16 Oct 2019 00:00:00 +0000

JL Collins - Why your house is a terrible investment - Summary 🔗

Click to see the full artible. This is my summary, quoting and paraphrasing the content:

takes months to buy / sell, research
expensive to buy / sell, commissions
complex to buy / sell, regulations
no returns above inflation
leveraged, multiply gains and losses
mortgaged, interest cost
unproductive, no dividends
immobile, single location
expensive, less diversification
ongoing maintenance costs, renovation
fragile, easily damaged
heavily taxed
subject to eminent domain, can be taken by the government
impossible to divide

Paul Graham - How to Make Wealth - Summary

Tue, 15 Oct 2019 00:00:00 +0000

Paul Graham - How to Make Wealth - Summary 🔗

Click to see the full article. This is my summary, quoting and paraphrasing the content.

If you wanted to get rich, your best bet would be to start or join a startup.

Economically, you can think of a startup as a way to compress your whole working life into a few years.

You could be more than 30 times more productive than you’re expected to be in a random corporate job.

Elided Branches - How Do Individual Contributors Get Stuck? - Summary

Mon, 14 Oct 2019 00:00:00 +0000

Elided Branches - How Do Individual Contributors Get Stuck? - Summary 🔗

Click to see the full article. This is my summary, quoting and paraphrasing the content.

Individual Contributors often get sidetracked by …

Brainstorming / architecture
Researching possible solutions forever
Refactoring
Helping other people instead of doing their assigned tasks
Jumping on fires even when not on-call
Working on side projects instead of the main project
Excessive testing
Excessive automation

Individual Contributors often get stuck when they need to …

Gary Chapman - The 5 Love Languages - Summary

Mon, 14 Oct 2019 00:00:00 +0000

Gary Chapman - The 5 Love Languages - Summary 🔗

Click to see the full article. This is my summary, quoting and paraphrasing the content.

Words of Affirmation (e.g. “I love you”)
Acts of Service (e.g. cooking)
Gifts (e.g. favorite snack)
Quality Time (undivided attention)
Physical Touch (e.g. hugging)

Paul Graham - How to Do What You Love - Summary

Sat, 12 Oct 2019 00:00:00 +0000

Paul Graham - How to Do What You Love - Summary 🔗

Click to see the full essay. This is my summary, quoting and paraphrasing the content.

To do something well you have to like it.

Do what you love doesn’t mean, do what you would like to do most this second, but what will make you happiest over some longer period, like a week or a month.

Unproductive pleasures pall eventually. If you want to stay happy, you have to do something.

Paul Graham - How to Get Startup Ideas - Summary

Fri, 11 Oct 2019 00:00:00 +0000

Paul Graham - How to Get Startup Ideas - Summary 🔗

Click to see the full essay. This is my summary, quoting and paraphrasing the content.

Look for problems, preferably problems you have yourself.

Something you want, you can build, and that few others realize is worth doing.

Ensure the problem really exists.

When a startup launches, there have to be at least some users who really need what the startup is making, who want it urgently.

The Feynman Lectures on Physics - Algebra - Summary

Wed, 09 Oct 2019 00:00:00 +0000

The Feynman Lectures on Physics - Algebra - Summary 🔗

Click to see the full chapter. This is my summary, quoting and paraphrasing the content.

Addition and multiplication 🔗

`ubrace(1 + 1 + ... + 1)_(b " times") = b`

`ubrace(a + a + ... + a)_(b " times") = b * a`

Max Dama on Automated Trading - Brain Teasers - Answers

Sun, 06 Oct 2019 00:00:00 +0000

Max Dama on Automated Trading - Brain Teasers - Answers 🔗

Click to see the full text. Below are my answers.

Market Making and Betting 🔗

Flip 98 fair coins and 1 HH coin and 1 TT coin. Given that you see an H, what is the probability that it was the HH coin? Explain in layman’s terms.

Tom Dalling - FizzBuzz In Too Much Detail - My Take - In Go

Fri, 04 Oct 2019 00:00:00 +0000

Tom Dalling - FizzBuzz In Too Much Detail - My Take - In Go 🔗

Click to see the full article. This is my take, in Go.

Goal 🔗

1
2
Fizz
4
Buzz
Fizz
7
8
Fizz
Buzz
11
Fizz
13
14
FizzBuzz

Easy 🔗

package main

import "fmt"

func main() {
 for i := 1; i <= 15; i++ {
 if (i % 3 == 0 && i % 5 == 0) {
 fmt.Println("FizzBuzz")
 } else if (i % 3 == 0) {
 fmt.Println("Fizz")
 } else if (i % 5 == 0) {
 fmt.Println("Buzz")
 } else {
 fmt.Println(i);
 }
 }
}

Less duplication 🔗

func main() {
 for i := 1; i <= 15; i++ {
 res := ""
 if (i % 3 == 0) {
 res += "Fizz"
 }
 if (i % 5 == 0) {
 res += "Buzz"
 }
 if (res == "") {
 res = fmt.Sprint(i);
 }
 fmt.Println(res)
 }
}

Avoid duplicating 3, 5, Fizz, Buzz, Println.

Family DNA Percentages

Wed, 02 Oct 2019 00:00:00 +0000

Family DNA Percentages 🔗

What do you have in common with your grandparents, uncles, half-siblings, nephews and grandchildren? 25%.

	100%	50%	25%	12%	6%
-4					parents of parents of parents of parents
-3				parents of parents of parents	siblings of parents of parents of parents
-2			parents of parents	siblings of parents of parents	half-siblings of parents of parents
-1		parents	siblings of parents	half-siblings of parents	children of siblings of parents of parents
0	you	siblings	half-siblings	children of siblings of parents	children of half-siblings of parents
+1		children	children of siblings	children of half-siblings	children of children of siblings of parents
+2			children of children	children of children of siblings	children of children of half-siblings
+3				children of children of children	children of children of children of siblings
+4					children of children of children of children

Each row is a generation. Each column is an expected percentage of shared genes.

Sam Bleckley - The Church of Interruption - My Take

Sun, 29 Sep 2019 00:00:00 +0000

Sam Bleckley - The Church of Interruption - My Take 🔗

Click to see the full article.

I partially disagree with the article, this is my take on the topic.

Behaviour of each person:

	I interrupt you when I understand	I expect you to speak briefly
I speak until you interrupt	(Church of) Interruption	Worst
I speak briefly	Best	(Church of) Civility

What happens when a person on each row talks to a person on each column:

Fred Kofman - Your Job Is Not Your Job - Summary

Sat, 28 Sep 2019 00:00:00 +0000

Fred Kofman - Your Job Is Not Your Job - Summary 🔗

The following are my main takeaways from each of the videos, quoting and paraphrasing the content.

What is your job? Your job is not what you do, but the goal you pursue.

“I teach” => “I help people learn”
“I drive a taxi” => “I help people get to where they want to go”
“I coach people” => “I help people get to where they want to go”

What is the goal of every member of a company? To help the company win.

Josh Kaufman - Shut Up and Take My Money: How to Find Business Ideas Customers Want - Summary

Sun, 22 Sep 2019 00:00:00 +0000

Josh Kaufman - Shut Up and Take My Money: How to Find Business Ideas Customers Want - Summary 🔗

The following are my main takeaways from the video, quoting and paraphrasing the content.

Market 🔗

Research ideas to make the world “more awesome” or “less awful” (less hassle, less friction).

Evaluate if an idea good for customers and good business.

Life Tracking

Sat, 21 Sep 2019 00:00:00 +0000

Life Tracking 🔗

Jason Cohen - Designing the Ideal Bootstrapped Business - Summary

Sat, 14 Sep 2019 00:00:00 +0000

Jason Cohen - Designing the Ideal Bootstrapped Business - Summary 🔗

The following are my main takeaways from the video, quoting and paraphrasing the content.

Most companies don’t work: don’t build something people want, don’t use a structure that lends itself to bootstrapping (low money, low time). Bootstrapped means self-funded.

TL;DR 🔗

150 customers
$10000/month revenue ($67 average revenue per customer)
3 price tiers: $49, $99, $249 (business)
Premium support package (priority)
Boutique: “I’m just one person making a go of it”
Ads: pay per click $2.60 (4% of the average revenue per customer)
Annual prepay: “Two months free if you sign up for a year”
60 day money back guarantee (no free trial)
Market
- with naturally recurring problem
- not real-time
- solution that can be finished
- attached to an established product
- big

Revenue Model 🔗

Cash machine, predictable way to make a profit every month. Recurring revenue.

Bet

Sun, 08 Sep 2019 00:00:00 +0000

Bet 🔗

Betting game where you can choose your prize or your chance of winning.

Banks Create Money To Facilitate Transactions - Example

Sun, 18 Aug 2019 00:00:00 +0000

Banks Create Money To Facilitate Transactions - Example 🔗

Summary:

the rich person paid for a meal with ingredients and some gold
the poor person got paid to make a meal
the bank got paid to facilitate the transaction

Alternatives to avoid the bank loan:

EITHER the poor person already has the gold to buy the ingredients from the beginning
OR the poor person convinces the rich person from the beginning
OR the ingredients don’t get converted to a more valuable meal

Naval Ravikant - How to Get Rich

Wed, 12 Jun 2019 00:00:00 +0000

Naval Ravikant - How to Get Rich 🔗

Click here to see the tweets.

Audio:

Click here to see the transcripts.

Interview:

Shortest Path

Sat, 25 May 2019 00:00:00 +0000

Shortest Path 🔗

For the following leiterlispiel game, what is the shortest path from Start to Ziel?

Solution:

Computation:

Pareto Salary

Fri, 24 May 2019 00:00:00 +0000

Pareto Salary 🔗

If the square root of people produce half of the value, how many times higher than the average salary should the salary of the top people be?

number of people	productivity of top people	average productivity	ratio
10	15.81%	10.000%	1.58x
100	7.91%	1.000%	7.91x
1000	5.27%	0.100%	52.71x
10000	3.95%	0.010%	395.28x
100000	3.04%	0.001%	3043.55x

Example Calculation For 10000 People 🔗

people	productivity	average
10000.00	100.00%	0.01%
100.00	50.00%	0.50%
10.00	25.00%	2.50%
3.16	12.50%	3.95%

Code 🔗

import math

def run(number, percent):
 # print('| %9.2f | %6.2f%% | %6.2f%% |' % (number, percent, percent / number))
 nxt = math.sqrt(number)
 if 2 * nxt > number:
 return percent / number
 return run(nxt, percent / 2.)

for exp in range(5):
 number = math.pow(10, exp + 1)
 top = run(number, 100.)
 avg = 100. / number
 print('| %6.0f | %5.2f%% | %6.3f%% | %7.2fx |' % (number, top, avg, top / avg))

One Order Of Time Faster

Thu, 23 May 2019 00:00:00 +0000

One Order Of Time Faster 🔗

If you were one “order of time” faster than someone else, how much faster would you be?

from	to	ratio
week	day	5x
month	week	4.3x
quarter	month	3x
year	quarter	4x

Between 3x and 5x faster.

Farnam Street - Mental Models - The Best Way to Make Intelligent Decisions - Summary

Fri, 03 May 2019 00:00:00 +0000

Farnam Street - Mental Models - The Best Way to Make Intelligent Decisions - Summary 🔗

See article on Farnam Street - Mental Models - The Best Way to Make Intelligent Decisions.

The map is not the territory: reality is different from abstractions.

Circle of competence: know what you don’t know.

First principles thinking: start from zero.

Thought experiment: imagine clear scenario.

Second order thinking: indirect consequences.

Probabilistic thinking: uncertainty.

Inversion: start from end.

Health Wealth Love Meaning

Sun, 28 Apr 2019 00:00:00 +0000

Health Wealth Love Meaning 🔗

First wealth, ~~love, meaning, health~~. Focus on career, saving, investing. Studying and working hard. Sacrificing the rest.

Then health, wealth, ~~love, meaning~~. Focus on sleep, nutrition, exercise. Getting fit. Sustainable career growth.

Next meaning, health, wealth, ~~love~~. Focus on awareness, fun, good. Learning to enjoy the present moment. With health and wealth it should be easy.

Finally love, meaning, health, wealth. Focus on partner, friends, family. Bringing out the best in your partner, children, everyone. Being your best self.

Faster Home Page Speed

Wed, 24 Apr 2019 00:00:00 +0000

Faster Home Page Speed 🔗

Summary 🔗

Local 🔗

Serving on local machine, with chrome developer tools open, network tab, disable cache, slow 3G, ctrl+shift+r for full refresh.

Decode E-mail Chinese Characters English Outlook iPhone Mojibake

Tue, 23 Apr 2019 00:00:00 +0000

Decode E-mail Chinese Characters English Outlook iPhone Mojibake 🔗

If you get an e-mail with Chinese characters instead of Latin characters see how to decode below.

Simplified Example 🔗

# file.py
import sys
print(sys.argv[1].encode('utf-16be'))

$ python file.py
 "㱨瑭氠摩爽≬瑲∾㱨敡搾਼浥瑡⁨瑴瀭敱畩瘽≃潮瑥湴ⵔ祰..."
 > content.html
$ google-chrome content.html

HTML Output 🔗

$ python file.py
 "㱨瑭氠摩爽≬瑲∾㱨敡搾਼浥瑡⁨瑴瀭敱畩瘽≃潮瑥湴ⵔ祰..."
<html dir="ltr"><head>
<meta
 http-equiv="Content-Type"
 content="text/html; chars...

Playlist Of YouTube Video Parts

Thu, 21 Mar 2019 00:00:00 +0000

Playlist Of YouTube Video Parts 🔗

The format is VideoId StartSeconds EndSeconds.

Edits are reflected when the next video plays.

You can use the URL to share your list (e.g. guitar solos – you need to open in a new tab).

Mathematics - My Favorite Euler Formulas

Sat, 16 Mar 2019 00:00:00 +0000

Mathematics - My Favorite Euler Formulas 🔗

Euler’s formula in complex analysis 🔗

`e^(ix) = cos x + i sin x`

See wikipedia.

Euler’s identity 🔗

`e^(ipi) + 1 = 0`

See wikipedia.

Euler’s number 🔗

`e = sum_(n = 0)^infty 1/(n!) = 1/1 + 1/1 + 1/(1 * 2) + 1/(1 * 2 * 3) + cdots`

Battlesnake Bot Competition

Sat, 09 Mar 2019 00:00:00 +0000

Battlesnake Bot Competition 🔗

See competition on link.

See some games my bot won by colliding (one, two), starving (one) and blocking (one, two, three). It got to 7th place at the overall leaderboard: link.

See my source code on github (source, commits).

Code Walk 🔗

Board Creation 🔗

data = bottle.request.json
board_data = data['board']
self.height = board_data['height']
self.width = board_data['width']

self.board = [
 [0 for _ in range(self.width)]
 for _ in range(self.height)]

snakes = board_data['snakes']
for snake in snakes:
 for part in snake['body'][:-1]:
 self.board[part['y']][part['x']] = 1
 if exclude_heads_of_other_snakes:
 if (snake['id'] != self.id
 and len(snake['body']) >= len(body)):
 head = snake['body'][0]
 for (_, nx, ny) in self.adjacent(
 head['x'], head['y']):
 self.board[ny][nx] = 1

Adjacent Squares 🔗

DIRECTIONS = ['up', 'down', 'left', 'right']

DELTAS = {
 'up' : { 'x': 0, 'y': -1, },
 'down' : { 'x': 0, 'y': +1, },
 'left' : { 'x': -1, 'y': 0, },
 'right': { 'x': +1, 'y': 0, },
}

def adjacent(self, x, y):
 res = []
 for direction in DIRECTIONS:
 delta = DELTAS[direction]
 nx = x + delta['x']
 ny = y + delta['y']
 if (nx >= 0 and nx < self.width and
 ny >= 0 and ny < self.height and
 self.board[ny][nx] == 0):
 res.append((direction, nx, ny))
 return res

Distance And Movement To All Destinations 🔗

NO_DISTANCE = -1
NO_MOVE = '?'

def distances(self, x, y):
 res = [
 [NO_DISTANCE for _ in range(self.width)]
 for _ in range(self.height)]
 move = [
 [NO_MOVE for _ in range(self.width)]
 for _ in range(self.height)]
 move_debug = [
 [NO_MOVE for _ in range(self.width)]
 for _ in range(self.height)]
 # Flood fill.
 res[y][x] = 0
 deque = collections.deque()
 for (m, nx, ny) in self.adjacent(x, y):
 deque.append((nx, ny, 1, m))
 while deque:
 (x, y, d, m) = deque.popleft()
 if res[y][x] != NO_DISTANCE:
 continue
 res[y][x] = d
 move[y][x] = m
 move_debug[y][x] = m[0]
 for (_, nx, ny) in self.adjacent(x, y):
 if res[ny][nx] == NO_DISTANCE:
 deque.append((nx, ny, d + 1, m))

Move To Particular Position 🔗

def move_to_pos(self, x, y, moves):
 res = moves[y][x]
 print (
 'move_to_pos', 'x', x, 'y', y,
 'res', res)
 return res

Move To Position With The Most Space 🔗

def move_to_max(self, distances, moves):
 maxdist = -1
 res = NO_MOVE
 for x in range(self.width):
 for y in range(self.height):
 if distances[y][x] > maxdist:
 maxdist = distances[y][x]
 res = moves[y][x]
 print (
 'move_to_max', 'maxdist', maxdist,
 'res', res)
 return res

Move To Closest Food That Has A Path To Tail 🔗

def move_to_food(
 self, distances, moves, tail_distances):
 res = NO_MOVE
 mindist = sys.maxint
 for food in self.food:
 x = food['x']
 y = food['y']
 dist = distances[y][x]
 if (dist != NO_DISTANCE and
 dist < mindist and (
 (tail_distances[y][x] != NO_DISTANCE
 and tail_distances[y][x] >= 2)
 or self.health <= 25)):
 mindist = dist
 res = moves[y][x]
 print (
 'move_to_food', 'mindist', mindist,
 'res', res)
 return res

Move to Food, Tail or Max 🔗

def run(data, exclude_heads_of_other_snakes):
 game = Game(
 data, exclude_heads_of_other_snakes)
 distances, moves, moves_debug = (
 game.distances(
 game.head['x'], game.head['y']))
 tail_distances, _, _ = game.distances(
 game.tail['x'], game.tail['y'])

 tails = (
 [(_, game.tail['x'], game.tail['y'])] +
 game.adjacent(
 game.tail['x'], game.tail['y']))
 for (_, x, y) in tails:
 direction = game.move_to_pos(x, y, moves)
 if direction != NO_MOVE:
 break

 if direction == NO_MOVE:
 direction = game.move_to_max(
 distances, moves)

 if game.health <= get_min_health(
 game.name):
 food_direction = game.move_to_food(
 distances, moves, tail_distances)
 if food_direction != NO_MOVE:
 direction = food_direction

 return direction

@bottle.post('/move')
def move():
 data = bottle.request.json
 direction = run(
 data, exclude_heads_of_other_snakes=True)
 if direction == NO_MOVE:
 direction = run(
 data,
 exclude_heads_of_other_snakes=False)
 return move_response(direction)

Levered Body-Weight Exercises

Wed, 30 Jan 2019 00:00:00 +0000

Levered Body-Weight Exercises 🔗

Difficulty Depends On Height 🔗

The difficulty of usual (non-levered) body-weight exercises (such as pull up) is independent of the person’s height. For example, comparing a person that weights 90kg with another that weights 60kg, the heavier person has to be 50% stronger [90/60].

How To Open Your 7 Chakras As Explained In a Children's Show - Summary

Sun, 27 Jan 2019 00:00:00 +0000

How To Open Your 7 Chakras As Explained In a Children’s Show - Summary 🔗

Survival 🔗

Blocked by fear. Surrender all your fears.

Pleasure 🔗

Blocked by guilt. Forgive yourself.

Power 🔗

Blocked by shame. Accept your mistakes.

Love 🔗

Blocked by grief. Let go of your sadness.

Truth 🔗

Blocked by lies. Accept your nature.

Cognitive Behavioral Therapy - Summary

Thu, 10 Jan 2019 00:00:00 +0000

Cognitive Behavioral Therapy - Summary 🔗

This is my summary of the article, quoting and paraphrasing the content.

Cognitive Distortions 🔗

Filtering 🔗

Focusing solely on the negative and ignoring all of the positive.

Dr. Michael Greger: 'How Not To Die' | Talks at Google - Summary

Thu, 10 Jan 2019 00:00:00 +0000

Dr. Michael Greger: ‘How Not To Die’ | Talks at Google - Summary 🔗

The summary is that many studies seem to show that a plant-based diet helps prevent and fix most of the diseases that cause the most deaths.

I would do that if I ever got really sick.

Caveats 🔗

People that eat a plant-based diet are more likely to pay attention to their diet, so some of the benefit might come just from paying attention.

Mathematics - Quadratic Equation Graph Interactive

Sun, 06 Jan 2019 00:00:00 +0000

Mathematics - Quadratic Equation Graph Interactive 🔗

`f(x) = ax^2 + bx + c`

Mathematics - Algebra - Quadratic Equation Formula Derivation - Step By Step

Thu, 03 Jan 2019 00:00:00 +0000

Mathematics - Algebra - Quadratic Equation Formula Derivation - Step By Step 🔗

Overview 🔗


` ax^2 `	` + `	` bx `	` + `	` c `	` = `	` 0 `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` + `	` c/a `	` = `	` 0 `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` `	` `	` = `	` -c/a `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` (x `	` + `	` b/(2a))^2 `	` `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` (x `	` + `	` b/(2a))^2 `	` `	` = `	` `	` (b^2 - 4ac)/((2a)^2) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` x `	` + `	` b/(2a) `	` `	` = `	` `	` +-sqrt(b^2-4ac)/(2a) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` x `	` `	` `	` `	` = `	` `	` (-b+-sqrt(b^2-4ac))/(2a) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

Overview With Main Rules 🔗


` ax^2 `	` + `	` bx `	` + `	` c `	` = `	` 0 `	` `	` `	` \| `	` x = y `	` => `	` kx = ky `	` \| `	` k `	` larr `	` 1/a `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` + `	` c/a `	` = `	` 0 `	` `	` `	` \| `	` x = y `	` => `	` x + k = y + k `	` \| `	` k `	` larr `	` -c/a `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` `	` `	` = `	` -c/a `	` `	` `	` \| `	` x = y `	` => `	` x + k = y + k `	` \| `	` k `	` larr `	` (b/(2a))^2 `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` k^2 +2km + m^2 `	` => `	` (k + m)^2 `	` \| `	` k `	` larr `	` x `	` m larr b/(2a) `	` `	` `
` `	` (x `	` + `	` b/(2a))^2 `	` `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` k / m + p / r `	` => `	` (kr + p m) / (mr) `	` \| `	` k `	` larr `	` -c `	` m larr a `	` p larr b^2 `	` r larr (2a)^2 `
` `	` (x `	` + `	` b/(2a))^2 `	` `	` = `	` `	` (b^2 - 4ac)/((2a)^2) `	` `	` \| `	` x = y `	` => `	` sqrt(x) = sqrt(y) `	` `	` `	` `	` `	` `	` `	` `
` `	` x `	` + `	` b/(2a) `	` `	` = `	` `	` +-sqrt(b^2-4ac)/(2a) `	` `	` \| `	` x = y `	` => `	` x + k = y + k `	` \| `	` k `	` larr `	` (-b/(2a)) `	` `	` `	` `
` `	` x `	` `	` `	` `	` = `	` `	` (-b+-sqrt(b^2-4ac))/(2a) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

First Step 🔗


` `	` ax^2 `	` + `	` bx `	` + `	` c `	` = `	` 0 `	` \| `	` x = y `	` => `	` kx = ky `	` `	` `	` `	` `	` `	` `	` `	` `
` 1/a `	` (ax^2 `	` + `	` bx `	` + `	` c) `	` = `	` (1/a)0 `	` \| `	` k(m + p) `	` => `	` km + kp `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` (1/a)ax^2 `	` + `	` (1/a)bx `	` + `	` (1/a)c `	` = `	` (1/a)0 `	` \| `	` k * 0 `	` => `	` 0 `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` (1/a)ax^2 `	` + `	` (1/a)bx `	` + `	` (1/a)c `	` = `	` 0 `	` \| `	` (k / m)p `	` => `	` (kp)/m `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` (1ax^2)/a `	` + `	` (1bx)/a `	` + `	` (1c)/a `	` = `	` 0 `	` \| `	` 1 * k `	` => `	` k `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` (ax^2)/a `	` + `	` (bx)/a `	` + `	` c/a `	` = `	` 0 `	` \| `	` (kp)/m `	` => `	` (k / m)p `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` (a/a)x^2 `	` + `	` (bx)/a `	` + `	` c/a `	` = `	` 0 `	` \| `	` k/k `	` => `	` 1 `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` 1x^2 `	` + `	` (bx)/a `	` + `	` c/a `	` = `	` 0 `	` \| `	` 1 * k `	` => `	` k `	` `	` `	` `	` `	` `	` `	` `	` `
` `	` x^2 `	` + `	` (bx)/a `	` + `	` c/a `	` = `	` 0 `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

Next Step 🔗


` x^2 `	` + `	` (bx)/a `	` + `	` c/a `	` `	` `	` = `	` 0 `	` `	` `	` \| `	` x = y `	` => `	` x + k = y + k `	` `	` `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` + `	` c/a `	` + `	` (-c/a) `	` = `	` 0 `	` + `	` (-c/a) `	` \| `	` k + (-k) `	` => `	` 0 `	` `	` `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` + `	` `	` 0 `	` `	` = `	` 0 `	` + `	` (-c/a) `	` \| `	` k + 0 `	` => `	` k `	` `	` `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` `	` `	` `	` `	` = `	` `	` -c/a `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

Next Step 🔗


` x^2 `	` + `	` (bx)/a `	` `	` `	` = `	` -c/a `	` `	` `	` \| `	` x = y `	` => `	` x + k = y + k `	` `	` `	` `	` `	` `	` `	` `
` x^2 `	` + `	` (bx)/a `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

Next Step 🔗


` `	` x^2 `	` + `	` `	` (bx)/a `	` `	` `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` k `	` => `	` 1 * k `	` `	` `	` `
` `	` x^2 `	` + `	` `	` 1((bx)/a) `	` `	` `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` 1 `	` => `	` k/k `	` `	` `	` `
` `	` x^2 `	` + `	` `	` (2/2)((bx)/a) `	` `	` `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` (k/m)(p/r) `	` => `	` (kp)/(mr) `	` `	` `	` `
` `	` x^2 `	` + `	` `	` (2bx)/(2a) `	` `	` `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` 2k `	` => `	` k+k `	` `	` `	` `
` `	` x^2 `	` + `	` `	` (bx+bx)/(2a) `	` `	` `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` (k + m)/p `	` => `	` k/p + m/p `	` `	` `	` `
` `	` x^2 `	` + `	` (bx)/(2a) `	` + `	` `	` (bx)/(2a) `	` + `	` (b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` (km)/p `	` => `	` k(m/p) `	` `	` `	` `
` `	` x*x `	` + `	` x(b/(2a)) `	` + `	` `	` (b/(2a))x `	` + `	` (b/(2a))(b/(2a)) `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` km + kp `	` => `	` k(m + p) `	` `	` `	` `
` x `	` (x `	` + `	` b/(2a)) `	` + `	` b/(2a) `	` (x `	` + `	` b/(2a)) `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` km + kp `	` => `	` k(m + p) `	` `	` `	` `
` (x `	` `	` `	` `	` + `	` b/(2a)) `	` (x `	` + `	` b/(2a)) `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` k * k `	` => `	` k^2 `	` `	` `	` `
` (x `	` `	` `	` `	` + `	` b/(2a))^2 `	` `	` `	` `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` `	` `	` `	` `	` `	` `	` `

Next Step 🔗


` (x `	` + `	` b/(2a))^2 `	` = `	` -c/a `	` + `	` (b/(2a))^2 `	` \| `	` (k/m)^2 `	` => `	` (k^2)/(m^2) `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` -c/a `	` + `	` (b^2)/((2a)^2) `	` \| `	` k `	` => `	` 1 * k `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` 1((-c)/a) `	` + `	` (b^2)/((2a)^2) `	` \| `	` 1 `	` => `	` k/k `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` (((2a)^2)/((2a)^2))((-c)/a) `	` + `	` (b^2)/((2a)^2) `	` \| `	` (k/m)(p/r) `	` => `	` (k/r)(p/m) `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` (((2a)^2)/a)((-c)/(2a)^2) `	` + `	` (b^2)/((2a)^2) `	` \| `	` (km)^2 `	` => `	` k^2m^2 `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` ((2^2a^2)/a)((-c)/(2a)^2) `	` + `	` (b^2)/((2a)^2) `	` \| `	` k^2/k `	` => `	` k `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` (4a(-c))/((2a)^2) `	` + `	` (b^2)/((2a)^2) `	` \| `	` km `	` => `	` mk `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` (-4ac)/((2a)^2) `	` + `	` (b^2)/((2a)^2) `	` \| `	` k/m +p/m `	` => `	` (k+p)/m `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` `	` (-4ac+b^2)/((2a)^2) `	` `	` \| `	` k+m `	` => `	` m+k `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` (x `	` + `	` b/(2a))^2 `	` = `	` `	` (b^2-4ac)/((2a)^2) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

Next Step 🔗


` (x+b/(2a))^2 `	` = `	` (b^2 - 4ac)/((2a)^2) `	` \| `	` x = y `	` => `	` sqrt(x) = sqrt(y) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` sqrt((x+b/(2a))^2) `	` = `	` sqrt((b^2-4ac)/((2a)^2)) `	` \| `	` sqrt(x^2) `	` => `	` \|x\| `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` \|x+b/(2a)\| `	` = `	` sqrt((b^2-4ac)/((2a)^2)) `	` \| `	` \|x\| = y `	` => `	` x = +-y `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` x+b/(2a) `	` = `	` +-sqrt((b^2-4ac)/((2a)^2)) `	` \| `	` sqrt(k/m) `	` => `	` sqrt(k)/sqrt(m) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` x+b/(2a) `	` = `	` +-sqrt(b^2-4ac)/sqrt((2a)^2) `	` \| `	` sqrt(k^2) `	` => `	` k `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `
` x+b/(2a) `	` = `	` +-sqrt(b^2-4ac)/(2a) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

Last Step 🔗


` x `	` + `	` b/(2a) `	` `	` `	` = `	` +-sqrt(b^2-4ac)/(2a) `	` `	` `	` \| `	` x = y `	` => `	` x + k = y + k `	` `	` `	` `	` `	` `	` `	` `
` x `	` + `	` b/(2a) `	` + `	` (-b/(2a)) `	` = `	` +-sqrt(b^2-4ac)/(2a) `	` + `	` (-b/(2a)) `	` \| `	` k + (-k) `	` => `	` 0 `	` `	` `	` `	` `	` `	` `	` `
` x `	` + `	` `	` 0 `	` `	` = `	` +-sqrt(b^2-4ac)/(2a) `	` + `	` (-b/(2a)) `	` \| `	` k + 0 `	` => `	` k `	` `	` `	` `	` `	` `	` `	` `
` x `	` `	` `	` `	` `	` = `	` +-sqrt(b^2-4ac)/(2a) `	` + `	` (-b/(2a)) `	` \| `	` k + m `	` => `	` m + k `	` `	` `	` `	` `	` `	` `	` `
` x `	` `	` `	` `	` `	` = `	` -b/(2a) `	` + `	` +-sqrt(b^2-4ac)/(2a) `	` \| `	` k/m + p/m `	` => `	` (k + p)/m `	` `	` `	` `	` `	` `	` `	` `
` x `	` `	` `	` `	` `	` = `	` `	` (-b+-sqrt(b^2-4ac))/(2a) `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `	` `

Source 🔗

This page is auto-generated from the spreadsheet on link (everyone can comment).

Big Five Personality Traits And Aspects - Summary

Sun, 30 Dec 2018 00:00:00 +0000

Big Five Personality Traits And Aspects - Summary 🔗

See articles on link and link.

Traits:

Openness to experience (inventive/curious vs. consistent/cautious)
Conscientiousness (efficient/organized vs. easy-going/careless)
Extraversion (outgoing/energetic vs. solitary/reserved)
Agreeableness (friendly/compassionate vs. challenging/detached)
Neuroticism (sensitive/nervous vs. secure/confident)

Aspects:

Openness to Experience, made up of the aspects Openness/Creativity and Intellect
Conscientiousness, made up of the aspects Orderliness and Industriousness
Extraversion and introversion, made up of the aspects Enthusiasm and Assertiveness
Agreeableness made up of the aspects of Politeness and Compassion
Neuroticism, made up of the aspects of Withdrawal and Volatility

Life Self-Evaluation

Mon, 17 Dec 2018 00:00:00 +0000

Life Self-Evaluation 🔗

Mr. Money Mustache: The Shockingly Simple Math Behind Early Retirement - Summary

Sun, 16 Dec 2018 00:00:00 +0000

Mr. Money Mustache: The Shockingly Simple Math Behind Early Retirement - Summary 🔗

This is my summary of the article, quoting and paraphrasing the content.

Your time to reach retirement depends on only one factor: your savings rate, as a percentage of your take-home pay.

As soon as you start saving and investing your money, it starts earning money all by itself. Then the earnings on those earnings start earning their own money.

Phil Maffetone - The 180 Formula: Heart-rate monitoring for real aerobic training - Summary

Sun, 16 Dec 2018 00:00:00 +0000

Phil Maffetone - The 180 Formula: Heart-rate monitoring for real aerobic training - Summary 🔗

This is my summary of the article, quoting and paraphrasing the content.

This “180 Formula” enables athletes to find the ideal maximum aerobic heart rate in which to base all aerobic training.

To find your maximum aerobic training heart rate: subtract your age from 180.

Initially, training at this relatively low rate may be difficult for some athletes. “I just can’t train that slowly!” is a common comment. But after a short time, you will feel better and your pace will quicken at that same heart rate. You will not be stuck training at that relatively slow pace for too long. Still, for many athletes it is difficult to change bad habits.

Headless

Tue, 11 Dec 2018 00:00:00 +0000

headless 🔗

the universe is outside you
the universe is inside you

you could be in a dream
you could be a machine

your essence is consciousness
all have the same essence

sem cabeça 🔗

o universo está fora de ti
o universo está dentro de ti

poderias estar em um sonho
poderias ser uma máquina

tua essência é consciência
tod@s têm a mesma essência

sin cabeza 🔗

el universo esta fuera de ti
el universo esta dentro de ti

The New Yorker: The Friendship That Made Google Huge - Quote

Sat, 08 Dec 2018 00:00:00 +0000

The New Yorker: The Friendship That Made Google Huge - Quote 🔗

See the article on link.

Today, Google’s engineers exist in a Great Chain of Being:

Level 3s often have master’s degrees.
Getting to Level 4 takes several years, or a Ph.D.
Most progression stops at Level 5.
Level 6 engineers – the top ten per cent – are so capable that they could be said to be the reason a project succeeds.
Level 7s are Level 6s with a long track record.
Principal Engineers, the Level 8s, are associated with a major product or piece of infrastructure.
Distinguished Engineers, the Level 9s, are spoken of with reverence.
To become a Google Fellow, a Level 10, is to win an honor that will follow you for life. Google Fellows are usually the world’s leading experts in their fields.
Jeff and Sanjay are Google Senior Fellows – the company’s first and only Level 11s.

Paul Graham: What You Can't Say - Summary

Mon, 26 Nov 2018 00:00:00 +0000

Paul Graham: What You Can’t Say - Summary 🔗

This is my summary of the essay, quoting and paraphrasing the content.

Violating moral fashions can get you fired, ostracized, imprisoned, or even killed.

It seems to be a constant throughout history: In every period, people believed things that were just ridiculous, and believed them so strongly that you would have gotten in terrible trouble for saying otherwise.

The Conformist Test 🔗

Do you have any opinions that you would be reluctant to express in front of a group of your peers?

Dr. Satchin Panda on Time-Restricted Feeding and Its Effects on Obesity, Muscle Mass & Heart Health - Summary

Sun, 25 Nov 2018 00:00:00 +0000

Dr. Satchin Panda on Time-Restricted Feeding and Its Effects on Obesity, Muscle Mass & Heart Health - Summary 🔗

The following are my main takeaways from the video with respect to diet, quoting and paraphrasing the content.

Our body has multiple internal clocks. The master clock is based on light. Most peripheral clocks (e.g. liver) are based on when we eat. The first sight of bright light and the first time we eat determine how our body works.

Matthew Walker: 'Why We Sleep: The New Science of Sleep and Dreams' | Talks at Google - Summary

Sun, 25 Nov 2018 00:00:00 +0000

Matthew Walker: ‘Why We Sleep: The New Science of Sleep and Dreams’ | Talks at Google - Summary 🔗

This is my summary of the video, quoting and paraphrasing the content.

Men who sleep 5 hours a night have significantly smaller testicles and a level of testosterone of someone 10 years older. Women have equivalent problems in reproductive health caused by lack of sleep.

Sleep deprived students learned 40% less. Good sleep stores recent memories for the long term and makes space for new memories.

StrongLifts 5x5 Workout And App - Review

Sun, 25 Nov 2018 00:00:00 +0000

StrongLifts 5x5 Workout And App - Review 🔗

See the website and app on link.

Website 🔗

The site explains the correct form for the 5 exercises. This helps prevent injury.

My Experience 🔗

I have followed this workout for many years.

I have started from the minimum weights to practice using the correct form.

My Modifications To The Workout 🔗

I deload by a smaller amount to avoid having too many easy workouts.

Ad - My Favorite Series And How You Can Watch Them

Sat, 01 Jan 2000 00:00:00 +0000

Ad - My Favorite Series And How You Can Watch Them 🔗

Taking a break to watch the latest series on a convenient streaming service is an excellent way to relax. Fortunately, the selection of shows has increased throughout the years, making it easy to find a few favorites. The list below has been curated for individuals looking for entertainment in a few major categories related to technology, law, crime, sex and fantasy.

Home on Kaue's Way of Life

The Biological OS: Mapping Human Consciousness to Computer Architecture

The Biological OS: Mapping Human Consciousness to Computer Architecture 🔗

Propositional Logic Proofs Using Lean 4

Propositional Logic Proofs Using Lean 4 🔗

Overview 🔗

The Sixteen Faces of Logic: All Possible Boolean Functions with Two Inputs

💡 The Sixteen Faces of Logic: All Possible Boolean Functions with Two Inputs 🔗

LeetCode Hard Solutions Explained

LeetCode Hard Solutions Explained 🔗

Table of Contents

60. Permutation Sequence 🔗

Non-Religious Interpretation of the Best Part of the Bible: the Sermon on the Mount

Non-Religious Interpretation of the Best Part of the Bible: the Sermon on the Mount 🔗

Jay Earley - Self-Therapy: A Step-By-Step Guide to Creating Inner Wholeness Using IFS, a New, Cutting-Edge Therapy - Help Sheet for the IFS Process

Jay Earley - Self-Therapy: A Step-By-Step Guide to Creating Inner Wholeness Using IFS, a New, Cutting-Edge Therapy - Help Sheet for the IFS Process 🔗

Leadership Summit Table Assignment

Leadership Summit Table Assignment 🔗

Table of Contents

Maximum number of rounds is (N + 1) 🔗

You Are The Only Person Alive With Your Age

You Are The Only Person Alive With Your Age 🔗

David Allen - Getting Things Done - The Art of Stress-Free Productivity - Summary

David Allen - Getting Things Done - The Art of Stress-Free Productivity - Summary 🔗

Table of Contents

1 A New Practice for a New Reality 🔗

James Clear - Atomic Habits - An Easy & Proven Way to Build Good Habits & Break Bad Ones - Summary

James Clear - Atomic Habits - An Easy & Proven Way to Build Good Habits & Break Bad Ones - Summary 🔗

Table of Contents

1 The Surprising Power of Atomic Habits 🔗

WHY SMALL HABITS MAKE A BIG DIFFERENCE 🔗

Iain McGilchrist - The Matter with Things - The Sense Of The Sacred - Summary

Iain McGilchrist - The Matter with Things - The Sense Of The Sacred - Summary 🔗

Table of Contents

THE GROUND OF BEING 🔗

Best XKCD About Software Engineering

Best XKCD About Software Engineering 🔗

Table of Contents

Sandwich 🔗

Recursive Pareto

Recursive Pareto 🔗

Dimitri Glazkov - What the heck is Adult Development? - Summary

Dimitri Glazkov - What the heck is Adult Development? - Summary 🔗

Table of Contents

Overview 🔗

Stages 🔗

Compared 🔗

Everyone Knows: Children Grow 🔗

Richard Rumelt - Good Strategy / Bad Strategy: The Difference And Why It Matters - Summary

Richard Rumelt - Good Strategy / Bad Strategy: The Difference And Why It Matters - Summary 🔗

Table of Contents

INTRODUCTION: OVERWHELMING OBSTACLES 🔗

Shamil Chandaria - Eudaimonia And Human Flourishing: Ancient Wisdom Through A Modern Lens - Summary

Shamil Chandaria - Eudaimonia And Human Flourishing: Ancient Wisdom Through A Modern Lens - Summary 🔗

Table of Contents

Eudaimonia 🔗

Shamil Chandaria - The Bayesian Brain and Meditation - Summary

Shamil Chandaria - The Bayesian Brain and Meditation - Summary 🔗

Chess.com - Everything You Need to Know About Chess - Summary

Chess.com - Everything You Need to Know About Chess - Summary 🔗

Table of Contents

Start Playing 🔗

Patrick Noonan - How to Approach Problems Like a Management Consultant - Summary

Patrick Noonan - How to Approach Problems Like a Management Consultant - Summary 🔗

Table of Contents

Structured Problem Solving Process (SPS) 🔗

Step 1: Define the problem 🔗

Tori Olds - Internal Family Systems, Explained - Transcript

Tori Olds - Internal Family Systems, Explained - Transcript 🔗

Table of Contents

What is IFS Therapy? | Intro to Internal Family Systems 🔗

Convert Markdown Website To Ebook

Convert Markdown Website To Ebook 🔗

Table of Contents

Customize 🔗

Download my free ebook

Download my free ebook 🔗

Vincent Wu - Communicating with Executives Effectively - Summary

Vincent Wu - Communicating with Executives Effectively - Summary 🔗

Table of Contents