johnday

25 ms·

211.
by johnday 6y ago
Slightly unfortunate name - z3 is the name of a widely-used theorem prover written at Microsoft.
212.
by johnday 6y ago
The reason `fib` is a useful benchmark here is not because `fib` is an inherently parallel problem, but because the functionality is obvious and it's easy to parallelise. Computing fib with memoisation from 1 will certainly be faster
213.
by johnday 6y ago
A word alone on its line is also often referred to as orphaned.
214.
by johnday 6y ago
> Just want to point out that the same people who say "sorry if you don't have a phone you can't shop" are probably the same who claim requiring ID to vote is "voter disenfranchisement" and that disabled peo
215.
by johnday 6y ago
Having had autistic friends for almost my whole life, I learned that it is useful and appropriate to be direct. For example, I have many times said "I'm going to go now" or something to that effect, because it's possible
216.
by johnday 6y ago
If anything, TS is a concretion of JS rather than an abstraction over it. When you write TS, you are (literally) writing JS, except that you are also writing miniature contracts (types) which are shared between components of the system an
217.
by johnday 6y ago
This may look true from the perspective of a single sale, but in the long term this just doesn't hold up. NVIDIA builds a strong and long-held reputation with gamers, and are a well renowned name in the field. If they made cards for mi
218.
by johnday 6y ago
You may have missed the joke.
219.
by johnday 6y ago
I have been working with Haxe for over a decade now and the language has really gone from strength to strength in its community and in enterprise use. It's always gratifying to see it appear again, and I know Gama11 (OP) (and many othe
220.
by johnday 6y ago
Human beings have a standard operating temperature, and the higher the temperature rises across the world, the more people will now be born into unliveable temperatures. We in Canada or the United Kingdom might not notice, but I'm pret
221.
by johnday 6y ago
I've frequented the occasional Haskell discussion on HN and the outcome is usually people refuting this point and not arguing in favour of it.
222.
by johnday 6y ago
There is nothing nonobvious here. I wonder if the author has anyone heard someone make the reverse claim.
223.
by johnday 6y ago
A database connection would operate either in IO (the generic "i am now talking to an unreliable outside world") monad, or some more specific monad. In this case you can think of a monad a bit like a computational context. If one
224.
by johnday 6y ago
Agreed! Asking which language is "better" is a fool's errand. But talking about specific upsides, especially in comparison with other languages, is a useful reductivist tool in determining how we can improve the story for eac
225.
by johnday 6y ago
Really nice insight, thank you! Clojure has always been a bit of a mystery to me, so this is interesting to read. - REPL ergonomics, where every action I could think of makes sense as a REPL command, leading to very small incremental pieces
226.
by johnday 6y ago
The GHC compiles Haskell either directly to assembly or via LLVM. There is a GHCJS project, which works fine, but personally I've not used it. There's not much of a story in terms of frontend Haskell. On the other hand, there are
227.
by johnday 6y ago
Yeah, that makes sense. If the killer app is JVM interop, nothing but JVM based languages should even be on the table. The "why Clojure?" question just becomes "because Clojure is the best language on the JVM ," which i
228.
by johnday 6y ago
Now I'm somewhat biased, but that complete list of advantages also applies to Haskell. [^1] In fact, nearly all of the claims made about Clojure here can be made about haskell more strongly . I've half a mind to do a direct compa
229.
by johnday 6y ago
When it comes to scientific discoveries, "how" and "why" are essentially the same question. Asking "why" usually means "for what purpose" -- and given that "purpose" is not something well de
230.
by johnday 6y ago
I'm not sure why you're hunting for downsides, but... It will create a moat between "worthy" and "unworthy" scientific journals - those which the Indian government is willing to support financially and those wh
231.
by johnday 6y ago
For sure, it's not a comforting thought! It simply explains why the world has not yet* fallen to total ruin.
232.
by johnday 6y ago
I think I can safely say that I disagree with both of those claims (speaking as someone who's no fan of capitalism). Unless by "get rid" you mean "completely eradicate", which is not feasible under any system.
233.
by johnday 6y ago
Capitalism and regulation can coexist.
234.
by johnday 6y ago
Laws are interpreted (eventually) by judges, who are given the solemn duty to exercise common sense in their interpretations. Computers, by contrast, do exactly what they are told and no more. This is why it takes an engineer to craft a com
235.
by johnday 6y ago
The question is a symptom, not the cause. It's a reasonable question to ask.
236.
by johnday 6y ago
This is correct. I am a PhD student and I know several undergraduates who get up at 5am (or stay up until 5am) to get started on the AoC problems ASAP. It's very unhealthy.
237.
by johnday 6y ago
What about houses which are not within walking distance of amenities, and do not have room for off-street parking? That's a large proportion of suburban (or even urban) housing in the UK.
238.
by johnday 6y ago
LaTeX does report this as a problem, of course - the refrain of "overfull hbox" is near universal (and ignoring the warning is just as universal). Where it fails is in reporting the problem in a meaningful way. This is, of course,
239.
by johnday 6y ago
If the only concern is the install process, I would recommend Manjaro. It has its own installer, but you still get the powerful pacman package manager and the Arch repositories which are the most cutting-edge around.
240.
by johnday 6y ago
In the case of gmail accounts you could simply prepend +grindr or any other name to the user part of the email address to get something (relatively) unguessable.

More ›