Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
0815test
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
54 ms
·
511.
▲
by
0815test
7y ago
> One way to look at Stackoverflow is that it's a gigantic index that maps "intuitive plain English" to "non-intuitive exact syntax". It's not that syntax itself isn't intuitive; there's after al
512.
▲
by
0815test
7y ago
Looks a lot like Linux with a fvwm95 interface on top. I mean, it's always great and so exciting to see something totally new being created from scratch! But you don't actually need to switch to some entirely homegrown, untest
513.
▲
by
0815test
7y ago
> ...people in a position of power... profited from pretending to be people who had none, while simultaneously reinforcing stereotypes that help keep them powerless. Anti-intellectualism is a very real force in American politics, with a
514.
▲
by
0815test
7y ago
> Surely the same could be said of nearly any network sitcom involving a subculture or demographic. That's kind of the idea of broad entertainment. No, it isn't quite the same thing. ESR actually points out the specific prob
515.
▲
by
0815test
7y ago
Relevant post from the ESR blog http://esr.ibiblio.org/?p=7451 Or, Why The Big Bang Theory Normalized the wrong sort of Nerd Culture.
516.
▲
by
0815test
7y ago
For that matter, a significant amount of hardware hasn't been updated (or had updated support, rather) to work properly on anything newer than Windows XP! Linux has better support for some hardware than any Windows post-XP does.
517.
▲
by
0815test
7y ago
Of course, the inherent flip side of making the adverts less obvious is making the content even less obvious still. They've slowly A/B tested their way into using what are basically dark patterns that will be tricking users i
518.
▲
by
0815test
7y ago
A bad sign? Far from it. It's good that they're still supporting a vintage OS when it matters, even though Windows XP users really should have moved to better options (GNU/Linux, ReactOS, whatever) by now.
519.
▲
by
0815test
7y ago
Yes, but the folks who are now complaining about Go not being 'community-led' enough were pushing for a module system ("dep") that does not allow for this, and being told that not allowing multiple major versions in the
520.
▲
by
0815test
7y ago
> Dep does not support using multiple major versions of a program in a single build. This alone is a complete showstopper. Go is meant for large-scale work, and in a large-scale program different parts will inevitably need different vers
521.
▲
by
0815test
7y ago
> From my five years of learning and using C++, I still have no clear picture how move semantics and rvalue references work. ... The complexity created by implicit and explicit copy/move constructors is just insanity for me... This
522.
▲
by
0815test
7y ago
> Huawei is most likely to start relying on open source tech If only. So far they've been very much the opposite, even in comparison to other CN companies! Which is one key reason why this whole kerfuffle is going to be so much of a
523.
▲
by
0815test
7y ago
That would be quite ironic indeed. But the Chinese seem to be more invested in MIPS, and even some homegrown x86-64 - so that's probably what we're going to see instead. One thing we should note is that Huawei doesn't really
524.
▲
by
0815test
7y ago
It's not about learnability, compile times or anything like that - Go has a high-performance concurrent GC and Rust does not. There are whole domains, problems and the like that are basically unapproachable in Rust unless you're
525.
▲
by
0815test
7y ago
It'll be that too, eventually. But not yet!
526.
▲
by
0815test
7y ago
Huawei is not known as an open company, if anything they're the very opposite. They stopped providing unlock ability for their mobile devices some time back, and even before that they were known for having by far the hardest system to
527.
▲
by
0815test
7y ago
If the employees only "own" part of the company while they're employed in good standing, that's not ownership at all. They're just leasing that share, and paying for it quite dearly with 996-ICU work, for that matte
528.
▲
by
0815test
7y ago
A Linux phone (running open, non-custom software in both the kernel and user space) is in fact comparatively easy - we sort of know how to get there, it's just a matter of work. But that, while quite desirable indeed (in that it woul
529.
▲
by
0815test
7y ago
> The conference scene feels like such a hostile environment. It's a hostile environment either way - even the male speaker in this whole drama was widely known as "a male chauvinist who persecutes and intimidates women at sect
530.
▲
by
0815test
7y ago
> ..."At that precise moment I saw the former speaker. She was calling the security of the event and using her cellphone to record me. She yelling that I was at the conference to stalk her, and that I was harassing her and following
531.
▲
by
0815test
7y ago
> But I think far more mathematicians point to ZFC, not type theory, as the foundations of mathematics. That's true, but it's just as true that those same mathematicians only care about foundations as a proof of concept , not
532.
▲
by
0815test
7y ago
I understand where you're coming from, but still, please don't blame women at large for manipulative/narcissistic/sociopathic behavior that a minority in both genders, without distinction, might engage in. This stuff
533.
▲
by
0815test
7y ago
Ironically, large-cardinals and related devices give set theory a rather type-theoretic "flavor". One can definitely explore the very same questions of 'consistency/existence, size or "order" of objects, and ra
534.
▲
by
0815test
7y ago
Given that our shared culture seems quite committed to labeling all men as "unfair", I'd think that the converse description "the fairer sex" is only... well, fair, y'know.
535.
▲
by
0815test
7y ago
That depends on what you mean by "inappropriate", of course. People say all sorts of things they don't mean to when they're made uncomfortable by something, and the line between "discomfort", "confusion&q
536.
▲
by
0815test
7y ago
We don't know what OP said (or rather, mumbled out) about her body. From what OP states, it's reasonable to infer that they said "Your body is in my personal space, you're making me uncomfortable" or something t
537.
▲
by
0815test
7y ago
Presumably, it means that OP was made uncomfortable and voiced that discomfort in some way, and she took it badly/got offended for whatever reason. It's hard to say more than that based on what he/she stated - but even that i
538.
▲
by
0815test
7y ago
Why is "the decline in sex for young men" even relevant here? Most people who argue that "some men truly don’t know how to conduct themselves appropriately" would say that 'behaving appropriately' means that pr
539.
▲
by
0815test
7y ago
Actually, that `Inductive nat` is precisely a natural number object in terms of categorial semantics - it's worth mentioning that NNO's in categorial semantics are unique up to isomorphism. That "Inductive" syntax in Co
540.
▲
by
0815test
7y ago
"Set theory" itself is a bit of an overloaded term; most practical uses of naïve set theory in math do not make use of properties like extensionality or the global membership relation, that characterize axiomatic set theory over
More ›