← Feed

Posts

• Post #2884753

  RE: https://social.tweag.io/@tweag/116414880112701864 Step up your doc game y'all!

• Post #2884752

  Been using Jujutsu to manage all my git repositories for around 5 months now, after Sandy Maguire recommended me to take a look. He characterize it as a life-changing addition to his workflow, and has a great post about it here: https://reasonablypolymorphic.com/blog/jj-strategy/ My git experience before was not that bad thanks to the magic of https://magit.vc/ (I still use it to manage diff hunks). But the affordances that `jj` provides make rebases a breeze, changing history an easy thing,...

• Post #2884751

  Some decisions are like choosing between sleeping in sweat or being eaten alive by mosquitos. Yes, I don't have mosquito nets on my windows. But the point is, hard decisions have to be made at some point, and those shape who we are/become.

• Post #2884750

  What do you do when the elephant in the room becomes the fly on your face?

• Post #2884749

  Autoplay is the devil. I'd rather choose what's next or not at all. God is in the silence between choices.

• Post #2569282

  GSoC participating organizations are still to be published on Feb 19 (https://summerofcode.withgoogle.com/), but the sooner the better to start checking out existing ideas to work on a proposal. It is a very nice setting to start working on a OSS project. Ideas from Haskell.org are already published here: https://summer.haskell.org/ideas.html Among them, there is one on type class elaboration in Liquid Haskell proposed by its comaintainer Facundo Dominguez. Last year I had a great time working...

• Post #1591581

  It's difficult to define what an intuition is. Between foresight and prophecy. When daydream becomes a half-baked idea. A subconscious reflux or a mental reflex. Believing something contradicting the evidence, to the bone, for just a second. Maybe just a transduced desire. I like intuitions because they open doors.