fizixer

83 ms·

481.
by fizixer 9y ago
Even if I buy what you said, it means the following: - C compiler correctness verification cost _is not_ out of proportion of its benefits, by virtue of the verification being very doable (and done already multiple times). In other words, l
482.
by fizixer 9y ago
You really think the cost for C and C++ are similar or comparable enough to lump both languages in the same category? Have you looked at or reviewed CompCert C compiler (and a handful of other C compiler projects, as opposed to practically
483.
by fizixer 9y ago
One thing I noticed while doing a 40 hour a week software job recently (I'm not working now) is that your ability to work in the evenings and weekends depends on how much cognitive load you go through during those 40 hours. I've h
484.
by fizixer 9y ago
(replying to my own comment) Just looked up the issue related to audio encoding [1] There are "audiophiles" out there who claim they can discern the difference between a 96-kHz (sampling frequency) encoded audio vs 48 or 44.1 kHz
485.
by fizixer 9y ago
Related: - Someone with online alias NwAvGuy put the whole AV industry (ok maybe not the whole, but some big players) in a loop by showing in online forums that a totally inexpensive DIY DAC (with a free design he/she shared) could be
486.
by fizixer 9y ago
I seriously doubt you need to spend more than 100% the cost of the 8 GPUs on the rest of the system. If your 8 GPUs cost ~6k USD, you should be able to build a system for under ~10k USD (even ~8k). Any extra money you spend is more out of d
487.
by fizixer 9y ago
Great talk by DJB. IMO he couldn't give a convincing answer to the guy who asked about LuaJIT author being out of a job. But there's a clear answer. JIT authors are not out of job not because optimizing compilers are not dead, but
488.
by fizixer 9y ago
The first code block reads like a definition, or the 'what' of quicksort, which has to be fleshed out using the 'how' of quicksort. And it just so happens that 'what' is declarative, and 'how' is impe
489.
by fizixer 9y ago
> it's definitely NOT in departments of computer science. Instead look at selected programs in pure/applied math in some of the best research universities. Slight qualification: It's in pure/applied math in some of th
490.
by fizixer 9y ago
The problem is that it's more like sports than math/science: a tug-of-war (zero-sum game) instead of win-win. You're pitting your intelligence against the intelligence of other quants (not against the complexity of some natur
491.
by fizixer 9y ago
I would like to point out that the whole article can be treated as a metaphor for one of the major themes of mathematical and computational/CS thinking, i.e., exploring generalizations and "meta-generalizations". (edit: well
492.
by fizixer 9y ago
Well, then MS Azure, Amazon AWS have their own clusters offering way more than $18 million worth of compute power (I'm sure they also provide it for research purposes worth in the millions). But not to a single client. Similarly, Googl
493.
by fizixer 9y ago
180 = 12 x 15 Where are you getting the extra 3 zeros from? (Also 'up to 180 TFLOPs' is a bit misleading. As I read in some benchmarking posts by Google as well as by nVidida, a TPU is much faster than a GPU for doing inference, b
494.
by fizixer 9y ago
Wait, so does that mean we can follow the money? (find out who converts those specific bitcoins to a physical currency?)
495.
by fizixer 9y ago
Looking at it very briefly, its feature set is probably small enough to keep the language simple yet useful. To be clear, I'm not a Rust guy, or even C++, Go, D. On top of that, I'm a 2PL advocate (two programming languages). I th
496.
by fizixer 9y ago
Looking at Modula-3 wikipedia page, no thanks. (If it's case-sensitive, I don't want to switch to uppercase everytime I use the language keywords. If it's not case-sensitive, don't even get me started.) I had enough of t
497.
by fizixer 9y ago
A lot of responses have mentioned usenet so I won't repeat. However, one very important aspect of usenet was the curated FAQ document of the newsgroups (e.g., a FAQ for comp.lang.c [1]). The document was maintained by the newsgroup mai
498.
by fizixer 9y ago
See this is where I disagree. We need to get over the idea that every startup is a special snowflake with its own unique set of needs and requirements. I'm not even talking about hard-tech, or some non-tech law firm startup, or a new h
499.
by fizixer 9y ago
Forget about scaling, tell me what are all/most of the possible worker roles (part-time or full-time) that a startup needs in its: first month, 2nd-6th month, rest of 1st year, and so on. This kind of knowledge "beforehand" i
500.
by fizixer 9y ago
Yeah right. Elisp was dynamic-scoping-only until version 24.1. That means elisp code written before that (i.e., 99.999% of emacs code that's not in C) as well as most of the code written after that, has essentially the feel of hacky cr
501.
by fizixer 9y ago
I think the tone is perfect. - In questions, it represents a knee-jerk reaction of annoyance by a deathist who hasn't thought about this seriously or deeply. - In answers, it represents an anti-deathist who is jaded after engaging in t
502.
by fizixer 9y ago
You got it upside down. It's silly to "talk" (talk as in communication in the medical research community) about deaths due to preventable diseases, which should be left to social scientists, politicians, celebrities, advocacy
503.
by fizixer 9y ago
It's funny I seem to have expressed my thoughts on this very recently [1]. Also a FAQ that you might be interested in [2]. [1] https://news.ycombinator.com/item?id=14205938 [2] https://carcinisation.com&#x2F
504.
by fizixer 9y ago
> I never understood the people who argue for indefinite life extension. I'd say admitting an inability to understand something is a good first step towards making progress. Don't lose hope. Here's something to read in the
505.
by fizixer 9y ago
> Oh right, that's going to make fixing climate change nearly impossible isn't it? I would say we're going to need all the human ingenuity and hard work to tackle the issues we're facing. Yes, these are very difficult
506.
by fizixer 9y ago
Ehh ... it needs to be eliminated? [1] [1] https://en.wikipedia.org/wiki/Life_extension
507.
by fizixer 9y ago
As a non-astronomer, I hadn't thought of that but now that I read the abstract, it makes complete sense (assuming evidence supports the thesis) - Might be related to why moon's surface is so scarred and yet in many centuries of re
508.
by fizixer 9y ago
Have you even looked at the LFS project[1]? And what does your guide provide that LFS doesn't? [1] http://www.linuxfromscratch.org/
509.
by fizixer 9y ago
Wow, really good writeup. And on point regarding '5 days' vs '5 years' approach. And it really confirms my biases against the language.
510.
by fizixer 9y ago
Thanks. I'll definitely give Migen a try. Looks like right up my creek.

More ›