Substrate

2427 bookmarks
Custom sorting
On hiring Haskellers
On hiring Haskellers
You are here not because you are so great, but because your employer believes you can help them to advance the company’s being. ​ Companies don’t want extra risks. Choosing Haskell is a very big risk itself, and it’s a crime to increase it by doing things wrongly. ​ smart code limits your employer’s field of potential workers. This is certainly a risk, too, and this is how you affect the company even if you are not aware about those risks.
·gist.github.com·
On hiring Haskellers
you are beloved and worthy of rest
you are beloved and worthy of rest
You are beloved and worthy of rest because you are human, not a robot. ​ I know it’s hokey, but I’m trying to learn something from exercise science when it comes to thinking of rest as work, as essential as any workout. ​ I’m doing it because I need to start January in a place where I’m ready to (co)write a book, but also because I’ve worked nearly non-stop for the last year, and it’s time to rest.
·annehelen.substack.com·
you are beloved and worthy of rest
A surprise for Christopher Jackson
A surprise for Christopher Jackson
Many have told me how inspired they have been by the story of Christopher Jackson, who discovered a love for mathematics in a federal penitentiary. Chris is a featured contributor to Mathematics for Human Flourishing and his letters reveal his progression over several years. They also drive home the message of the book in many layered ways. Chris and I correspond regularly. He was excited when the book came out, and together with some other mathematicians, we worked on a research project that st
·francissu.com·
A surprise for Christopher Jackson
Justin’s 2020 in review
Justin’s 2020 in review
he is prone and snoring on the carpet, equidistant between my partner and me. It’s a mundane thing, and I look forward to a long life of such mundane things as this. ​ I want to steal a friend’s idea of “holding office hours for chats with friends” next year by making more room for FaceTime and phone calls, which drain me and distract me so much less than being constantly alt-tabbing to Messages.app.
·arcana.computer·
Justin’s 2020 in review
Issue 002 — Being in Good Orbits
Issue 002 — Being in Good Orbits
The idea of people orbiting each other appeals to me because it acknowledges that each of us have our own gravitational pulls - things that draw others into us - and that there’s room for many people to exist within these orbits at different distances. It also acknowledges the creative collision or serendipity that exists when people’s paths intersect.
·buttondown.email·
Issue 002 — Being in Good Orbits
ANII’s Tate Modern set
ANII’s Tate Modern set
Buy/Stream Anjunadeep Explorations 15: https://anjunadeep.ffm.to/ex15-1.oyd Listen to Anjunadeep New Releases: https://anjunadeep.co/newreleases.oyd Discover the Anjunadeep Discography: https://anjunadeep.co/discog.oyd Listen to Anjunadeep Radio 24/7: https://anjunadeep.co/radio.oyd Join London based DJ and producer ANII for her DJ set at the Tate Modern, London. ANII's latest track 'Let's All Make Love' is out now on Anjunadeep Explorations 15. Follow Anjunadeep: Youtube: http://Anjunadeep.lnk.to/DeepSubcc Website: http://www.anjunadeep.com Facebook: http://www.facebook.com/anjunadeep Twitter: http://www.twitter.com/anjunadeep Spotify: https://Anjunadeep.lnk.to/NewReleasesYo/spotify Instagram: http://www.instagram.com/anjunadeep SoundCloud: http://soundcloud.com/anjunadeep Reddit: https://reddit.com/r/AboveandBeyond/ Twitch: https://www.twitch.tv/anjuna Discord: http://www.discord.gg/anjuna
·youtube.com·
ANII’s Tate Modern set
Halfspace #5: The Spiritual Nature of Software Tools
Halfspace #5: The Spiritual Nature of Software Tools
That a good tool is one that hones your form, and into which you can project your uniqueness and soul. ​ Curiously, I can’t think of any “spiritually significant” tools for mathematicians. Unless you count the running joke about Hagoromo chalk, which I can attest is the Rolls Royce of chalk. Perhaps it’s time for someone to build one.
·buttondown.email·
Halfspace #5: The Spiritual Nature of Software Tools
An algebra-based animation library
An algebra-based animation library
Saint AppsConf 2019 21 и 22 октября 2019, Санкт-Петербург Подробности и билеты на сайте https://appsconf.ru/spb/2019 AppsConf 2018 Зал «Зал 2. Без тормозов» 8 октября, 12:00 Тезисы и презентация: http://appsconf.ru/2018/abstracts/3724 Designing simple and expressive libraries is hard, but is a worthy goal. It's too easy to accidentally add complexity. Math can fix that. Math can give us guide-rails that point us to an ideal simple and expressive design. In this talk, we'll use basic abstract algebra to guide us toward a simple and expressive animation library. We'll use animations to help us understand abstract algebra as we discover the true algebraic structure of animations. Only after thinking hard about the structure, do we begin an implementation. In the end, I'll present some examples of working with this animation library we derived over the talk. -------- Нашли ошибку в видео? Пишите нам на support@ontico.ru
·youtube.com·
An algebra-based animation library
Familiarity and Belonging
Familiarity and Belonging
To travel the world visiting everywhere only once can hardly bring understanding. You must return several times before a place opens up to you. ​ The thing that familiarity affords is not having to awkwardly reach out to people, but simply existing alongside them enough until it no longer becomes weird to interact. ​ To dwell poetically is to live as if even a simple apartment was your home forever. Once you are able to cast off the feeling that wherever you are living is somehow temporary, wherever you are living will begin to feel like home. To do this requires a kind of love.
·simonsarris.substack.com·
Familiarity and Belonging
Link to Tomás’ note on why HKTs in Swift will be tricky with the language’s left-biasing of generic parameters
Link to Tomás’ note on why HKTs in Swift will be tricky with the language’s left-biasing of generic parameters
Immutable Conversations is a video series from 47 Degrees featuring casual conversations about important open source libraries with maintainers and contributors, and others in the Functional Programming community. On this episode, Alejandro Serrano has a socially distanced conversation with Tomás Ruiz-López about the adoption of functional programming within the industry, adding functional capabilities to Swift with the Bow library, and the usefulness of higher-kinded types. Learn more about Bow—a library for typed functional programming in Swift: https://bow-swift.io/ ------ Host: Alejandro Serrano Senior Software Engineer | 47 Degrees Twitter: https://twitter.com/trupill Guest: Tomás Ruiz-López Technical Lead | 47 Degrees Twitter: https://twitter.com/tomasruizlopez Immutable Conversations is a 47 Degrees Academy production. Elevate your educational experience with Functional Programming with the 47 Degrees Academy. https://www.47deg.com/trainings/academy/ #functionalprogramming #swiftlang #bowswift
·youtu.be·
Link to Tomás’ note on why HKTs in Swift will be tricky with the language’s left-biasing of generic parameters
Mirror of Andy Matuschak’s “Liquid olives and iPhones” essay
Mirror of Andy Matuschak’s “Liquid olives and iPhones” essay
In startups, roles are fluid. Everyone wears many hats: what’s important isn’t one’s job description but the problems which need to be solved. ​ If you’re going to have a team with continuously negotiated roles, you need a context for that continuous negotiation. These demos unified the “tests” with the real work. Eventually, I came to understand that they put themselves into these terrible situations as a way to force themselves to innovate, that the desperation was productive, not destructive. It was desperation, but by design. ​ We worked from deep desperation, but as Vaughn describes, it was absolutely one of the most exhilarating and dynamic periods of my life. But these big-picture problem statements shatter fractally into a hundred sub-problems, and most of the progress in my work comes from identifying and improving articulations these sub-problems.
·dropbox.com·
Mirror of Andy Matuschak’s “Liquid olives and iPhones” essay
The Electric Pinball Machine
The Electric Pinball Machine
“If you’re not doing everything in your power to live in this electrifying pinball machine all the time then what are you even DOING WITH YOURSELF?”
·lucybellwood.com·
The Electric Pinball Machine