Substrate

Brandon’s introduction to protocol witnesses
Brandon’s introduction to protocol witnesses
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
·youtube.com·
Brandon’s introduction to protocol witnesses
Shai’s “Getting Started with Combine” talk
Shai’s “Getting Started with Combine” talk
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
·m.youtube.com·
Shai’s “Getting Started with Combine” talk
How to Teach Stuff
How to Teach Stuff
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.
·math.ucr.edu·
How to Teach Stuff
The Secret to Enjoying a Long Winter
The Secret to Enjoying a Long Winter
More and more, I try to live in harmony with the seasons, not the clock. ​ It turns out that in northern Norway, “people view winter as something to be enjoyed, not something to be endured,” says Leibowitz, and that makes all the difference. ​ “there’s no such thing as bad weather, only bad clothing”
·kottke.org·
The Secret to Enjoying a Long Winter
The New Math
The New Math
The system, then, does not particularly care for the individual user as much as it thrives on the decomposition and recomposition of the data that users provide Being shown what you are “supposed” to see is central to what social media offer (the promise of self-expression is mainly an alibi for that larger surrender to algorithmic recommendation); they allow us to consume that passivity toward what we want as pleasurable in itself.
·reallifemag.com·
The New Math
Progress studies as a civic duty
Progress studies as a civic duty
We have a responsibility to learn the underpinnings of the standard of living we all enjoy. To understand and appreciate how we got here, and what it took. And ultimately, to keep it going
·rootsofprogress.org·
Progress studies as a civic duty
Eclipsing Binaries
Eclipsing Binaries
To hold someone's attention with a blank slate, all that's necessary is to put another blank slate beside it. You don't have to write anything on either of them. I start to think about the many selves I project, and how the phones work to align them beside themselves, inviting comparison.
·reallifemag.com·
Eclipsing Binaries
Hidden cities
Hidden cities
I don’t want to suggest that we should resist change entirely. I do think we can be thoughtful about the rate of change that we introduce. I also think it’s a choice, rather than an inevitability, to drop bombs that throw an entire ecosystem off-balance. I tend to interpret this dismissiveness as a way of saying, “We don’t want to become a ‘thing’ because ‘things’ are destroyable by outsiders.” Avoiding labels is a way of keeping hidden cities away from the colonizers, like a nomadic tribe on the move.
·nadiaeghbal.com·
Hidden cities
your inbox gently fills
your inbox gently fills
i let summer take over the house for however long it needs --- making their way from meal to meal across the sky --- it’s not quite true that every car should stop while a poem is in operation but try to tell me it wouldn’t be nice
·granta.com·
your inbox gently fills
Your other account balance
Your other account balance
The problem, and it’s obvious, is that whatever sucks that I’m running away from will be there once I stop working. or doing things like not being available on the weekends, because they’re the weekends.
·mailchi.mp·
Your other account balance
Parse, don’t validate
Parse, don’t validate
but `parseNonEmpty` gives the caller access to the information it learned, while `validateNonEmpty` just throws it away. Consider: what is a parser? Really, a parser is just a function that consumes less-structured input and produces more-structured output.
·lexi-lambda.github.io·
Parse, don’t validate
Sara Fransson’s optics talk
Sara Fransson’s optics talk
Lenses have gained some traction in the functional programming world, mainly in haskell. However, they are still viewed as a largely complicated, difficult, high level concept that is not really worth it to invest in learning or putting in your code base. It can be hard to get a good overview on what they actually are and how one can use them. They seem to be somewhat related to getters and setters, but what does that really mean? In addition, it seems to be one of the deepest rabbit holes around. Surely something like this can't be of interest for an everyday working programmer, trying to solve real world problems? Wrong! In this talk, it's my goal to give a brief overview of what lenses are. But more importantly, I will also try to present a "slice" of the world of lenses that is not only directly applicable and useful in our daily work, but is also strangely familiar to people coming from an imperative/object oriented background. Sara Fransson Sara is a software engineer by day and a math enthusiast by night. Sometimes the two worlds collide (and sometimes they make them collide by banging them together). After having taken several trips back and forth between academia and industry in an attempt to balance their love for both the pure abstract theory and the practice of leveraging it to solve concrete problems, they have landed in the core banking domain at Klarna. There they are making themself busy spreading the gospel of functional programming and type theory. When they're not busy building a bank or trying to find time for studying, they enjoy cooking and eating tasty vegan food and playing tetris as fast as possible. Find out more about the life at Klarna: https://www.klarna.com/careers/life-at-klarna/ Information about current job openings: https://www.klarna.com/careers/openings/
·youtube.com·
Sara Fransson’s optics talk
De Bruijn sequences
De Bruijn sequences
How would you attack a pass code entered into a keypad without an "enter" key? Would requiring an enter key improve security more than requiring another digit?
·johndcook.com·
De Bruijn sequences
Jahkara Smith’s XOXO ’19 presentation
Jahkara Smith’s XOXO ’19 presentation
Currently appearing in AMC’s horror drama NOS4A2, and now co-starring in Into the Dark: Pure on Hulu, actress Jahkara J. Smith found instant viral success on YouTube as Sailor J. Combining social commentary with makeup tutorials, Jahkara built a following of over 445,000 subscribers in just over a year before switching it up to focus on her acting career. Follow Jahkara on Twitter: https://twitter.com/slaylerj Instagram: https://www.instagram.com/jahkarajsmith/ YouTube: https://www.youtube.com/channel/UCJOzFn6EU1wxQlEhbor14RA NOS4A2 on AMC: https://www.amc.com/shows/nos4a2 Stream "Into the Dark: Pure" on Hulu: https://www.hulu.com/movie/pure-6d2f52ce-e850-4d58-8446-971754ef77dc — Recorded in September 2019 at XOXO, an experimental festival in Portland, Oregon for independent artists and creators who work online. For more, visit https://xoxofest.com. Intro music: "Sad Game Boy" by Mikey Geiger, licensed with Soundstripe. Video production by Searle Video. Captions by White Coat Captioning.
·youtube.com·
Jahkara Smith’s XOXO ’19 presentation
The Social Role of Mathematical Proofs
The Social Role of Mathematical Proofs
I think doing math professionally can be stifling as it can feel like you’re expected to know everything while staying collected. This blog is my outlet to do my best to grow as a mathematician while giving myself and others permission to be wrong, ignorant, and emotional about math!
·homeowmorphism.com·
The Social Role of Mathematical Proofs
Tai-Danae Bradley’s walkthrough of associahedra
Tai-Danae Bradley’s walkthrough of associahedra
Viewers like you help make PBS (Thank you 😃) . Support your local PBS Member Station here: https://to.pbs.org/donateinfi What happens when you multiply shapes? This is part 2 of our episode on multiplying things that aren't numbers. You can check out part 1: The Multiplication Multiverse right here https://www.youtube.com/watch?v=H4I2C3Ts7_w Tweet at us! @pbsinfinite Facebook: facebook.com/pbsinfinite series Email us! pbsinfiniteseries [at] gmail [dot] com And discuss the episode further over on reddit at https://www.reddit.com/r/PBSInfiniteSeries/ Previous Episode The Multiplication Multiverse | Infinite Series https://www.youtube.com/watch?v=H4I2C3Ts7_w In our last episode, we talked about different properties of multiplication: associativity and commutativity are the most familiar, but they’re just two of many. We also saw it’s possible to multiply things that aren’t numbers, and in that case we may not have... associativity, for instance. But that’s not a bad thing. In fact, it’s a beautiful thing! References:: More on the associahedra: http://www.ams.org/samplings/feature-column/fcarc-associahedra http://www.claymath.org/library/academy/LectureNotes05/Lodaypaper.pdf https://arxiv.org/pdf/math/0212126.pdf More on multiplying non-numbers: http://www.math3ma.com/mathema/2017/11/24/multiplying-non-numbers An introduction to operads: http://www.math3ma.com/mathema/2017/10/23/what-is-an-operad-part-1 http://www.math3ma.com/mathema/2017/10/30/what-is-an-operad-part-2 Some applications in math and physics: https://arxiv.org/abs/1202.3245 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.22.2871&rep=rep1&type=pdf http://bookstore.ams.org/conm-227 http://www.springer.com/us/book/9780817647346 Richard Stanley’s book on the Catalan Numbers: https://www.amazon.com/Catalan-Numbers-Richard-P-Stanley/dp/1107427746 Written and Hosted by Tai-Danae Bradley Produced by Rusty Ward Graphics by Ray Lux Assistant Editing and Sound Design by Meah Denee Barrington Made by Kornhaber Brown (www.kornhaberbrown.com) Thanks to Matthew O'Connor and Yana Chernobilsky who are supporting us on Patreon at the Identity level! And thanks to Nicholas Rose and Mauricio Pacheco who are supporting us at the Lemma level!
·youtube.com·
Tai-Danae Bradley’s walkthrough of associahedra
The digestive system
The digestive system
the more I try to focus on what I genuinely love. The stuff that really nourishes and feeds me.
·austinkleon.com·
The digestive system