Substrate

CAUTION: Monoid fever is contagious.

Grothendieck views the mathematician and the problem as complimenting each other, the mathematician using the problem’s natural structure in its solution, rather than striking it with a foreign, invasive method. My view is that any problem that has resisted repeated direct attack from problem solvers, should naturally be of interest to theory builders. If you can’t solve a problem directly, then grow a crystal of theory around the problem and then hope that the solution you are looking for can be located somewhere inside the crystal. This is hard because the same person needs to know about both category theory and the problem domain, which is quite a heavy demand on a human brain.

I think we should levy a fee for category theorists to use the word “just”

Category theory is just a special case of edge-labelled digraph theory

Andrej Bauer raises a question whether Hask is a real category. I think it’s a legitimate question to ask, especially by a mathematician or programming languages researcher. But I want to look closer at how a (probably negative) answer to this question would affect Haskell and its community.

The retweet lived and Reader died, but the underlying pattern was the same; once it was handed over to the corporation, everyone lost control.

ME: *responds to DM* ME: *checks off todo item* PERSON: *writes back* ME: ME: *makes new todo item*

They replied, “Yeah of course you are.”

The Either monad specifically only models early exit on Left without resumption. You'd need something more powerful like Cont to be able to resume. There are Haskell libraries that provide extensible effects using free monads, like https://t.co/rsvEbVULPs— Joe Groff (@jckarter) July 21, 2019

You keep looking for home, but you know where it is… It’s you! It’s only ever you

and I have so many things I want to show you.

As one astute tweet put it, “1999: there are thousands of websites, all hyperlinked together. 2019: there are four websites, each filled with screenshots of the other three.” ​ I just let the ideas fly. People did relate, usually, although—importantly, I think—sometimes they didn’t. That was okay, and expected. I was just saying things. ​ Long live the blog. Long live straightforwardly sharing what’s in our hearts.

Maybe, to a more advanced civilization, our trash and ruins would just be invisible, the way so much of what we call nature is invisible to us. The concept of nature, in a sense, is a way to describe or categorize what is outside the scope of human agency or immediate understanding, and that scope is always shifting, frequently in unintended directions.

I've written a property wrapper/Publisher which emits an event before wrappedValue is mutated. Would something like this be considered acceptable for use as the willChange Publisher? https://t.co/hMgUXdw3vx— Dalton (@daltonclaybrook) July 18, 2019

I’ve been thinking about this for days and all I’ve come up with is Theory, Brooklyn Denim, and Uniqlo.— mb (@mb) July 14, 2019

Nifra - A State Of Trance Episode 922 Guest Mix [#ASOT922] Subscribe to the A State of Trance YouTube channel: http://bit.ly/SubscribeASOT Follow the ASOT Episode playlist: https://ASOTRadio.lnk.to/PLYA Watch the full ASOT922 episode here: https://youtu.be/dVVB12GeqTg Connect with A State Of Trance ▶https://www.instagram.com/asotlive ▶https://www.facebook.com/astateoftrance ▶https://www.twitter.com/asot ▶https://www.soundcloud.com/astateoftr... ▶https://www.astateoftrance.com #Nifra #ASOT922 #ASOT

there is nothing more joyous than seeing a conversation bloom and meander and twist and blossom in a safe and intimate group chat among friends. it feels to me like a unique type of mediated communication that i struggle to find an in-person analog to. that wild, freeform energy of people you love all sharing and expressing and listening and hearing all at the same time is so exciting!! it feels like this explosion of simultaneous and related thoughts that all still coalesce and move together maybe it's similar to a group of people all talking together in-person! but so many in-person practices and etiquettes don't really translate to the group chat, so it feels more sudden and energetic in a way like in the group chat, it feels like there's a talking over each other but in a way that is responsive and doesn't feel rude! and in the group chat, you don't navigate that anxiety of "do i speak now, do i not, is what i'm gonna say gonna be ignored" as much, in my opinion i think it's partially because in speech, there is a limit where truly only one person can be talking at a time. in the group chat, through text, everyone can be constantly talking and listening all at the same time and there is a brilliant energy to that!! anyway those are my unstructured thoughts about the group chat. shoutout to the group chat!! hopefully i get to be in one one day

Everything you need to know to adopt SwiftUI

NY experts, what are some good public work spaces in Manhattan with WiFi where I can hunker down between meetings to jam this week? Between Midtown and Wall St?— Eugene Wei (@eugenewei) July 8, 2019

It's incredible how easy it is to get distracted and end up doing something completely different (like falling into a dopamine mining facility) when doing anything at all that requires opening the browser.— s-ol (@S0lll0s) July 4, 2019

(hers are crooked from falling asleep reading so often) She smells like Pantene and something that makes me giddy. I don’t tell her that second part.

The intuition here is pre-composing on the input and post-composition on the output.

Others’ trails could be applied to materials you already have, so you could see a colleague’s associative structures alongside your own, on the same files. Yes, on a wiki, you can add a link to the text yourself…but that link would appear for _everyone._ There’s no notion of _personal_ associative markup.

nLab is to collect the stable bits, organized, hyperlinked, usefully. ​ Such a far-flung structure is highly vulnerable and, once broken, impossible to restore.