chalst

70 ms·

721.
by chalst 7y ago
I think it does allow download, although it is a little unclear; from the previous sentence: > By setting your repositories to be viewed publicly, you agree to allow others to view and "fork" your repositories (this means that
722.
by chalst 7y ago
US banks have deposit insurance of $250k per account for retail banks. https://www.fdic.gov/deposit/deposits/faq.html
723.
by chalst 7y ago
Craig Murray's coverage of the Assange trial has been superb.
724.
Emerging Trends: word2vec (2016) [pdf](cambridge.org)
1 points by chalst 7y ago|0 comments
725.
by chalst 7y ago
The February report from WHO did not list runny nose as a symptom. If you do have a runny nose, though, that increases the riskiness of hand-nose contact as an infection pathway. https://www.who.int/docs/default-source&
726.
by chalst 7y ago
The last release is January this year.
727.
by chalst 7y ago
No, the story is that he wants yes-men on the panel that assesses their efficacy, not independent scientists.
728.
by chalst 7y ago
Sutherland was something like a cofounder of Sun Labs, so I guess he was likely to develop some interest. I'm afraid I couldn't track down anything more specific, but I'll keep my eyes peeled. An interesting point I did find:
729.
by chalst 7y ago
This is a very nice comment. The Wikipedia article would benefit from a citeable source for the problems they had: is that something you could help find?
730.
by chalst 7y ago
Decent link, thanks. It doesn't surprise me that having more visible registers and doing a good job of register allocation in the compiler is a better strategy (i.e., both more efficient and more flexible), but doing so means you are n
731.
by chalst 7y ago
> 16 registers divided into to areas: R0 to R7 are in fact a window to a register bank containing 256 times 8 registers while R8 to R15 are fixed. This architecture makes subroutine calls and saving registers very easy (just increment&#
732.
by chalst 7y ago
If the claim is random access, then I agree that O(1) is imposssible. Rope would allow these tasks to be carried out in logarithmic time. The tasks I chose were the first two API desiderata from http://www.and.org/vstr/
733.
by chalst 7y ago
I can report the same behaviour of an office of a pharmaceutical firm here in Berlin.
734.
by chalst 7y ago
If the list of chunks is represented as a deque, then concatenation and popping the first character can both be done in constant time.
735.
Arbital Postmortem (2018)(lesswrong.com)
1 points by chalst 7y ago|0 comments
736.
by chalst 7y ago
Haskell implements call-by-need reduction, in which all calls are tail calls.
737.
by chalst 7y ago
Amusing set of quotes about CL by famous lispers: http://xahlee.info/comp/Common_Lisp_quotations.html
738.
by chalst 7y ago
I don't consider a language supportive of functional programming unless it supports tail-call optimisation, which is performed by some but not all implementations of Common Lisp. The article recommends SBCL, which does support TCO. An
739.
by chalst 7y ago
Dependent type theory doesn't directly model the concepts of TLA+ (e.g., an eventually modality), so this doesn't really answer the question.
740.
by chalst 7y ago
There are well-maintained wrappers for BLAS & LAPACK in Rust https://github.com/blas-lapack-rs/blas-lapack-rs.github.io/w...
741.
by chalst 7y ago
> If Dahl had been a nice man, I don’t suppose he would have been able to inflict such refreshingly transgressive views on his young readers. Christopher Hitchens once wrote an essay examining the truth of the accusation that Dahl was an
742.
by chalst 7y ago
Zvi has a lengthy Less Wrong sequence that builds on this. https://www.lesswrong.com/posts/ham9i5wf4JCexXnkN/moloch-has...
743.
by chalst 7y ago
Sure. But was he a casualty of the war or a casualty of the Soviet and East European retribution against the Nazis, which continued until 1950 or so? The dates are ambiguous, but the profile fits the latter very well. Cf. https:/&#x2F
744.
by chalst 7y ago
A quibble: > Gentzen died at age 35, a casualty of the World War. makes it sound as if GG was a soldier or something. In fact, he was an academic and Nazi party member who worked in Czechoslovakia during the occupation. Wikipedia describ
745.
by chalst 7y ago
The most significant difference between Gentzen's original calculus and the way it is most often given today is that discharge of assumptions are associated with labels in modern calculus, so each discharged assumption is tied to a rul
746.
by chalst 7y ago
This should be marked as dating from 2009. There was a discussion of an earlier iteration of the poster on Lambda the Ultimate, where Van Roy defended some of the choices he made. http://lambda-the-ultimate.org/node/241
747.
GPU Resources(raphlinus.github.io)
2 points by chalst 7y ago|0 comments
748.
by chalst 7y ago
I agree that this is the high point of the Sequences. In my view, the two most important ideas are EY's idea about what the two alternate neural architectures "look like from the inside" for concepts, and the combinatorio-spa
749.
by chalst 7y ago
It is certainly not pseudo-intellectual: people with impeccable academic credentials like David Chalmers and Stuart Russell take it seriously.
750.
by chalst 7y ago
Cf. last month's discussion at https://news.ycombinator.com/item?id=22180374

More ›