leshow

58 ms·

661.
by leshow 8y ago
A friend and I where wondering how the bigint is represented in memory. It looks like it may be a bit for the sign, a byte for the type, a word for the count, and and array of words for the number? My question was whether the whole struct a
662.
by leshow 8y ago
Is there a reason why you'd create 2 distinct repositories instead of just creating branches and adding new remotes?
663.
by leshow 8y ago
You still often have to be familiar with approaches to problem solving and data structures. And you have to be practiced enough to know when to apply them. In a high pressure situation like an interview, I personally find it difficult to th
664.
by leshow 8y ago
Why even have the interview? Why not just hire everyone who applies and assume they can do the job? There are tests and interviews because not everyone can
665.
by leshow 9y ago
Maybe I'm misunderstanding, but isn't it possible to implement type classes as monomorphized as well as using dictionary passing. Rust has traits which I think map very closely to type classes (minus HKT), and that's all done
666.
by leshow 9y ago
Do we really have to suck the fun out of everything in order to look 'credible'?
667.
by leshow 9y ago
Erlang's concurrency is probably the most similar (greenthreading, channels, messages) and best out there. Errors are handled nicely via supervisor; you can produce a long running fault tolerant system. Haskell's async[1] solution
668.
by leshow 9y ago
> As a result, every mainstream concurrency framework I know of simply gives up. If an error occurs in a background task, and you don't handle it manually, then the runtime just... drops it on the floor and crosses its fingers that
669.
by leshow 9y ago
Typed Racket has been around for a while, is that not close enough to a lisp for you?
670.
by leshow 9y ago
You're probably right, I don't watch cable TV so it was a poor comparison. Nobody is complaining that ISIS is losing their youtube ad revenue stream, that's a strawman argument. ISIS recruitment videos violate youtube's
671.
by leshow 9y ago
Perhaps you're right there since the check is moved to runtime, I must have glossed over that. If you look at one of the sibling comments though, it's a bit of a moot point. There's a paper showing a number of unsound bits of
672.
by leshow 9y ago
I think another reason they added refinement types in the form of literal string types and literal number types was because there are no data constructors in TS & Flow either. This is a bit of speculation on my part. For example, in lot
673.
by leshow 9y ago
You seem to be including the halting problem in your definition of type soundness, those aren't the same things. Java has always had covariant arrays, which are not sound. Whether it was intentional or not is irrelevant to the question
674.
by leshow 9y ago
> I don't blame the advertisers one bit from wanting to remove their ads from many videos. Once the media starts playing the game that "an ad on the video == the advertiser agrees with the message" I too would want to do e
675.
by leshow 9y ago
Okay? I wasn't talking about Nim or any language specifically.
676.
by leshow 9y ago
Symmetric encryption is also popular and ubiquitous. I don't think this can be practically explained to most of the population of non-technical people. Encryption schemes also often use hybrids of symmetric and asymmetric encryption; t
677.
by leshow 9y ago
Correct me if I'm wrong, but the study itself didn't look near this rigorous. It looks like they made 3 buckets and tried to correlate them with performance. How can you do that and they say "aha! look! circadian rhythms&quot
678.
by leshow 9y ago
I can't speak for OP but I think they are just differentiating between languages that produce an executable binary versus one that is interpreted/runs in a VM/is compiled to bytecode/whatever else
679.
by leshow 9y ago
We have different definitions of clever. Using iterator combinators is pretty par for the course and sort of a minimum understanding I would expect anyone to have.
680.
by leshow 9y ago
shep! you forgot map_on_vec's return type. Thanks for writing the comment though, I was just about to point out Fn
681.
by leshow 9y ago
Yeah, I have seen actix, it looks great. The recent techempower benches have been particularly revealing of Rust's potential in this area.
682.
by leshow 9y ago
Are you sure rocket is actually faster than the Go/JVM equivalent? I'm a big fan of Rust, and I don't deny that it's possible for it to be faster, but my understanding of where Rocket's async story is that it isn&#x
683.
by leshow 9y ago
AFAIK actix was pretty high in the techempower rankings this year, top 10 or 20 in most.
684.
by leshow 9y ago
If not for Rust, I never would have believed systems programming would be accessible to me, at least not in any time frame I was comfortable investing.
685.
by leshow 9y ago
Seems pretty inconvenient that the library you want to use isn't allowed in elm's package repo. edit: FYI, you have a typo: > This is represented in Maybe‘s definition: type Maybe = Just a | Nothing. Maybe's type is type M
686.
by leshow 9y ago
Purescript is lots of fun to use and has a helpful community.
687.
by leshow 9y ago
The difference IMO is that the interface is still a nominal declaration. With it you have a named type, while the alias is purely structural. in TS/Flow I prefer to use the type alias ubiquitously, however in other typed languages I pr
688.
by leshow 9y ago
I'm getting like 4 fps on Debian 8 Firefox nightly 64-bit. In the latest chrome I get about 10 fps. I see other people experiencing similar problems.
689.
by leshow 9y ago
I asked this question on IRC and they said that it likely wouldn't go away. There may be a couple reasons, backwards compatibility for one, the other may be that when the type is existentially quantified the compiler has to search for
690.
by leshow 9y ago
Why don't you use a type alias instead of an interface for pure data?

More ›