Twitter | Search | |
Brad Parker
A designering, codering, IPA enthusiast.
671
Tweets
326
Following
144
Followers
Tweets
Brad Parker retweeted
Hillel Apr 20
One of my most controversial software opinions is that your sleep quality and stress level matter far, far more than the languages you use or the practices you follow. Nothing else comes close: not type systems, not TDD, not formal methods, not ANYTHING. Allow me to explain why.
Reply Retweet Like
Brad Parker retweeted
Fraser Tweedale Apr 11
If there's someone in an underrepresented group who wants to get to (May 13-15, Melb), especially if you're from BNE/QLD, Brisbane Group wants to help. DMs are open. Spread the word.
Reply Retweet Like
Brad Parker Apr 12
Yay! ... for those of us who like pairing!
Reply Retweet Like
Brad Parker Apr 11
Replying to @jo_liss @brendanzab
There look to be a few RFCs to do with “newtypes” from a few years ago. Might help? ... cc
Reply Retweet Like
Brad Parker retweeted
MIT CSAIL Apr 10
Watch Katie Bouman speak about the significance of today's black hole breakthrough: (v/)
Reply Retweet Like
Brad Parker Apr 6
Replying to @brendanzab
Chapter 5.1.2 Scott Encoding: :)
Reply Retweet Like
Brad Parker retweeted
Chris Done Apr 6
Web engines in Haskell and browser monoculture
Reply Retweet Like
Brad Parker Apr 5
Replying to @argumatronic
:set -XTypeApplications For the “it’s not a function” crowd :P
Reply Retweet Like
Brad Parker retweeted
YOW! LambdaJam Apr 5
FP clears a bunch of hurdles from the road. It doesn’t necessarily shorten the road, programming is still hard
Reply Retweet Like
Brad Parker retweeted
matt Apr 3
Because it's true
Reply Retweet Like
Brad Parker retweeted
Jasper Van der Jeugt Apr 3
Which is "simpler", Haskell's standard list or NonEmpty? Neither, they are exactly as simple, because: type NonEmpty a = Fix (Compose ((,) a) Maybe) type List a = Fix (Compose Maybe ((,) a))
Reply Retweet Like
Brad Parker Apr 1
Replying to @chris__martin
:D newtype NonEmpty a = NonEmpty (a, List a) newtype List a = List (Maybe (NonEmpty a))
Reply Retweet Like
Brad Parker Apr 1
Replying to @brendanzab
type Unit = forall a. a -> a ?
Reply Retweet Like
Brad Parker Apr 1
Replying to @brendanzab
Ah yeah. It's not an actual Church bool I see, got carried away by everything just being special cases of `+` or `×`
Reply Retweet Like
Brad Parker Apr 1
Replying to @parkerbrads
Did I take this too far? ... yes
Reply Retweet Like
Brad Parker Mar 31
Replying to @brendanzab
... I could go over the top here. I get a real kick out of seeing these, I guess, essential ideas become somehow boringly real :). `->` seems to be a pretty good primitive :P
Reply Retweet Like
Brad Parker Mar 31
🤯 I'm sure this is pretty old-hat to a lot of Haskellers on here :)
Reply Retweet Like
Brad Parker Mar 30
TIL about Guix, cool! , have been using as a brew (and more) replacement for a while.
Reply Retweet Like
Brad Parker retweeted
Get Krack!n Mar 28
Reply Retweet Like
Brad Parker Mar 28
Just finished this and I reckon I got a lot out of it. Cannot recommend highly enough :)
Reply Retweet Like