Substrate

2430 bookmarks
Custom sorting
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
Thriving on the Technical Leadership Path
Thriving on the Technical Leadership Path
I say ‘feasibly’ because often the upper end of career ladders for Independent Contributors (ICs) could be paraphrased as “we’ll know it when we see it”, which can leave those who haven’t sufficiently proven “it” in a frustrating limbo. ​ I’ve worked very hard to become an engineer and I want to stay here. ​ Developing prototypes to further explore and support ideas that come from that research.
·keavy.com·
Thriving on the Technical Leadership Path
hilariously, clumsily, grossly visible
hilariously, clumsily, grossly visible
The thing I try and tell myself every week: Just because people don’t want to hear it doesn’t mean it’s not true. And just because this work is relentless doesn’t mean it’s not worth it. ​ It’s difficult to explain that patriarchy means rule and control by men, power held by men, and the generalized idea that men are more valuable and important — and that that can be true even if some women have some power. All sorts of people, and not exclusively men, can be involved in its preservation; the vast majority of the time, they’re not aware they’re doing so. Institutions help sustain patriarchy, but so do individuals and traditions and clothing norms and religious beliefs and health insurance benefit plans and air conditioning standards.
·annehelen.substack.com·
hilariously, clumsily, grossly visible
The biggest lie tech people tell themselves — and the rest of us
The biggest lie tech people tell themselves — and the rest of us
So the assertion that technology companies can’t possibly be shaped or restrained with the public’s interest in mind is to argue that they are fundamentally different from any other industry. They’re not. ​ an echo of the very ethos that founded America: progress at all costs. ​ and it’s time to question what “progress” actually means.
·vox.com·
The biggest lie tech people tell themselves — and the rest of us
Up and to the Where?
Up and to the Where?
A beauty and order that language fails to describe but math, art and music do a better job of conveying. That against all odds, I - a collection of atoms consisting mostly of empty space - has the chance every single day to experience and explore this incredible universe. ​ And that the only logical thing in the face of all these realizations is to enjoy, celebrate, and try my best to preserve that beauty.
·jborichevskiy.com·
Up and to the Where?
Above & Beyond: Group Therapy 350 Deep Warm Up Set, Prague
Above & Beyond: Group Therapy 350 Deep Warm Up Set, Prague
Listen on streaming: https://Anjunabeats.lnk.to/ABGT350ABDeep Stream us on Spotify: https://Anjunabeats.lnk.to/AboveBeyondSpotifyYo Subscribe to our channel for more ABGT350 set replays: https://lnk.to/YTA_B Follow A&B on Spotify for full set replays: https://anjunabeats.lnk.to/AboveBeyon... Live dates: http://po.st/ablive Subscribe to our channel: https://lnk.to/YTA_B Above & Beyond present Group Therapy 350 live from Prague. Our deep warm up set, recorded on Thursday, October 10 2019 with Anjuna HQ and the #ABGT350 crew. With thanks to Nomobo and the whole team at United Music Events. Tracklist: [00:00] 1. Above & Beyond ‘Group Therapy Intro’ [00:48] 2. Andrew Bayer feat. Alison May ‘Immortal Lover’ [Qrion Remix] [05:46] 3. Above & Beyond 'Homecoming' [Enamour Remix] [10:38] 4. Eli & Fur 'Into The Night' [16:16] 5. Above & Beyond and Seven Lions feat. Opposite The Other ‘See The End’ [Avoure Remix] [20:28] 6. Marsh ‘Eu Phoria’ [24:39] 7. Nox Vahn ‘Brainwasher’ [29:22] 8. Ben Böhmer & Monolink ‘Black Hole’ [34:31] 9. Joseph Ray ‘Room 1.5’ [41:12] 10. The Midnight ‘Kids’ [PROFF Remix] [45:45] 11. The Dualz ‘Your Eyes’ [50:53] 12. Yotto ‘Hyperlude’ [Dosem Remix] [54:45] 13. Tinlicker ‘The Walk’ Above & Beyond: ABGT300 Deep Warm Up, Hong Kong - https://youtu.be/O9F_drLehU0 Above & Beyond: ABGT250 Deep Warm Up, The Gorge - https://youtu.be/rkqnuI1SxBs Above & Beyond: ABGT450 Deep Warm Up, London - https://youtu.be/IrzO9GqS8BY Watch ABGT400 London: https://youtu.be/Tk38QvbUHBw Watch ABGT350 Prague: https://youtu.be/XlndmZ-4mc8 Watch ABGT300 Hong Kong: https://youtu.be/Oi0sVRZ_49c Watch ABGT250 at The Gorge: https://youtu.be/CMXiCR2gQw0 Watch ABGT200 Amsterdam : https://youtu.be/cS6Hi2Avoww Watch ABGT150 Sydney: https://youtu.be/DDQWoe8AoUs Watch ABGT100 New York City: https://youtu.be/10utJGbQQLs Live Dates: http://po.st/ablive Website: http://po.st/wbab Facebook: http://po.st/fbab Twitter: http://po.st/twab Soundcloud: http://po.st/absc Instagram: http://po.st/abins iTunes: http://po.st/abitunes Google+: http://po.st/abgopl #ABGT350 #Anjunadeep #AboveandBeyond
·youtube.com·
Above & Beyond: Group Therapy 350 Deep Warm Up Set, Prague
My first year as a professor
My first year as a professor
of work I poured into our course blog. Every student contributed two posts to the blog, and I gave multiple rounds of detailed feedback on all twelve posts, learning a lot from the students in the process. ​ and especially not Jekyll, since having a working Ruby environment is the hardest problem in computer science
·composition.al·
My first year as a professor
Creativity and fear
Creativity and fear
Imagine the pressure of having to top each successful thing you do. This thinking assumes that you must be constantly on top, not only against your peers but also against your past self. Even worse, this thinking assumes that if you cannot win then you must stop playing. But what about the joy of learning, the quiet glory of just making things and sharing them without expectation? No, when your time is up you’re free to go. At the end of the day, the only thing perfect is a blank page, I think there is something inside me and I want to find it.
·generalabstractnonsense.com·
Creativity and fear