Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
na85
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
43 ms
·
481.
▲
by
na85
5y ago
>Imagine the massive GDP creation from making every 65+ year old feel 40 again. They'd work, consume, and generally flourish. Yet another opportunity for boomers to fuck over their kids' generation by squeezing them out of the
482.
▲
by
na85
5y ago
MAPCAR and UIOP:READ-FILE-LINES or READ-FILE-STRING will get you most of the way there.
483.
▲
by
na85
5y ago
> What's the point of using NFT instead of a Ubisoft owned DB? Now they get to say they're using NFTs in their press.
484.
▲
by
na85
5y ago
> FYI - not according to the US constitution. It applies to everyone on US soil, and is supposed to bind the federal gov’t in general in how it acts everywhere. Sure but that ship sailed years ago. Their constitution is also supposed to
485.
▲
by
na85
5y ago
I wondered, too, so I went digging and discovered [0] that he took an opportunity to work at CERN and thereafter refers to "we" and the page ends with the birth of their son. Happy ending :) [0] https://aarongiles.com&#
486.
▲
by
na85
5y ago
He's not a US citizen though. Their constitution only applies to them.
487.
▲
by
na85
5y ago
Don't the big players penalize mail coming from hosts without ipv4?
488.
▲
by
na85
5y ago
We're talking past each other. I give up.
489.
▲
by
na85
5y ago
But you're not trying to prove X = 3 and starting out by assuming X = 3. There wasn't even an attempt to disprove the assumption in TFA.
490.
▲
by
na85
5y ago
>because that's how inductive proofs work. Well, anyone who's seen a field of horses knows that "assume any set of n horses has the same color" is not valid. So if what you say is true, then that implies the entire fi
491.
▲
by
na85
5y ago
>There's a mentaly impaired guy on the death row for smuggling 47 grams of diamorphine in order to fund his dad's life saving medical procedure. Is that an indictment of Singapore's justice system, or of America's hea
492.
▲
by
na85
5y ago
But why would anyone assume that n horses, for arbitrary n, are the same color? That's absurd. Anyone who's ever seen a field with horses in it would trivially know that this is a faulty assumption to make. You might as well say
493.
▲
by
na85
5y ago
>We will show, by induction, that for any set of n horses, every horse in that set has the same color. >Now suppose for all sets of n horses, every horse in the set has the same color. "We will prove that $thing is true. Step 1:
494.
▲
by
na85
5y ago
Spend a bit more and get a quality charge controller, and a gel-chemistry battery.
495.
▲
by
na85
5y ago
Actually yes, sadly. Even HN won't let you delete your personal comments.
496.
▲
by
na85
5y ago
Hopefully Google suffers some consequences. My money is on nope, however.
497.
▲
by
na85
5y ago
I use emacs daily, and I really like it. A major part of the problem is that Emacs development is completely captured by the, shall we say, esoteric personality of its original author. Emacs is a political project first and foremost—this mu
498.
▲
by
na85
5y ago
>Why it's worth caring about this at all? So what if Chromium is the only engine, it would make things easier for developers after all. It sure would, but here just as in many areas of tech, developer convenience is diametrically op
499.
▲
by
na85
5y ago
>I remember one about curing warts by digging the living shit out of them with a swiss army knife. I've never read WEC but that actually works. It is very painful, of course, but I have personally done it with the only plantar wart
500.
▲
by
na85
5y ago
>And correct me if I'm wrong, but I also don't think that C++ has its own - sanctioned - community fora like Rust does. That seems to be the rub of it, yes. Rust has aspirations of being its own social network in addition to b
501.
▲
by
na85
5y ago
Hahaha, oh my gosh, the future is here and it's awful. I'm going to stick with my regular old legacy light switches and bulbs as long as I possibly can.
502.
▲
by
na85
5y ago
C++ and Fortran are in active development, but to the best of my knowledge have neither "mod teams" nor the heightened level of drama that Rust seems to attract.
503.
▲
by
na85
5y ago
Can someone explain why the development of a computer programming language needs "mod teams" and other stuff? I don't use Rust; does Rust aspire to also be a social network or something? It seems to me, from my outsider'
504.
▲
by
na85
5y ago
> It is the primary reason I supported brexit. That's an interesting take because I've always thought, as an outsider, that the British population seems strangely accepting of authoritarian governments.
505.
▲
by
na85
5y ago
I used to work in Search and Rescue, managing technical airworthiness risk on the aircraft. SAR really gets you out of bed in the morning, even if you fly a desk.
506.
▲
by
na85
5y ago
I'm afraid I don't have a repo, sorry. I was working via several different machines and so I kept all the code on my brother's server but he lost the disk encryption keys, kind of a long story.
507.
▲
by
na85
5y ago
I did Common Lisp last year. It was fun and often my solutions were extremely short in terms of LOC, because of how expressive Lisp is. I got frustrated half way through because most of my time was spent fighting parsing bugs, since AOC te
508.
▲
by
na85
5y ago
I mean if there's actually a real problem with your account, spending an hour on hold might not be wasted time.
509.
▲
by
na85
5y ago
The difference is that Twitter isn't obligated to provide you a platform to spout Trump conspiracy theories, or whatever, but in most Western countries with the Rule of Law you have a right to not be extrajudicially disappeared by secr
510.
▲
by
na85
5y ago
>They can censor whatever they like. Only because the laws are too permissive in this particular regard.
More ›