Substrate

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.

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.

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

Whether you met your reading goals or not, I’m sure you did your best.

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.

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.

Tumblr Blog

“What is the meaning of life?” is more like asking “how does orange look?” The sentence has superficially appropriate structure, but no set of words can adequately convey the (true) answer.

Along’s Tech by @soffes

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

https://t.co/lM1D5Ldk0O— Joe Groff (@jckarter) December 4, 2020

Don’t ask yourself if you can finish, ask yourself if you can keep going.

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.

A tiny bit of forethought, some cautionary design.

A small blog about Rust, type theory and mathematics.

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

How comedy can teach us to survive our disastrous times.

No. And yes.

This approach lifts the partial isomorphism requirement from the original invertible syntax descriptions paper.

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.

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

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.

I rewound, and listened to that sentence three times: Feeling less is not feeling better. Feeling less is not feeling better. Feeling less is not feeling better.

“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?”