K + E graph sheets
Substrate
Halfspace #5: The Spiritual Nature of Software Tools
That a good tool is one that hones your form, and into which you can project your uniqueness and soul. Curiously, I can’t think of any “spiritually significant” tools for mathematicians. Unless you count the running joke about Hagoromo chalk, which I can attest is the Rolls Royce of chalk. Perhaps it’s time for someone to build one.
Advice for newsletter-ers
A tiny bit of forethought, some cautionary design.
Announcing quiver: a new commutative diagram editor for the web
A small blog about Rust, type theory and mathematics.
An algebra-based animation library
Saint AppsConf 2019
21 и 22 октября 2019, Санкт-Петербург
Подробности и билеты на сайте https://appsconf.ru/spb/2019
AppsConf 2018
Зал «Зал 2. Без тормозов»
8 октября, 12:00
Тезисы и презентация:
http://appsconf.ru/2018/abstracts/3724
Designing simple and expressive libraries is hard, but is a worthy goal. It's too easy to accidentally add complexity. Math can fix that. Math can give us guide-rails that point us to an ideal simple and expressive design. In this talk, we'll use basic abstract algebra to guide us toward a simple and expressive animation library. We'll use animations to help us understand abstract algebra as we discover the true algebraic structure of animations. Only after thinking hard about the structure, do we begin an implementation. In the end, I'll present some examples of working with this animation library we derived over the talk.
--------
Нашли ошибку в видео? Пишите нам на support@ontico.ru
The comedy of survival
How comedy can teach us to survive our disastrous times.
📩 Letter #20: Do I have to know what’s going on?
No. And yes.
Unified parsing and printing with prisms
This approach lifts the partial isomorphism requirement from the original invertible syntax descriptions paper.
Poorly Drawn Lines — Through a Lot
Familiarity and Belonging
To travel the world visiting everywhere only once can hardly bring understanding. You must return several times before a place opens up to you. The thing that familiarity affords is not having to awkwardly reach out to people, but simply existing alongside them enough until it no longer becomes weird to interact. To dwell poetically is to live as if even a simple apartment was your home forever. Once you are able to cast off the feeling that wherever you are living is somehow temporary, wherever you are living will begin to feel like home. To do this requires a kind of love.
Link to Tomás’ note on why HKTs in Swift will be tricky with the language’s left-biasing of generic parameters
Immutable Conversations is a video series from 47 Degrees featuring casual conversations about important open source libraries with maintainers and contributors, and others in the Functional Programming community.
On this episode, Alejandro Serrano has a socially distanced conversation with Tomás Ruiz-López about the adoption of functional programming within the industry, adding functional capabilities to Swift with the Bow library, and the usefulness of higher-kinded types.
Learn more about Bow—a library for typed functional programming in Swift: https://bow-swift.io/
------
Host: Alejandro Serrano
Senior Software Engineer | 47 Degrees
Twitter: https://twitter.com/trupill
Guest: Tomás Ruiz-López
Technical Lead | 47 Degrees
Twitter: https://twitter.com/tomasruizlopez
Immutable Conversations is a 47 Degrees Academy production.
Elevate your educational experience with Functional Programming with the 47 Degrees Academy.
https://www.47deg.com/trainings/academy/
#functionalprogramming #swiftlang #bowswift
Mirror of Andy Matuschak’s “Liquid olives and iPhones” essay
In startups, roles are fluid. Everyone wears many hats: what’s important isn’t one’s job description but the problems which need to be solved. If you’re going to have a team with continuously negotiated roles, you need a context for that continuous negotiation. These demos unified the “tests” with the real work. Eventually, I came to understand that they put themselves into these terrible situations as a way to force themselves to innovate, that the desperation was productive, not destructive. It was desperation, but by design. We worked from deep desperation, but as Vaughn describes, it was absolutely one of the most exhilarating and dynamic periods of my life. But these big-picture problem statements shatter fractally into a hundred sub-problems, and most of the progress in my work comes from identifying and improving articulations these sub-problems.
Lightweight higher-kinded polymorphism
Jordan Cooper’s background (and on Pace) video
Letter #19: Feeling less is not feeling better
I rewound, and listened to that sentence three times: Feeling less is not feeling better. Feeling less is not feeling better. Feeling less is not feeling better.
The Electric Pinball Machine
“If you’re not doing everything in your power to live in this electrifying pinball machine all the time then what are you even DOING WITH YOURSELF?”
Pamela’s lockdown in NYC post
Splash #126 — Focus on the feeling
The thing about numbers
Because it’s not really about the bike, or about my leaderboard ranking in a HIIT class or whatever—it’s about finding a crumb of control in a world that sometimes feels very much outside of my control.
Simon Doty’s Coda, Toronto set
Buy/Stream Simon Doty's latest EP: https://anjunadeep.ffm.to/dbep.oyd
Listen to Anjunadeep New Releases: https://anjunadeep.co/newreleases.oyd
Discover the Anjunadeep Discography: https://anjunadeep.co/discog.oyd
Listen to Anjunadeep Radio 24/7: https://anjunadeep.co/radio.oyd
Simon Doty celebrates his new 'Dear Ben EP' with a DJ set from Coda, Toronto.
Follow Anjunadeep:
Youtube: http://Anjunadeep.lnk.to/DeepSubcc
Website: http://www.anjunadeep.com
Facebook: http://www.facebook.com/anjunadeep
Twitter: http://www.twitter.com/anjunadeep
Spotify: https://Anjunadeep.lnk.to/NewReleasesYo/spotify
Instagram: http://www.instagram.com/anjunadeep
SoundCloud: http://soundcloud.com/anjunadeep
Reddit: https://reddit.com/r/AboveandBeyond/
Twitch: https://www.twitch.tv/anjuna
Discord: http://www.discord.gg/anjuna
Mirror of arcana.computer quote #425
The feeling that you are stupider than you were is what finally interests you in the really complex subjects of life: in change, in experience, in the ways other people have adjusted to disappointment and narrowed ability. You realize that you are no prodigy, your shoulders relax, and you begin to look around you, seeing local color unrivaled by blue glows of algebra and abstraction.
The end of Get Real
Guessing 2/3rds of the average game
Questioning therapy’s perpetual present
For these patients, the therapeutic womb and its perpetual present can be a blessed gift, an investment that makes extension into the future possible again... a bit later. But most of us are not so tightly past-bound. Instead, our past tethers us with loose reins, or we hold the past lightly in one hand as we reach towards the future with the other. Future-oriented clients may not be best-served by even friendly and warm invitations to wallow in the present.
The mediant inequality
Illustrating the mediant inequality with batting averages and giving a simple proof.
Letters to Summer #50
Day 69: One thing after another
An indie maker's journey to ramen profitability
Taylor’s thought garden
🌱 A fertile, personal plot to plant, cultivate, and nurture ideas - GitHub - jthodge/thought-garden: 🌱 A fertile, personal plot to plant, cultivate, and nurture ideas
Brandon’s example of a recursive parser
Hello there, I know TCA is where most of your efforts are these days, but I've been rewatching your parsing collection and have run into a block. I'm hoping you can get me past that...
Splash No. 124 — Writer’s block
With these newsletters and most things I write, I don’t know where I’m going — I generally start with an idea or an experience and explore from there.