Twitter | Pretraživanje | |
patrick thomson is an anagram of
engineer • Haskell and applied PLT • democratic socialist • immigrant • • he/him
36.072
Tweetovi
572
Pratim
3.970
Osobe koje vas prate
Tweetovi
patrick thomson is an anagram of 8 h
Odgovor korisniku/ci @importantshock
Last time I waited in line at JFK customs I met Freddie Gibbs. It was great.
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 9 h
a political masterstroke. there’s no way the citizens of New York will be able to endure the sheer burden of *checks notes* waiting in line for things at the airport
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 9 h
Odgovor korisniku/ci @rob_rix
CalDAV is the absolute fuckin worst.
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 18 h
Odgovor korisniku/ci @b6n @moonpolysoft
i mean is still around so yes
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 20 h
Odgovor korisniku/ci @tef
pandoc should put this on their endorsements page
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 20 h
Odgovor korisniku/ci @dysinger
Yeah! (Assuming you give us, like, ten years, but this is a use case!)
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 22 h
Apparently I am not the only one who finds ANTLR grammars incomprehensible.
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Odgovor korisniku/ci @k0001
Ah, the use of singletons is quite fancy. I was able to get away without needing them, which is cool, as I don’t need to store a Sing anywhere.
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Odgovor korisniku/ci @importantshock
This is also the only time I’ve ever used PolyKinds without blowing my own foot off.
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Odgovor korisniku/ci @importantshock
I ended up pulling this out into a package—I’m pleased with it, especially the clever use of PolyKinds in Some1 to allow wrapping kind-polymorphic data types like Proxy.
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Odgovor korisniku/ci @rob_rix
I will have your back until the sun burns out. Then I will put on a sweater, and then I will still have your back. Love you.
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
everything is a fold when you think about it. indeed, everything is a fold irrespective of whether you think about it or not
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Odgovor korisniku/ci @peterb
given how fucked most people's zsh setups are, it's difficult to discern how you would tell
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Odgovor korisniku/ci @tef
I would, and I do not say this lightly, assert that easy_install/pip/conda/virtualenv are even more fucked than rbenv/rubyges
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 5. velj
Really excited to see people writing their own fused-effects adaptors:
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of proslijedio/la je tweet
David Grossman 4. velj
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 4. velj
in no way am I more reminded of the inevitability of entropy than when, after two years of using a computer, I find myself with six different Python installations, each of a different version and stored in a different place
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 4. velj
Odgovor korisniku/ci @importantshock
I cannot be the first one to have thought of this, so there is probably some reason why it's a bad idea. Also this line is exceptionally cursed, but the forall is there for -XTypeApplications purposes: Some1 :: forall c d f a . (c f, d a) => f a -> Some1 c d
Reply Retweet Označi sa "sviđa mi se"
patrick thomson is an anagram of 4. velj
Has anyone ever (ab)used ConstraintKinds in this manner to avoid having to define a SomeX existentially-qualified wrapper for each typeclass/GADT X?
Reply Retweet Označi sa "sviđa mi se"