Recent content in Home on Kaue's Way of Life
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…
💡 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).…
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…
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…
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 -…
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 .…
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 🔗 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. Table of Contents 1 A New Practice for a New Reality The Principle: Dealing Effectively with Internal Commitments The Basic Requirements for Managing…
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. Table of Contents 1 The Surprising Power of Atomic Habits WHY SMALL HABITS MAKE A BIG DIFFERENCE WHAT PROGRESS IS REALLY LIKE THE PLATEAU OF LATENT POTENTIAL…
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. Table of Contents THE GROUND OF BEING DENYING THE GROUND OF BEING TALKING ABOUT THE GROUND OF BEING WHY ‘GOD’? A DISPOSITION…
Best XKCD About Software Engineering 🔗 This is my selection of best xkcd comics about software engineering. Table of Contents Sandwich e to the pi times i Random Number Compiling Exploits of a Mom Nerd Sniping Travelling Salesman Problem Correlation Students Standards Password Strength Language Nerd DNA Fixing Problems Logical Base Rate Garden Path Sentence Sandwich 🔗 Explanation : The sudo…
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,…
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. Table of Contents Overview Stages Compared Everyone Knows: Children Grow Adults Grow, Too! Adult Development Theory (ADT) Story Structure Warning: Some Sense-Making Turbulence…
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. Table of Contents INTRODUCTION: OVERWHELMING OBSTACLES PART I: GOOD AND BAD STRATEGY GOOD STRATEGY IS UNEXPECTED DISCOVERING POWER BAD…
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. Table of Contents Eudaimonia Aristotle And Human Flourishing Plato’s Tripartite Model Of The Human Soul…
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…
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. Table of Contents Start Playing The Opening Tactics & Strategy The Endgame Start Playing 🔗 Piece Movement Value King one square in any direction two squares to castle - Queen vertical, horizontal and diagonal 9 Rook…
Patrick Noonan - How to Approach Problems Like a Management Consultant - Summary 🔗 This is my summary of the video, mostly quoting the slides. Table of Contents Structured Problem Solving Process (SPS) Step 1: Define the problem Step 2: Break down the problem Step 3: Plan the work Step 4: Work the plan Step 5: Build the case Step 6: Make the case Step 7: Start the change Principles Have a process…
Tori Olds - Internal Family Systems, Explained - Transcript 🔗 Below is the edited transcript of the playlist ‘Internal Family Systems, Explained’ by Tori Olds. Table of Contents What is IFS Therapy? | Intro to Internal Family Systems How to Find Yourself | The “True Self” in IFS Therapy No Bad Parts: Unblending From Protectors in IFS Therapy Healing Trauma in IFS Therapy:…
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 . Table of Contents Customize Cover Generate Test Share Customize 🔗 Customized the site to hide: certain pages; all page header anchors, breadcrumbs, footers; all page images,…
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 🔗 This is my summary of the video, mostly quoting the slides. Table of Contents Goal The busy executive’s thought process What executives listen for Motivate action? Three steps to structuring effective communication Step #1: Start with the answer first Are you answering the right question? Bad to good Step #2: Group and…
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. Table of Contents REALITY Existence, Consciousness, and Identity as the Basic Axioms Causality as a Corollary of Identity Existence as Possessing Primacy over Consciousness The…
Leonard Peikoff - History of Philosophy - Summary 🔗 This is my summary of the playlist, mostly quoting the slides, from the beginning to Aristotle, plus Aquinas. Table of Contents Introduction to the History of Western Philosophy The Purpose of This Course Philosophy & Its Branches An overall definitions of philosophy Key Historical Periods Ancient Philosophy Medieval Philosophy Modern Philosophy…
Giles Yeo - How We Got the Science of Weight Loss Wrong - Summary 🔗 Below is my summary of the video, quoting and paraphrasing the content. Table of Contents What is a calorie? Why don’t calories count? Caloric Availability How are calories empirically measured? The Atwater factors Why don’t calories count? Protein Interlude Metabolism Intermediary Metabolism Energy Balance Diets that…
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. Table of Contents Introduction “May I Have Your Attention, Please?” The Extraordinary Impact of Attention What Is…
Afterskool - Your Mind is an Excellent Servant, but a Terrible Master - David Foster Wallace - Transcript 🔗 Below is the edited transcript of the video. Table of Contents Fish And Water Blind Certainty Default Setting Terrible Master Day In, Day Out The Work Of Choosing What To Worship Freedom Fish And Water 🔗 There are these two young fish swimming along, and they happen to meet an older fish…
Science-Based Parenting - Time Out for Kids - Correct Steps - Summary 🔗 This is my summary of the article , quoting and paraphrasing the content. Table of Contents #1 Time In When Your Child Is Not In Time Out #2 Give One (And Only One) Warning & Follow-Through Immediately If Not Complied #3 Be Consistent & Do Not Delay #4 Use A Boring Time Out Spot #5 Brief Time Out Duration (2 to 5 Minutes) #6…
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. Table of Contents #1 Pre-Occupation #2 Withdrawal #3 Tolerance #4 Reduce / Stop #5 Give Up Other Activities #6 Continue Despite Problems #7 Deceive / Cover Up…
Human Improvement Project - Lessons - Process Emotions - Summary 🔗 This is my summary of the lessons , quoting and paraphrasing the content. Table of Contents Rules For When Your Partner Or Child Is Upset #1 Sprinkler Of Emotions #2 Cooling Off Period #3 Calm And Rational Period Emotions Positive Upset Rules For When Your Partner Or Child Is Upset 🔗 #1 Sprinkler Of Emotions 🔗 Do: Notice :…
16 Personalities - Core Theory - Framework - Summary 🔗 Below is my summary of the article and the types . Table of Contents Approach Five Personality Traits Mind Energy Nature Tactics Identity Type Groups Roles Strategies 16 Personality Types Analysts Diplomats Sentinels Explorers Approach 🔗 Acronym format introduced by Myers-Briggs, with an extra letter for the fifth scale, reworked and…
Valuetainment - 7 Signs You Are Going to Be Successful - Summary 🔗 Below is the summary of the video. Table of Contents #1 You Are Super Competitive #2 You Finish Things #3 Your Circle Out-Earns You #4 Your Mind Never Stops #5 Credible People See You Going Places #6 You Are Always Learning #7 You Are Extremely Obsessive #1 You Are Super Competitive 🔗 It does not matter what it is. You have to do…
Afterskool - Best Lessons Learned from Jordan B. Peterson - Transcript 🔗 Below is the edited transcript of the video. Table of Contents #1 Pick Your Sacrifice #2 Pursue A Noble Aim #3 Face Suffering Voluntarily #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 🔗 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…
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 🔗 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 }}: {{…
Music Chords, Scales And Greek Modes 🔗 Notice the patterns.
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…
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…
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 }{{…
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-…
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 (…
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…
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…
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. Table of Contents Introduction Videos 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…
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 🔗 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 ,…
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 🔗 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…
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. Table of Contents Run JavaScript After Page Load Load Images And Iframes Load JavaScript Load CSS Bonus: Use Hugo To Include Only What Is Needed…