🎶 A collection of types and functions that enhance the Swift language. - swift-prelude/Sources/Optics at 8cb25510cd54be91d28f0466e37f337aca815b74 · pointfreeco/swift-prelude

“Race to the Top; what a horrid metaphor for education. A race? Everyone is on the same track, seeing how fast they can go? Racing toward what? The top? The top of what? Education is not a race, it’s an amble. Real education only occurs when everyone is ambling along their own path.” —Peter Gray ​ 2. Always work (note, write) from your own interest, never from what you think you should be noting or writing. Trust your own interest.

in addition to this act of pressing “send,” there’s also a visual cue to suggest the end of a transmission: “Text messages and tweets already have a terminus, which is just the fact that they exist in little ‘bubbles.’” For these reasons, when a period is used, it can sometimes feel angry. ​ saying ‘end transmission’ instead of just ending it

I’ve always found the PDF to be the calmest of digital formats—

In the post-Facebook era, which many of us are already living in, there is no single platform, or place, where we can even expect to find everyone we know, and it wouldn’t surprise me if there never is again in our lifetimes. ​ The increasingly-maligned model of VC-funded, loss-leading hypergrowth in the pursuit of market dominance, understood another way, is a quest to create voids that matter, voids that will hurt if we let them emerge by rejecting the product currently filling them ​ The residue of buildings and cities determines what gets built on top of them, and if we’re conscientious, we’ll build with a more distant future in mind.

This PR introduces some concept that were done by our friends at PointFree ❤️ combine and pullback for Reducer and Feedback Store class that has minimal set up of the state machine Context is abil...

In last last week's episode of PBS Infinite Series, we talked about different flavors of multiplication (like associativity and commutativity) to think about when multiplying things that aren't numbers. My examples of multiplying non-numbers were vectors and matrices, which come from the land of algebra. Today I'd like to highlight another example: We can multiply shapes!

So if you feel inadequate whenever some form of the “achievement Olympics” comes up, don’t. We live in a society that is assesses people by what their lives produce, not what it takes to live them. Inner work is ignored unless it explains some outer work.

I need a strategy that bends, not breaks, while still holding me accountable over time. It should supply pressure smoothly and flexibly. So now I start each habit with a low weekly goal: e.g. meditate once per week, any day. That bar is low enough that I don’t have to schedule it or do anything special. Once that stabilizes, I ratchet up the target frequency.

One of my sisters, after having seen my pictures with a new outfit or after trying on makeup, said it was like watching me “bloom” into a new person. And i do feel like a completely different person than i was over the summer; those days feel impossibly far away now. ​ However, this kind of puts me between worlds: i’m hesitant to go back to my “old home”, but i still have yet to establish a “new home” of my own.

adding equalizers and coequalizers to a cartesian closed category amounts to enriching the corresponding type system with refinement types and quotient types respectively.

Paper wasn’t supposed to be cool. Then math came along.

and while I’m so glad that I did, I feel like those wounds are still open and won’t close until the book is out in the world and in people’s hands.

This primer exists for the background necessary to read our post on RSA encryption, but it also serves as a general primer to number theory. Oh, Numbers, Numbers, Numbers We start with some easy de…

Clearly it is vastly more logical and practical for a few people to develop the lessons really well, and put them [online]. ​ The teaching role of universities, especially for large popular subjects, will inevitably change from providing primarily learning content to providing primarily assessment, support and certification.

we are going to see an increasing number of academics thinking not so much about their paper CV, but rather about their [videos].

I’ve realized that a big part of the problem with mathematics education around the world might be that: the second piece of the picture—algorithmic computation—is a lot easier to teach than either the first—conceptual understanding—or the third—problem solving.

I am in Austria right now; having spent a week in Innsbruck visiting Hans-Peter Schroeker and Manfred Husty, I am now in Graz at the Technical University, and I am talking with Anton Gfrerrer, Sybi…

Programming languages lie at the intersection between the binary, deterministic, silicon world of computers and the inexact, chaotic, organic world of human consciousness and communication. To me, functional programming is the practice of applying mathematical formalisms to real-world programming problems.

And yeah, I think that sense of future shock is what has disappeared, which was in retrospect a very rapid turnover of styles one was accustomed to. ​ Music is the site where the major symptoms of cultural malaise can be detected I think. ​ what’s missing is a popular experience of newness.

This article was discussed on Hacker News, and was cited in The Mathematical Gazette. Introduction This is a follow-up to a post from earlier this year discussing the likelihood of encountering two…

I have suspected for years that the classic buffet line system is a deeply flawed method, so I decide to simulate different methods to find out better ways

it suggests that present funding mechanisms are likely to be far from optimal, in part because they do not focus enough on research autonomy and risk taking. ​ But when viewed through the lens of Progress Studies, the implicit question is how scientists (or funders or evaluators of scientists) should be acting. The success of Progress Studies will come from its ability to identify effective progress-increasing interventions and the extent to which they are adopted by universities, funding agencies, philanthropists, entrepreneurs, policy makers, and other institutions. In that sense, Progress Studies is closer to medicine than biology: The goal is to treat, not merely to understand.

If the ‘90s internet was a weird, largely unproductive place where you escaped from reality, today’s internet is where much of reality happens, and meatspace is where you escape from it. It barely even makes sense anymore to refer to “the internet” as an alternate domain. We’re all basically online all the time, passively if not actively.

Is there an argument to be made that they choked off real innovation over the past decade. ​ We’re still using the same exact apps and they kind of look and feel the same.