skysight-inc/HackerNews huggingface dataset:
> I dont think that is the point, Apple has 100% market share on its devices and its using its dominant position in that market to make that market anticompetitive (as per Epic)

No, it's exactly the point and was the catalyst for my comment. Apple sells a product. If you don't like it, buy something else. The only time that doesn't hold up is when there are not any practical alternatives (a la Windows) and thus the product (perhaps) satisfies the conditions for a monopoly.

> Apple also has secret deals with other big companies where they can negotiate the commission Apple gets, apparently they did not give such treatment to Epic and other devs

And? They're completely free to do this.
Memory Game in JavaScript
Next up: "Media accuracy and journalism standards" by Facebook
It has been shown numerous times that there are limits to automated proof generation.

One such result was that certain problems are undecidable, which means that any automated approach would be prone to become "stuck" and never terminate.

Another results showed that the complexity of general automated proof generation is exponential in nature.

Both these results mean, that it's impossible to tell whether a computation just takes a very long time (say years) or whether the problem is indeed undecidable (in which case the program would never halt.)

A human on the hand, is very well capable of solving the Halting Problem and can discern whether a problem is undecidable [1].

This is of course a corner case, but it goes to show that there are indeed limits to automated theorem proving.

A human would therefore - in principle - always need to proof that a problem is decidable in the first place before passing it to an ATP.

[1] https://en.wikipedia.org/wiki/List_of_undecidable_problems
Hi Brian, can't wait for round 20 then :D.
What a punch line! I couldn't stop laughing when I got to "I literally just turned forty-two while I was thinking this"
It felt like I read a mini version of Brave New World.
Date Formatting Errors in OAS Analysis of Bolivia’s 2019 Elections
I strongly second this "No!" for both of the JS examples he makes.

There was no way to set a timeout in Fetch because the browser, acting as the user's agent, has a sane default (~75 seconds on average, but it varies by browser and platform).

Developers often pick TERRIBLE values for timeouts when left to their own devices.

Hell, the author of this exact blog post has picked 10 seconds in all of his examples. That a FUCKING BAD timeout. It's far, FAR too short for many use cases.
Succinctly put! I can't count the number of times I've considered starting a project or something and thought "Nah, those guys did it better, I'll never be that good, what's the point..."

Or: why we spend too much time focused on goals and accomplishments instead of effort, perseverance, and the joy of the journey.
Install the New Windows PowerToys
three waffles? no way
So many comments to this saying it's possible to be broke as a software developer. No one is arguing that. There are tons of people in every career path that don't make much due to a variety of reasons.

But pretending software development isn't a well paying career path, in general, is a statistically incorrect statement
For the tiny fraction of people who need to change battery, just do the labor. Everyone else can enjoy a better phone until the OS is obsolete and the device is physically degraded.
Electronic Screen Syndrome (ESS) Is It Real?
I don’t think this is virtue signaling at all. Virtue signaling implies, to me at least, a person that is trying to make himself/herself look better to others. In almost all cases that I see in Los Angeles and other large US cities, people just recycle because it’s in front of them (eg. city provides a recycling bin to all houses), and have no other specific intentions.

I do agree though that recycling does help feed the *vicious cycle of consumption by hiding or misrepresenting the negative externalities.

(Edited to fix virtuous typo. Meant vicious)
Yeah I thought the standard for rogue actor was essentially those who commit the sin of losing when they take a gamble with their discretition as opposed to winners if treason doeth prospor none dare call it treason style essentially.
That's an interesting perspective. I have never found him arrogant. May be I have not watched the video clips or read tweets that you were exposed to. He does have a counter intuitive take on things, but don't think that come off as arrogance (to me). I have always appreciated the clarity of thinking he has on issues. The way he answers 5 "why"'s questions related to wealth and happiness amazes me. Have learnt so much from Naval's videos and tweets over the years.
A lot of people would give absolutely anything to be 35 again.
Are they required to recycle those batteries, or merely "accept" them?
Honestly, while the essay sounds ironic and funny, if it is not all made up, it is far from healthy.
It was rewrite "from scratch" (not refactoring), but with the previous team available to answer any question (either about the legacy code or the domain, which they knew well), which was an essential part of the success (I guess a lot of rewrite fail because they are done by new people that didn't take care to learn enough from the old system and the domain to thoroughly understand what must be done).

The legacy code was too bad to make refactoring worth it, but surely not every legacy system is in that bad of a shape.
It might help to think of a specific curve. An example would be a simple parabola: f(x) = x^2. At the bottom of the curve (x = 0), the slope (aka tangent, aka derivative) is 0, or a horizontal line.
It reminds me a bit of (some) people who think they need a truck. We were going to buy a truck for our (very small) farm, but when we really sat down and thought about the amount of times we'd use it, the number turned out to be 0-3 times a year. In this situation it makes sense to rent, and most of the time, our tiny subcompact does 100% of what we need a car to do. For those few times I may really need a truck, I can probably rent one, or find some other accommodation.

Range anxiety is the same -- most of the time, people drive between home and work. For most people, this fits in the range for an electric. If you really want to drive across the country, you can just rent a car, and this will be much cheaper than owning an ICE for how often you'll actually need to do it. If you're lucky enough to have the space and money, and need two cars in the first place, then it makes sense for one to be electric: the one driven most often, and then the ICE vehicle for when electric is not appropriate.
If you are implying that coverage of Russian election interference is promoting conspiracy theories, then you would need to contend with the actual facts of the Russian efforts to influence US electoral politics to make that case.

Even if you held that coverage of Russia's role in the 2016 election was promotion of a conspiracy theory it would still be an obvious false equivalence to compare that to the promotion of groups like Bugaloo (that has killed multiple federal officers) or QAnon (which has resulted in multiple kidnappings, many other crimes, and promotes the worst antisemetic conspiracies invented, and more far more absurd things).
THe past few years I have had books shipped more securely by 3rd party sellers than direct from Amazon.
And some of us would rather gnaw our left arm off than be 35 again.
Vicious cycle of consumption.
As far as the ethics of AI goes, would "don't be evil" slogan be better than "do the right thing"?

I'm sure people may interpret things differently but doing the right thing would mean Google making AI that has a positive net impact on society, while "don't be evil" could simply mean good for Google but neutral to everyone else.
If you end up seeing this, which headset is this?
Thanks, that was quite eye opening. I myself have received and continue to receive many such on WA.
> The politics referred to are because the annex is basically a bunch of Microsoft extensions pasted in the standard.

So... M$FT bad, therefore anything they do is bad? That makes no sense.
Thankfully it's buried at the end of the article:

> Beyond 4D, you could continue using NxN rotation matrices, but since GPUs don’t support that, I’d use rotors from Geometric Algebra to simplify implementation, which is how you generalize quaternions to higher dimensions.

All hail Clifford! https://arxiv.org/abs/1401.2371 for elegant and computationally efficient methods
Nintendo, Sony, and Microsoft are creating a game ecosystem by selling hardware at a loss or near loss, footing R&D, supporting devkits, and running promotions mutually beneficial for developers. The value of creating and enabling an entire ecosystem is found to be worth 30%.

An iPhone is sold for a substantial profit regardless of gaming entirely, and offers none of those services or promotional benefits to developers/publishers.
People underestimate how incredibly hard it is to pull yourself out of habits born from socioeconomic factors. Video games give you an alternate reality, likely much better than your own.
I feel like I read a roughly equal amount of words now, but i jump between a million things and rarely finish a book, the great American novel never flowed out of me either and i still haven’t become fluent in French meh
Required how?
Non-replaceable batteries is one of Apple’s saddest legacies. They invented this design for the iPod, and carried it over to the iPhone. Eventually it was copied across the industry.

Before June 2007 every mobile phone had an easily replaceable battery, except some extremely niche “design phones” like the Nokia 7280 [1].

[1] https://en.wikipedia.org/wiki/Nokia_7280
It's possible to reject the notion that one has to justify one's existence in a capitalist society by getting The Right Degree and spending Forty Hours A Week Making Money For Someone Else.

In this case it seems like the author has only halfway rejected that notion. If you're gonna do it, you gotta do it all the way lol.
Their managed offering is also quite pricey.
And Uber is endlessly subsidized by loss-making VCs. Uber has been losing billions of dollars every year.
I'd have thought algaculture might have made the list, but maybe it's not great for fuel production?
Is that why it didn't vary when I selected cloud vs physical?
What’s wrong with a bigger standard library? If you dynamically link, it makes no difference, and if you statically link, any decent linker won’t bring in what you don’t use (so it also makes no difference).

Also, why can’t C have safe stuff? Because it’s always been possible to shoot yourself in the foot, we shouldn’t try to change that?
> There are plenty of examples of things that are horrible to experience and outside of the person's control and for them this kind of advice is absurd

Let's say e.g. someone's father gets dementia, and they've got to take care of them. They talk about how painful it is, and you feel like you've been thrown off of a cliff. Seeing that they're in a lot of pain, I try to help by saying "Look, you just need to focus on the things that you can control. Using metaphors like that is disempowering."

We both agree that this would be a terrible way to help. Watching someone you love die of dementia is a horrible experience. If someone is expressing dismay at the prospect of watching a loved one uncontrollably disintegrate, the only good responses are in the vein of "wow, that sounds incredibly painful. Let me know if there's anything I can do to help."

Nevertheless! The person whose father is dying has a choice about where they put their attention. Do they spend time thinking about how unfair it is for him to work his whole life and lose his mind the moment he's poised to retire? How unfair it is that they have to take care of this person, who never took care of them when they were younger? Or instead, do they focus on the things that they can influence?

I'm not saying it's easy to do - personally I find it incredibly difficult. But making the effort to calmly accept things as they are without labeling things as catastrophes has been and continues to be incredibly freeing.
thinner maybe, better is subjective.
Benchmarking Benford's Law in Go, Crystal, Python and JavaScript
No. All kinds of batteries explode in recycling centers, not just faulty ones.
>Wouldn't most GEV be able to temporarily "jump" out of ground effect for emergencies like that, or at least wouldn't require much change to gain that capability? But that ability wouldn't really make a difference, not without solving all the other issues as well.

Consider these vehicles can travel up to 500 km/h and operate very near to the ground, meaning

1) Vision-obscuring weather like fog or rain

2) A plethora of objects to smack into

3) Very low time to react due to high speed

This is why we generally avoid flying planes this low, unless forced to by circumstances. An example of such circumstances is found in military aviation, in which military aircraft fly very low to the earth to avoid detection (a strategy rendered somewhat less effective modernly due to the invention of light-weight Pulse-Doppler radar). In this case the danger from crashing the plane is judged less than the danger from enemy missiles.

GEVs take this already challenging and dangerous task, which the military only does because they are being shot at, and then make everything that much more difficult by having the vehicle control like a cow.
In Germany, they are working on "containers of electrons":

https://www.inside-digital.de/news/hyundai-adac-mobile-charg...
> It made me question what society accepts as a valid way to spend spare time

Well, to be brutally honest with you, it's one thing for you to be proud of yourself for playing video games, but why would anyone else see that as something pride-worthy?

Typically, one takes justifiable pride for accomplishments that stand up to external scrutiny. That usually comes in the form of the accomplishment having an element of sacrifice, of pain and difficulty, of opportunity costs paid, and of a result that stands on its own as something not everyone can do. I am proud of some of my adventures; proud of some of my work; proud of some of the artistic things I have created. None of them are extremely amazing in the grand scheme of things, and I don't let any of it get to my head, but they do give me stories to tell at the bar that aren't dismissed with a wave of the hand as being frittered-away time.

Video games, on the other hand, are not exactly grand sacrificial effort. I can't imagine telling someone I was proud of myself for spending a few hours killing orcs on a screen while eating processed snack food alone in my underwear.

> as well as the purpose of how we spend our spare time.

It's only "spare" if you've really satisfied yourself in your best judgement of what you could otherwise be doing.

I like to put Slack and Laziness on a continuum. Laziness is putting things off, avoiding important tasks, pawning them off on others, rationalizing why you shouldn't bother, finding easier ways out even if the end result isn't as good, cutting corners. From the article:

> I was supposed to renew my car registration today. I haven’t opened the Web site.

That's classic laziness. Sure, the consequences can be dealt with later, a day or two without driving won't be the end of the world, but it also took about as much effort to write this self-effacing article as it would have to just renew the insurance and move on.

Slack, on the opposite side of the spectrum (and before the word was co-opted by a program that ironically takes up all possible Slack), is free time that you carve out of the world with your actions. Slack is arranging things so that you have time to relax, time to "surf down the luck plane" that you have created for yourself, so that you can allow things to proceed knowing that at the end of the slope, you're not actually in a worse off position than when you started. Slack is paid vacation time, where laziness is unemployment. Slack is a glass of wine at the end of the day, laziness is beer for breakfast. Slack is sitting in the hot tub after you work out, laziness is sitting in the bathtub after you eat a microwaved dinner. Slack is posting on HN on a cloudy Saturday morning while the kids (with breakfast in their tummies) watch a bit of TV, laziness is posting on HN when you're supposed to be writing a program at 3:00 on a Thursday afternoon.

Video games are something you can do in your slack time, or they're something you can do because you're lazy. That's the difference between a healthy hobby and a damaging addiction.
Key bit seems to be:

"..batteries are exhibiting high levels of sustained health. If the observed degradation rates are maintained, the vast majority of batteries will outlast the usable life of the vehicle."
Pablo Picasso, Early Works
> I think the most dangerous distractions are the ones that feel productive but don’t actually work toward your goals. For example, browsing hacker news.

This is why I question curiosity as the prescribed value from HN leadership. In its place one could've easily said learning or mastery.
> Many investors don't have such a need; especially in the commercial space.

According to [1], as of 2015, 77% of commercial real estate is owned by private equity and REITs. Those types of investments primarily generate returns via dividends that come from rent. So it seems like most investors can't let them sit empty?

[1] - https://www.thebalance.com/what-is-commercial-real-estate-33....
There's also a thing called "the halting problem" which is related to this. Because without the halting problem you could solve any mathematical proof by simply turning it into a computer program that brute forces the problem domain and calculating whether the the program will terminate or not. Of course, this is impossible.
From a cursory inspection, the asp.net implementation seemingly runs on Mono [0] in order to run on linux at all. That might definitely be a performance "gotcha".

[0] https://github.com/TechEmpower/FrameworkBenchmarks/tree/mast...
> Could you provide a concrete example?

I wish I could, it's been years since I've actually written or even read any ClojureScript. But I can offer something more general. Many core functions expecting a collection type would blow up deep in the call stack, usually in helper functions not exposed or documented in the core API, when passed a value which provides no iteration. I would encounter these scenarios frequently when recursing over a nested structure (e.g. oops I passed a keyword or a function to `map`), or when I simply got argument order wrong.

Like I said, this eventually drove me to static typing, and I wouldn't ever consider a language without it again. Most dynamic languages have too large a core interface to commit it to memory, and even "small" languages reproduce that in the libraries we build.
They won't. You don't know the kind of nationalism that exists in India. Just check out twitter.com/explore every night via an Indian IP. It's full of hate speech against Hindus and muslims. Some random guy/girl tweets some shit against a religion. All the media/bots/politicians jump on it and blame it on each other. Everybody is outraged by tiny things, they don't know to ignore things.

Indian media thrives on these things. Half the nation is jobless/students . Most accounts are paid bots.

The only good thing is that the situation are getting better, as the older gen goes away slowly.
That isn't due to a missing timeout, that is due to not properly communicating aborted requests down the stack which, admittedly, isn't always easy and some clients/languages/etc. are very bad at. A hardcoded timeout, while a fine workaround in some applications, is not a good default and not the proper fix for that.

Default timeouts in the database layers are hidden time bombs that turn operations that just legitimately take a bit longer than some value the library author set that you didn't even know existed into failures that get retried over and over causing even more load than just doing the thing once. Don't get me wrong there are lots of uses for setting strict timeouts and being able to do so is very important, but as a default no thanks.
Call a friend at the newspaper. Be "interesting".
I wouldn't beat yourself up over it. There's probably room to develop an exploit valuation model that better helps to translate (time spent on research) + (X% of business/customer impact), where X is a pretty low figure, otherwise companies would never stay in business.

Don't undervalue the intangible permanence of doing the right thing, character outlasts cash come the grave.
You’re asking why you should care about opinions that are different than your opinions?
> the busier they get, the more active they are at other tasks.

Wow does that ever ring true for me right now...

Over the last couple of months I've had some major work items at about 80% complete but just couldn't find the motivation to push them over the line. I'd have free time but I'd always waste it.

A couple weeks ago, an exec came to me and a couple of colleagues and asked us for a major assignment to be complete in two weeks. At first I balked but after thinking it through I saw an obvious path and bore down.

The work was fast and furious and with the deadline looming I put in late nights and used all my free time to get the work done.

It was incredibly satisfying!

But a weird thing happened: I suddenly got motivated to finish those other assignments and knocked off a number of them in short order.

Somehow I've gotten back into the mental headspace of just knocking tasks off my to-do list and I find the momentum keeps me going. I always knew that about myself--my productivity has always been very spikey--but this experience was truly eye opening.
It is true that Godel's incompleteness theorem states that there is no complete axiomatization of arithmetic; no first order axioms can characterize the natural numbers up to isomorphism. But Godel's completeness theorem ( https://en.wikipedia.org/wiki/Gödel%27s_completeness_theorem) states that first order logic is in fact complete as a deductive system, and most automated theorem provers have the property that if a proof exists, given enough time they will eventually find it. In higher order logic the situation is reverse: the proof theory is incomplete, but you can eg characterize the natural numbers up to isomorphism. Anyway, I believe that many of your critiques apply to formal logic itself, not so much the attempts to automate formal logic.
I do not leave my current employer specifically because of health insurance. No other employer in the area provides comparable coverage. It would take about a $30,000.00 per year premium to get me to even consider leaving. Healthcare is my number one consideration on all employment decisions.
This is why it's important for STEM and tech people to have some understanding of liberal arts. "Understanding" means having perspective, it's easy to get caught up in our world, thought patterns, echo chambers, and biases. I think that's why curiosity is such an important trait, it promotes understanding, not the accumulation of facts. Next time you're at a book store, pick something up on a topic that sounds interesting that's outside of your traditional scope.
I read this somewhere, I tried to find the source, and I'm sad I can't properly attribute it:

When you are young, you trade time for money.

When you are middle aged, you trade money for convenience.

When you are old, you trade money for time.
They don't take it seriously. Just the fact that everybody is online doesn't mean they know how to navigate the internet. Many are there for porn, or shitty memes
huh? why not
Yup.

Actually for me it’s mainly the fear of doing something trite, that’s already been done a million times. I always think “oh what’s the point, this has been done before”.

But I’m starting to think that everybody hits that stage. People great at what they do hit it, keep pushing out of either strong will or just curiosity, and end up making it (or a facet of it) their own.