cmrx64

44 ms·

511.
by cmrx64 11y ago
I'm in AU and it doesn't 404.
512.
by cmrx64 11y ago
> Replying here because the stupid max comment depth was reached on your deeper comment Note that there is no "max comment depth" on HN, and I don't know where this thought keeps coming from. There are a few reasons the
513.
by cmrx64 11y ago
You don't use OpenGL etc, you use their proprietary graphics API.
514.
by cmrx64 11y ago
In the CS lab at my uni as well.
515.
by cmrx64 11y ago
This is about authenticating consumers of an API, not end users. So while your wish is nice, it's a non sequitur here.
516.
by cmrx64 11y ago
Seriously, I was very excited when I saw the title, and very let down by the actual result.
517.
by cmrx64 11y ago
I'm not sure what you're getting at.
518.
by cmrx64 11y ago
But that's something that people have actually done , for example http://www.salon.com/2015/04/30/i_secretly_lived_in_my_offic... as a written account of it...
519.
by cmrx64 11y ago
Seriously, what a garbage article.
520.
by cmrx64 11y ago
Poe's law has struck me down here. Either author is an asshole, or author doesn't know how to do good parody.
521.
by cmrx64 11y ago
Depends on the implementation. Some algorithms[1] have a load factor no more than 0.80 before insert/lookup performance starts to degrade significantly. Others, like the algorithm used in Rust[2], can achieve load factors in excess of
522.
by cmrx64 11y ago
That's simply not true. There are some bugs in GCC with flow-sensitive constant evaluation that cause statically-impossible "undefined behavior" to be seen and aggressively optimized against, causing a miscompilation. I'
523.
by cmrx64 11y ago
Nice demo. If one just needs a KV store, it's good that the engine that only does KV outperforms the more general engines ;) On top of all the engineering that goes into making LevelDB fast.
524.
by cmrx64 11y ago
"being able to play quak 2" as a goal for validation of effort and to have something concrete to strive for is completely different than "none of my software or hardware on my system can play quake 2", and I suspect gran
525.
by cmrx64 11y ago
That was my interpretation as well, but not as an active OSMer.
526.
by cmrx64 11y ago
I've looked into that line of research too. It's very interesting to me, I've also noticed that sleep deprivation eases my depression, even on top of what my antidepressant already does. Unfortunately, there doesn't seem
527.
by cmrx64 11y ago
> Sleep is really important. This cannot be overstated enough, I think, beyond just the effects of severe sleep deprivation. It's very true in my personal experience with major depression as well. Also good to do: eat well, get ex
528.
by cmrx64 11y ago
I'm not sure about "big", it all depends on how much you trust 1password and what your threat model is. For me, the advantage of keepass is that I don't need to upload my credentials anywhere, or trust some closed source
529.
by cmrx64 11y ago
And, relatedly, https://robigalia.org/
530.
by cmrx64 11y ago
For https://robigalia.org/ , I decided to go with GitLab for a few reasons: 1. Free software needs free tools (I did not consider GitHub or Bitbucket at all). 2. Excellent team management and access control. 3. Excellent int
531.
by cmrx64 11y ago
There is no "central authority" for the language. When a word is created, it spreads by word of mouth. The pronunciation is sometimes quite volatile before it becomes generally agreed upon (take GIF as a recent and annoyingly prom
532.
by cmrx64 11y ago
(2012)
533.
by cmrx64 11y ago
In the Star Control II lore, the Ur-Quan (evil invading alien race) have as a condition of surrender the destruction of all structures older than 500 years, to destroy any history of not being subjugated by the Ur-Quan. It's a really i
534.
by cmrx64 11y ago
In the typical framework (refinement), if you prove your function does X, Y, and Z, then it does exactly X, Y, and Z. Please don't take my comment out of the context of formal, machine-checked proofs. It is hard, and that's my poi
535.
by cmrx64 11y ago
I really dislike the "safe"/"unsafe" terminology, there isn't a commonly-agreed upon definition of "safe". But I think it's safe to say that it's a combination of type and memory safety, not
536.
by cmrx64 11y ago
> Written properly, C++ is not unsafe. This is abusing what "unsafe" means. As a language, C++ is inherently unsafe. However, some C++ programs ("written properly") are correct. If written properly C++ is not unsafe,
537.
by cmrx64 11y ago
You sure can prove that any correct code does something correct, but you can never prove something about a program outside of a machine-checked formal proof.
538.
by cmrx64 11y ago
(For the record, grandparent originally ended with "Some people just don't get it")
539.
by cmrx64 11y ago
I think you're spot-on. It's interesting to note that 4chan had 'sage' to help counter that effect.
540.
by cmrx64 11y ago
I'm happy to have more contributors! ;) https://robigalia.org/

More ›