maxhallinan

8 ms·

61.
by maxhallinan 9y ago
I agree. IPFS itself has taken a very tacky Silicon-Valley-startup approach to marketing: "IPFS is the Distributed Web". IPFS is distributed and could be used as a web platform. But it's not "the" anything. For me,
62.
by maxhallinan 9y ago
Great idea. I often take a longer route because it's optimized for concentration and comfort.
63.
by maxhallinan 9y ago
This is a strange distinction to make when evaluating a programming language. I can understand an evaluation that begins like "I need a language that is useful for solving x problem" or even "problem of x type". But if y
64.
by maxhallinan 9y ago
Not trolling here: what do you mean by "not used for programming a computer"? I'm genuinely confused because I would think that all uses of a programming language qualify as programming a computer. Do you mean applications of
65.
by maxhallinan 9y ago
A lot of these comments are focused on the merits of Coq and some of the mathematical details of your post. As someone who has no experience with Coq and little experience with mathematical proofs, I want to add an additional perspective. T
66.
by maxhallinan 9y ago
In the parent, I meant cab not car. Yes, I usually would take a cab. But if there are no cabs available, which can happen often near Broadway and Canal Street, for example, then it can be easier to use a ride hailing app.
67.
by maxhallinan 9y ago
In seven years, that hasn't been my experience. The thing about taking a car is that if you get stuck in traffic, you can get out. You cannot easily exit a train that has stopped running.
68.
by maxhallinan 9y ago
I'm 100% in support of less car traffic in NYC but I think there has to be other reliable options in place before that change is made. Many people are using cars and ride-hailing apps as a remedy to the broken public transportation sys
69.
Ask HN: Do you use dedicated GitHub/NPM/etc. accounts for work?
10 points by maxhallinan 9y ago|6 comments
70.
by maxhallinan 9y ago
This is a funny variation on "Explain to me like I'm five years old".
71.
by maxhallinan 9y ago
I agree that companies are incentivized to pay the least amount of taxes just as they are incentivized to optimize their operating costs in general. I don't think that this letter denies that Apple has a rational reason for avoiding ta
72.
by maxhallinan 9y ago
>Nowadays, anyone with a basic understanding of search engines can find almost anything they want within seconds. But now I'm less likely to find stuff that I didn't know existed and don't quite have a name for. This kind
73.
by maxhallinan 9y ago
> Laravel + Bootstrap + JQuery + MySQL works pretty well then this modern stuff. It's interesting to remember that Facebook started out as a PHP application. I imagine that Facebook's original tech stack closely resembled the s
74.
by maxhallinan 9y ago
This is like a doctor saying "It's funny the medical industry is so insistent on medical licenses. I mean - would you hire a software engineer based on their 'license'...". Different things are different.
75.
by maxhallinan 9y ago
> Having something means you are probably healthier, less likely to be burned out and more likely to have experiences that let you better understand what solves real customer/client/user problems. I didn't learn to write c
76.
by maxhallinan 9y ago
Thanks for pointing this out. Working on my humble side projects is the hiking/cooking/traveling of my life. I spend my free time programming for the same reason the author doesn't spend his free time programming: because lif
77.
Show HN: Zelektree – Embed selectors in a Redux state tree(github.com)
6 points by maxhallinan 9y ago|0 comments