Substrate

Useless to think you’ll park and capture it More thoroughly. You are neither here nor there, As big soft buffetings come at the car sideways And catch the heart off guard and blow it open.

— like seeing a good friend, long neglected, after so many years. ​ He asks him questions, and then more questions, and waits through silences when Lloyd can’t answer them. ​ — instead of sitting with those feelings, again, we work. Because work means money, and money brings a modicum of stability, and relief, however temporary, from that same fear. Work doesn’t actually give us peace or solve our problems. But for a lot of us, it’s what we’re good at and what we know, which is far more comforting than staring at the abyss of what we don’t. ​ He brings us back to the openheartedness of childhood, when we lacked the skill to deflect, or compartmentalize, or resort to work. ​ nonetheless a practice: a decision, made every day, to care deeply about others, but also to refuse to insulate himself from the emotions that care requires.

withLatestFrom for Apple's Combine · GitHub

words stitch you back together day by day. ​ voracious readers, overthinkers and graceless dorks.

Token Acquisition Service for Combine · GitHub

(He’s off to chill in the woods and freelance.) ​ What you really want in an editor is someone who’s still on the dock, who can say, Hi, I’m looking at your ship, and it’s missing a bow, the front mast is crooked, and it looks to me as if your propellers are going to have to be fixed.

These $100 calculators have been required in classrooms for more than twenty years, as students and teachers still struggle to afford them

Mass privacy is the freedom to act without being watched and thus, in a sense, to be who we really are — not who we want others to think we are.

I want a culture where employees can tell us their dreams, including after Carta, and we support them doing it. ​ Lastly, all departures, whether employee initiated or company initiated, will receive payment commensurate with tenure.

Collectively, the engineers at Lickability have worked with dozens of iOS development teams, shipping countless features, new products, redesigns, and Swift rewrites. Ten years in, our processes have evolved into a well-oiled machine with collaboration at the core of our day-to-day engineering. Whether we’re augmenting a client’s existing iOS team or acting as the sole developers, and whether we’re building a social network, news reader, or game, our approach to collaborating on code remains largely the same. We find it important to follow a few key guidelines on every product we help ship, and would like to share them with you.

I think that we need a way of doing math where things don’t need to proven completely before moving on. Like if a hypothesis about prime numbers is so far true for the first 10,000 of them we could say it's “finitely true” or something. Then anything we prove using that fact would also be only true in a limited sense. I’m guessing that for many practical purposes this only partially true result would be enough. Are there logics which think about this idea of partial truth? @JadeMasterMath But Hardy and Littlewood did something really cool: they proved something assuming the Riemann Hypothesis is true, and proved it a completely different way assuming the Riemann Hypothesis is false! Both ways really *use* the assumption they made. https://twitter.com/johncarlosbaez/status/1199427147284115457

In theory, `Never` can be a substitute for every type, since you have no instance to call any methods on, but that breaks down with static methods since those don’t need an instance. Right, the issue is with static and initializer requirements. The `Never` type itself can be a subtype of all types in the language but that does not mean that `Never` can conform to all protocols. So, it gets hairy when you introduce generalized existentials into the language. i.e. `Never` needs to be a subtype of those existentials without necessarily conforming to the protocol. Related, SE-0217: https://forums.swift.org/t/se-0217-the-unwrap-or-die-operator/14107/222

Elm is about making delightful projects. [...] Projects you are excited to share. Projects that get you excited about programming! That means I am always asking myself how Elm can be simpler. How can it be easier to learn? More fun? Quicker for prototyping? More reliable? I think my obsession with these questions are the heart of Elm's design philosophy and Elm's success.

healing doesn’t happen in a linear manner, but in an ever-outward spiral; you will find yourself in the same place, but in a slightly different one, again and again

https://ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/

Have you heard the buzz? Applied category theory is gaining ground! But, you ask, what is applied category theory? Upon first seeing those words, I suspect many folks might think either one of two thoughts: 1. Applied category theory? Isn't that an oxymoron? or 2. Applied category theory? What's the hoopla? Hasn't category theory always been applied? (Visit the blog to read more!)

and isn’t not knowing the rules just beautiful? When the sun echoes off the thousands of windshields

String diagrams: Functors and natural transformations

I think astrology has stuck around for thousands of years precisely because it is so good at being a kind of infrastructure for those conversations.

In type theory, an uninhabited type is often called a bottom type, and written as ⊥. A bottom type is a subtype of every other type. So `Never` would be an `Int` and a `String` and a `UIViewController` and every other type. The opposite is the top type (⊤), the supertype of every other type. In Swift, that’s `Any`.

This is "GORUCO 2014 - Samantha John, Jason Brennan - Designing a better Programmer Community" by Gotham Ruby Conference on Vimeo, the home for high quality…

A better understanding of what gases to search for in exoplanet atmospheres is key to locating extraterrestrial life

Protocol-oriented programming is strongly recommended in the Swift community, and Apple has given a lot of guidance on how to use it in your everyday code. However, there has not been a lot of attention on when it is not appropriate, and what to do in that case. We will explore this idea, and show that there is a completely straightforward and mechanical way to translate any protocol into a concrete datatype. Once you do this you can still write your code much like you would with protocols, but all of the complexity inherit in protocols go away. Even more amazing, a new type of composition appears that is difficult to see when dealing with only protocols. We will also demo a real life, open source library that was originally written in the protocol-oriented way, but after running into many problems with the protocols, it was rewritten entirely in this witness-oriented way. The outcome was really surprising, and really powerful. https://twitter.com/mbrandonw https://appbuilders.ch

The notion of an adjunction. Definition via unit and counit natural transformations and the triangle identities.

try! Swift NYC Conference 2019 - try! Swift is an immersive community gathering about Apple Technologies, Swift Language Best Practices, Application Development in Swift, Server-Side Swift, Open Source Swift, and the Swift Community in New York! Topic - Getting Started with Combine Speaker - Shai Mishali Twitter - https://twitter.com/freak4pc Presentation Link - https://speakerdeck.com/freak4pc/getting-started-with-combine-try-swift-nyc-2019 Bio - Shai is iOS Tech Lead for Gett, the on-demand mobility company, and is involved in several open source projects on his spare time - mainly the RxSwiftCommunity and RxSwift projects, as well as an international speaker. Author on the upcoming Combine book from raywenderlich.com and a hackathon addict and 1st place winner of BattleHack World Finals 2014. You can find him on GitHub and Twitter as @freak4pc. Abstract - In the last WWDC, Apple has finally released it's very own framework for declarative processing of values over time, making the skill of Reactive Programming a must for your toolset. But what does it actually mean, and why is it at all helpful for you as a developer? What are the tools and constructs Apple provide for us as developers? In this talk you'll learn: * What _is_ Reactive Programming? * How Combine differs from other Reactive Declarative frameworks * Basic building blocks: Publisher, Subscriber, Subscription, Subjects and more * The anatomy and lifecycle of a Combine event * Combine vocabulary: Operators - the 'words' that make up your Combine chain * Combine & Foundation: Apple-provided APIs to ease your day-to-day development with Combine and existing Swift APIs * Combine's role in SwiftUI * What is Backpressure? * And much more ... try! Swift New York Twitter - https://twitter.com/tryswiftnyc try! Swift New York Twitter Hashtag - https://twitter.com/hashtag/tryswiftnyc try! Swift Facebook - https://facebook.com/tryswiftconf try! Swift Website - https://www.tryswift.co/ try! Swift Conference Photos - https://www.flickr.com/photos/tryswift/albums try! Swift Conference Contact - info@tryswift.co try! Swift Conference © 2019 - Powered by NatashaTheRobot

The closest professions to teaching are stage acting and stand-up comedy. Learn how they do it. [D]on’t focus on subtleties that interest you; focus on your audience.