Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
skulk
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
21 ms
·
301.
▲
by
skulk
3y ago
> She believed in the virtue of poverty and also believed in me, so we didn’t worry about money. 1) Quit your job 2) Mooch off a friend/romantic interest 3) ??? 4) Profit! I wonder how the author feels about UBI. Or who should get
302.
▲
by
skulk
3y ago
What do you mean? We've given back a lot of carbon and the earth better start showing some gratitude.
303.
▲
by
skulk
3y ago
> Yes not giving credit to you is a dick move, but it isn't a requirement of the license. Actually, it IS a requirement of the MIT license: The above copyright notice and this permission notice shall be included in all copies or su
304.
▲
by
skulk
3y ago
> A store of value that doesn't require boring the planet, or building empty houses, seems like a great improvement to me. Boring holes isn't tenable but using 15 GW of power is acceptable?
305.
▲
by
skulk
3y ago
I'm struggling to understand how the vast archive of freely available lectures from university professors is "worthless." Are those videos and accompanying homework exercises part of the garbage that's floated to the top
306.
▲
by
skulk
3y ago
> It's absolutely infuriating to anyone who values anything It's not really your place to say what's infuriating to others when your pair programming experience with a _single_ (somewhat neurotic) programmer was irritating
307.
▲
by
skulk
3y ago
This makes sense if you see programmers as cogs in your code factory that produce exactly 1 coder day of code per day. If, however, you see them as humans with different skills that can be shared amongst each other, then pair programming ma
308.
▲
by
skulk
3y ago
Doesn't Apple take around 30% of all in app transactions? No one gets promoted for cutting out a revenue stream for morals, much less before enough loud voices are angry about it.
309.
▲
by
skulk
3y ago
How to pronounce it: https://www.youtube.com/watch?v=yknmoz9PZRU
310.
▲
by
skulk
3y ago
For me (Firefox on Android) the navigation does happen but the menu has to be manually closed.
311.
▲
by
skulk
3y ago
Let's establish the most remote colony without studying how the most powerful colonizing entity treated its possessions! Honestly, I can't really think of a more awful take.
312.
▲
by
skulk
3y ago
But how does this agent interact with the outside world? It's just a piece of silicon buzzing with electricity until it outputs a message that some OTHER system reads and interprets. Maybe that's a set of servos and robotic legs,
313.
▲
by
skulk
3y ago
The real question has a real simple answer: Ivy leagues and equivalents are how the ruling class grooms its next generation. We put them on a pedestal because being part of the ruling class comes with benefits.
314.
▲
by
skulk
3y ago
> What I want is to be able to specify and have (when possible) automatically proven arbitrary assertions anywhere in the code This doesn't even exist in TypeScript. If I change function foo(a: any) { return baz(a); } to
315.
▲
by
skulk
3y ago
Every non-dependent typing relation is also a dependently typed relation so I think things are already the way you want, unless you have a certain example in mind.
316.
▲
by
skulk
3y ago
The mastery of reliably passing down information is likely older than anything you've read. https://en.m.wikipedia.org/wiki/Vedas > The Vedas have been orally transmitted since the 2nd millennium BCE with the h
317.
▲
by
skulk
3y ago
Further in this direction, currently the lower house is being held hostage by a small group of extremists from the majority party who have no interest in governance. I don't actually share the opinion that this is a breakdown of democr
318.
▲
by
skulk
3y ago
The judicial branch seems like a good candidate for this job by virtue of being a system designed to test the relationship between facts and laws. I imagine the relevant laws would have to be specified via constitutional amendment.
319.
▲
by
skulk
3y ago
Instead of reaching for this horribly irritating snark (I'm sure GP understands market making enough to understand why HFT exists), why not be charitable and consider the opportunity cost of the smartest people spending their mental en
320.
▲
by
skulk
3y ago
Blood stains the hands of the society that fails to care for those whose labor has been supplanted, not those of the inventor.
321.
▲
by
skulk
3y ago
(Off-topic tidbit that I noticed) The interactive widget is actually just a video with a fancy seek bar! If you right-click you can enable the controls and play it like a normal video.
322.
▲
by
skulk
3y ago
> Personally I don’t see the point of segregation. It’s not like shunning men will make women’s lives any better. Your best bet to improve things is to make the one side understand the other. You do that by socializing them. Sorry, but t
323.
▲
by
skulk
3y ago
This is an old-school view of the internet. The reality now is that the Internet is a pressure valve for various groups of people expressing perceived grievances they feel are being inflicted upon them by a nameless entity. Of course people
324.
▲
by
skulk
3y ago
FB and Reddit are tightly bound by mainstream advertising money so they have to keep the racists quiet. I'm not sure how that's relevant here. If you're offended by my accusation because you're one of the 4chan users who
325.
▲
by
skulk
3y ago
> It's clearly intended to offend and get a reaction - that's the main goal. Whether it's done by actual racists is secondary. No, you're completely off the mark here. It's done because they feel these things dee
326.
▲
by
skulk
3y ago
I know it brings you comfort to think they're just doing it for the lolz but unfortunately the reality is that a good chunk of them actually believe those things.
327.
▲
by
skulk
3y ago
The McKinsey study linked here 404s. The folks at Workable would do well to keep their linchpin up-to-date. https://resources.workable.com/stories-and-insights/diversit...
328.
▲
by
skulk
3y ago
With dependent types you can encode any proposition in first-order logic (?). You can indeed define an array type that is necessarily sorted. It won't be pretty but it's possible. More info here: https://en.wikipedia.or
329.
▲
by
skulk
3y ago
All moral judgements around suffering are only applicable to humans and things that share a common-enough ancestor with humans. It's not really for you to decide whether a hunk of silicon is "suffering". You may as well draw
330.
▲
by
skulk
3y ago
I think people vastly overestimate the probability of abiogenesis and underestimate the power of various filters after that. We are naturally biased to see it as something that happens inevitably, but I think it's not a crazy idea that
More ›