aconz2

10 ms·

61.
by aconz2 10y ago
Bravo! Thank you for the full story. Would fusing many tightly coupled Gs (lots of send's and recv's to each other) into a larger G by transformation into a state machine be a way to reduce scheduler overhead? Of course, you may n
62.
by aconz2 10y ago
Location: TN, USA Remote: Yes Willing to relocate: No Technologies: OCaml, Racket, Python, C, Haskell Résumé/CV: aconz2.github.io Email: aconz2@gmail.com Seeking
63.
by aconz2 10y ago
Most of the current comments are not abiding by the Show HN comment guidelines. In Comments Be respectful. Anyone sharing work is making a contribution, however modest. Ask questions out of curiosity. Don't cross-examine.
64.
by aconz2 10y ago
I hear you on expressiveness of using the language. Of course (and as you mention) the strength of restricting the expressiveness is that it becomes decidable in some amount of acceptable time for most programs. I agree with your last senti
65.
by aconz2 10y ago
Yep you are totally correct. I only point this out because the tool presented here does not do the same thing as other contract systems, but could (as you say) be used as a building block to get there.
66.
by aconz2 10y ago
> Instead of encoding constraints as type signatures, the Clojure folks (true to character) encode them in data. I've never bought this line of thinking when the "Clojure folks" also say "code is data", because t
67.
by aconz2 11y ago
I think many may take your response as a bit off-the-cuff, but I share this sentiment. You could even go so far as to write the longest C program you could dream of to solve it, then simply feed it into tr -d '\n' and call
68.
by aconz2 11y ago
To be fair, they are comparing it to a dual-socket CPU; which is twice as fair as comparing to a single!! What I was getting more at was: I want to know the relative performance compared to another 8 Tesla box. I know comparing apples isn&#
69.
by aconz2 11y ago
https://devblogs.nvidia.com/parallelforall/wp-content/upload... source: https://devblogs.nvidia.com/parallelforall/inside-pascal/
70.
by aconz2 11y ago
Check out the specs here: http://images.nvidia.com/content/technologies/deep-learning/... though I'm most curious about what motherboard is in there to support NVLink and NVHS. Good overview of Pascal he
71.
by aconz2 11y ago
AAM was one of those things that made me say, "wow this is really cool" the first time I saw it. Luckily, I got to see this presented by Van Horn in class at UMD. Link to the PDF of the associated paper http://www.cs.um
72.
by aconz2 11y ago
This only seems useful for user-defined glsl types. The builtin glsl types would only have to be written out once as D types. The general idea of "importing" types is a good one and I think this is what F# achieves with type provi
73.
by aconz2 11y ago
Are Nim's metaprogramming features fundamentally different than C++?
74.
by aconz2 11y ago
I've been thinking a lot about source code transformations as a possible key for maintenance in the "future" of programming. Its interesting to see that the preprocessor, which is a source code transformation itself, makes ot
75.
by aconz2 11y ago
I was interested in whether the license only permits a single machine.
76.
by aconz2 11y ago
Very cool idea. One thing I think is often overlooked in comparing brains with computers is that while they may be ahead on efficiency and density, computers win on many other metrics eg. They are easy to reprogram, they don't need sle
77.
by aconz2 11y ago
> This open source release supports single machines and mobile devices. Can someone clarify if "single machines" means the Apache license only applies to single machines and not distributed systems? Sidenote: I wish every open
78.
by aconz2 11y ago
Lemire's work always pops up in regards to high performance or data compression. The paper is interesting and I learned about a new field of math. I especially admire the FOSS implementation of the theory, which is often missing from m
79.
by aconz2 11y ago
Read the title and had a different SAT in mind before reading the article -- pretty funny.
80.
by aconz2 11y ago
> "They assured me they have several layers of security, so the results can’t be hacked into." That's what they all say.
81.
Science Transport Protocol(github.com)
1 points by aconz2 11y ago|0 comments
82.
by aconz2 12y ago
Location: Outside Washington D.C. Remote: Absolutely Willing to relocate: Probably Technologies: Clojure[script], other languages but I prefer Clojure, communication, problem solving, persistence Resume: Nothing huge but can share upon requ
83.
by aconz2 13y ago
I don't think it's a good choice to link directly to a file like that. Perhaps an article on the release would have been better.
84.
by aconz2 13y ago
Sweet write up. I'm curious as to how CloudFlare's needs are similar/different from other companies (i.e. Facebook, Google, Twitter etc.). It seems to me that there would already be quite a lot of iteration and therefore expe
85.
by aconz2 13y ago
The internet does not need another 5000 sloc JS library attempting to solve every problem in one file. Please put your effort towards improving upon other, focused libs.
86.
by aconz2 13y ago
over 180 network requests and over 40 scripts, maybe the author needs to learn a bit more about best practices on the web before standing on his soapbox. and quit bolding things mid-sentence.
87.
by aconz2 13y ago
leading questions, over-generalizations, unsupported claims. its articles like these that spread like viruses on the internet and leads to lots of poor informed people.