This quarter’s experiment has helped me see that every class we attend, every word we write, every article we read is where we are going. We are already there. ​ I do not want that experience to feel like some unrelenting ultra-marathon. I want it to feel alive and loving, nourishing and compelling. I want to feel hungry and then full and then hungry again. ​ May reading, like all things we do, become an invitation to experience the miracle that we are alive — still, and in the first place. And may we use the very act of reading itself to challenge the idea that life is about collecting the most knowledge or arriving at some finish line or final page. ​ I felt a greater sense of agency because I got to decide what to read each time I read. Choosing intuitively meant I looked forward to making a choice about what to read. ​ This quarter’s experiment has taught me that I must do both to become the scholar I want to be — a person who can hold uncertainty as well as she can hold knowledge, who can be slow and discerning, and insatiably curious and eager at the same time.

Why do people care so much about a piece of — no offense — punctuation?

Thursdays are wily: Unlike most days, there are no expectations for Thursday, and it deftly plays that lack of promise into a wealth of possibility. Thursday is that guy at work who you never talk to, the one that seems nice enough, always shows up on time, doesn’t raise a fuss, and quietly does a quality job every time. Thursday is humble, understated excellence. It will never make you feel ashamed of not “doing enough with your Thursday.” You’re welcome. (Thursday would never say it sarcastically like that, which is why I’m saying it on behalf of Thursday.)

Want to learn how to cook a steak perfectly each time? Look no further. We’re focusing on both ribeye and skirt steak in this episode of Basics with Babish. Watch the rebroadcast of the Twitch livestream for this episode here: https://youtu.be/HpzbyjyUf1k Recipe: https://basicswithbabish.co/basicsepisodes/2017/10/23/sauces-9w5tm Grocery List: Tomahawk ribeye Skirt steak Vegetable oil Butter Garlic Fresh sprig rosemary Kosher salt Freshly cracked pepper Special equipment: Stainless steel pan OR cast iron pan Instant read thermometer My first cookbook, Eat What You Watch, is available now in stores and online! Amazon: http://a.co/bv3rGzr Barnes & Noble: http://bit.ly/2uf65LX Theme song: "Stay Tuned" by Wuh Oh https://open.spotify.com/track/5lbQ6nKPgzkfFigheb467z Music: “Feel Good“ and “Add And” by Broke for Free https://soundcloud.com/broke-for-free http://www.bingingwithbabish.com/podcast Binging With Babish Website: http://bit.ly/BingingBabishWebsite Basics With Babish Website: http://bit.ly/BasicsWithBabishWebsite Patreon: http://bit.ly/BingingPatreon Instagram: http://bit.ly/BabishInstagram Facebook: http://bit.ly/BabishFacebook Twitter: http://bit.ly/BabishTwitter Twitch: http://bit.ly/BabishTwitch

(See PDF in reMarkable for annotations and notes).

In the middle of my sketching hours, I don’t want to be worrying about whether I’ll be ready for my classroom prototype next month. Within a given day, action-oriented “butt-in-chair”-style advice does help; meta-thought is just distracting. But go too long without error correction, and you’ll misspend hours in the chair. ​ The rest of the day’s work becomes roughly deontological. I give myself permission to be satisfied with the day if I spent three focused hours sketching like I’d planned. ​ From time to time, I flip back into execution mode. It feels like an old friend. We say hello, dance for a while, and part ways smiling, just as it always was. Open-ended mode is more enigmatic, reserved—yet occasionally it sparks some moment so singular it lights up the whole year. Those moments don’t happen without the days spent together between those moments. I’m slowly learning to make the most of our quiet strolls.

instead of interesting thoughts and aperçus, I find instead a lot of self-promotion, water carrying, awkward efforts to impress people, attempts to @ my way into conversations I didn’t belong in, and lots of stray opinions that would have been better off kept to myself in any circumstances. It’s like I had no concept of a “lane” to stay in. I no longer feel like I need to narrate my entire day’s reading to the site as if it were a surrogate listener. But reading them over as I eliminate them from the public record, I see that there was nothing there, nothing that can redeem for me now the time I spent on the platform in the past. It’s more an illustration of the time I wasted while never trying to write something that might have had the remote chance of actually being lastingly useful. No one on social media is speaking to the future.

but the thought experiment’s contrast with how shortages and surpluses are resolved in real life is the reason I think about it a lot. As an example, a chronological Twitter feed becomes chaotic once it comprises thousands of followed accounts, but Twitter restores order algorithmically, making that feed less crowded by regulating which messages actually appear in it.

(referenced in https://kneelingbus.substack.com/p/97-the-coroner-at-dreamgate-frontier)

But the person with Chill is crucially missing these last ingredients because they are too far removed from anything that looks like intensity to have passions. Because Chill is the opposite of something else too: warmth. And kindness, and earnestness, and vulnerability. And we need just enough of those things to occasionally do something so remarkably unchill as fall in love.

Ultralearning, in my opinion, often works well because it compresses the frustration barrier to a shorter period of time. ​ Whenever we, as human beings, sense a comparative disadvantage, it’s as if our brain immediately tries to avoid practicing the skill. ​ One-on-one tutoring immediately removes the “I’m the worst in the class” feeling. It also removes the “I’m the best in the class” laziness that can afflict high-performing students. Woah, hadn’t thought of it this way. À la the more “single-player games” tendency I’ve been leaning into.

My writing pace accelerates whenever I find myself in a learning rich environment, which is why I wrote so much in my first two years out of school and over the past three years at Stripe. ​ but even more important for me is that Stripe Press is a bit unusual: they typically buy completed manuscripts, rather than proposals. This gave me an extraordinary amount of latitude in my approach to writing, the book’s format and marketing the book. ​ I am truly amazed by folks who are able to write when raising young children, caring for their parents, or otherwise committed: it takes a great deal of privilege to write a book. ​ and I’m deeply grateful that I’ve gotten to do it. So far, I think the hardest bit will be a small sense of loss after it all quiets down, e.g. the return to normalcy. ​ If I wrote another book, I would spend more time outline in detail to build the small pieces more intentionally over the course of the book. _whispers: “composition”_ Honest feedback is very hard to find when writing a book, since you have to find (a) someone who will give hard feedback, and (b) someone who is willing to read your book. That’s a small intersection.

A paradigm is sneaking in when you aren’t paying attention. Pay attention. There’s a chance here to influence development practice for decades ​ We really can have languages that give the benefits of tomorrow without losing all the working components of today. I think Swift can be one of those languages. ​ Much of that, I believe, is education.

Yotto b2b Jeremy Olander, live in London at Anjunadeep Open Air. Brought to you by Beatport.

Profunctors are bifunctors that are contravariant in their first type argument and covariant in their second one.

We've seen that contramap is a powerful operation, but the name isn't fantastic. We propose a much more intuitive name for this operation, and in doing so make our code much easier to read.

it is often a surprise for people to learn that function composition is the `fmap` of functions

the kinds of emotional intelligence one needs to succeed in a field where you spend almost all of your time understanding nothing. ​ And second, by presenting them with a formal definition, I gave them a common reference point from which they could compare and contrast their own notions. There we had the beginnings of disaster avoidance. ​ As a mathematician, Devlin did nothing unusual. In fact, the most common question a mathematician has when encountering a new topic is, “What exactly do you mean by that word?” ​ The mathematical habit is putting your personal pride or embarrassment aside for the sake of insight.

an often fruitful way to discover properties of an object is not to investigate the object itself, but rather to study the collection of maps to or from the object.

But as it currently stands, the incentives for mathematicians reward one thing and one thing only: publishing influential papers.

Unlike monads, which came into programming straight from category theory, applicative functors have their origins in programming. McBride and Paterson introduced applicative functors as a programmi…

But it is quite difficult to find a level of teaching which is comprehensible and at the same time interesting to an entire class with heterogeneous background. The shape of the mathematics education of a typical student is tall and spindly. It reaches a certain height above which its base can support no more growth, and there it halts or fails. But once you really understand it and have the mental perspective to see it as a whole, there is often a tremendous mental compression.

In July 2019, ICMS hosted a workshop on Category Theory.  During the workshop, Eugenia Cheng (School of the Art Institute of Chicago) gave a public lecture entitled Inclusion-Exclusion in mathematics and beyond: who stays in, who falls out, why it happens and what we could do about it. This is a recording of that talkThis talk has captions.  To turn the captions off, press CC on the bottom toolbar.

Andrew Wiles, one of the world's most renowned mathematicians, wonderfully describes research like exploring a big mansion. You enter the first room of the mansion and it’s completely dark. You stumble around bumping into the furniture but gradually you learn where each piece of furniture is. Finally, after six months or so, you find the light switch, you turn it on, and suddenly it’s all illuminated. You can see exactly where you were. Then you move into the next room and spend another six months in the dark. So each of these breakthroughs, while sometimes they’re momentary, sometimes over a period of a day or two, they are the culmination of, and couldn't exist without, the many months of stumbling around in the dark that precede them. ​ But more often than not you'll find that by the time you revisit a problem you've literally grown so much (mathematically) that it's trivial.

Slowly, gradually, it dawned on me that what I enjoyed was mathematics. The mathematical aspects of CS were what got me excited and kept me up at night working on projects. ​ The Summer after I graduated, I decided I had too much awesome stuff in my head that nobody wanted to hear me talk about at parties, so I started a blog called Math Intersect Programming ​ If someone offered me this deal to write about math and CS, I would take it in a heartbeat. I would never want to retire.

once we see the formal definition below, it will become clear that mathematical (say, first-order logical) statements, together with proofs of implication, form a category. Even though a “proof” isn’t strictly a structure-preserving map, it still fits with the roughly stated axioms above. One can compose proofs by laying the implications out one after another, this composition is trivially associative, and there is an identity proof. Thus, proofs provide a way to “transform” true statements into true statements, preserving the structure of boolean-valued truth. The section on diagram categeories was fantatsic.

Moreover, a universal property jumps right to the heart of why a construction is important. ​ I want to make this point very clear, because most newcomers to category theory are never told this. Category theory exists because it fills a need. Even if that need is a need for better organization and a refocusing of existing definitions. ​ l One hopes, then, that very general theorems proved within category theory can apply to a wide breadth of practical areas. ​ Could it be that there is some (non-categorical) theorem that can’t be proved unless you resort to category-theoretical arguments? In my optimistic mind the answer must certainly be no. Moreover, it appears that most proofs that “rely” on category theory only really do so because they’re so deeply embedded in the abstraction that unraveling them to find non-category-theoretical proofs would be a tiresome and fruitless process.