|
patrick thomson is an anagram of
@
importantshock
queens ny / patrickt@github.com
|
|
engineer • Haskell and applied PLT @github • democratic socialist • immigrant • #notechforICE • he/him
|
|
|
36.072
Tweetovi
|
572
Pratim
|
3.970
Osobe koje vas prate
|
| Tweetovi |
|
patrick thomson is an anagram of
@importantshock
|
8 h |
|
Last time I waited in line at JFK customs I met Freddie Gibbs. It was great.
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
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 twitter.com/zackwhittaker/…
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
9 h |
|
CalDAV is the absolute fuckin worst.
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
18 h |
|
i mean @moonpolysoft is still around so yes
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
20 h |
|
pandoc should put this on their endorsements page
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
20 h |
|
Yeah! (Assuming you give us, like, ten years, but this is a use case!)
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
22 h |
|
Apparently I am not the only one who finds ANTLR grammars incomprehensible.
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
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.
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
This is also the only time I’ve ever used PolyKinds without blowing my own foot off.
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
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. github.com/patrickt/some-…
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
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.
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
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
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
…all right pic.twitter.com/NWx625qTuo
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
given how fucked most people's zsh setups are, it's difficult to discern how you would tell
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
I would, and I do not say this lightly, assert that easy_install/pip/conda/virtualenv are even more fucked than rbenv/rubyges
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
5. velj |
|
Really excited to see people writing their own fused-effects adaptors: hackage.haskell.org/package/fused-…
|
||
|
|
||
| patrick thomson is an anagram of proslijedio/la je tweet | ||
|
David Grossman
@davidgross_man
|
4. velj |
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
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
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
4. velj |
|
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
|
||
|
|
||
|
patrick thomson is an anagram of
@importantshock
|
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? gist.github.com/patrickt/1dc0e…
|
||
|
|
||