skysight-inc/HackerNews huggingface dataset:
I think it’s worth asking what even is the monarchy? You’ll find your answer right there.

They’re landlords. Extracting ground rent from some of the most valuable land on the planet for generations, which has made that family a supranational entity even as nation states rise around it.

It always comes back to land. It has since the advent of agriculture: he who owns the land owns everything.
> costly R&D

huh? you realize that Tesla spends less than $300M a quarter in R&D when companies they now dwarf like Ford and GM consistently spend more than $1B each?

in fact Tesla’s R&D spend has noticeably shrunk since last year, which is another head scratcher considering how many projects they claim to be working on, including a “full rewrite of FSD”
Humans can be very precise when they need to be (ever try repairing any modern electronics ?) but yes they do that closed loop using both visual and tactile feedback.
This (and the content of the article) has been one of the (dull) recurring themes in my career, I feel. Finding and adding timeouts and trying to prevent databases from chasing their own tail.

A co-worker of mine actually added support for timeouts to a database we were using. (It is a smaller, less-well known DB.) I added it to the Python side.

Good cancellation support in the language is really critical here, I found. In Python, it was a breeze to add timeouts and get rid of long running requests, if, say, the network connection dropped: you cancel the future, and that cancellation propagates to all the sub-futures. It is even hookable so that one can — if the network protocol supports it — propagate that across the wire to other services.

The DB in our case was written in Go, however, so that was tougher. Golang's best method (that we learned of at the time) is to thread a "Context" object through your code paths. We were working with existing code, of course, and it lacked this, and it's harder to add in hindsight.

Of course, once we got the server to stop hanging on queries of doom and return a more appropriate "that's a query of doom, and would hang the server" error, the complaint was that the server wasn't executing those queries anymore…
Subway Tooter is on the Play Store. Dunno if it was reinstated or what.
While some say here that they are disappointed that this isnt abour radioactivity, for me it was the opposite. Wheb reading the headline I thought, oh no not another one of those, wondering though how you can get malloc in.

Read it, and I think this is actually a great new idea.
> Javascript’s XMLHttpRequest is THE web API to retrieve data from a server
asynchronously.

Uh what? Has he never heard of Fetch:

https://developer.mozilla.org/Web/API/Fetch_API

its been around for at least 5 years, and it returns a Promise.
Vitamin C levels in patients with SARS-CoV-2-associated ARDS
The trolley problem is silly. Was the car putting itself into an ultimatum? That’s the fault of the car. The car can be programmed to not exceed a certain speed calculated from its stopping distance. The tradeoffs would be that it would drive more conservative but that’s really the whole point of automating cars. If the car gets itself into a trolley problem something is wrong with the car and that’s pretty clear
This is one of those problems that the US can't solve because they keep electing people who don't want to solve it.

In other places they just mandate this stuff.
I do not understand your example. It would not be the user triggering the RCE but rather a 3rd party. In addition I do not see how it fails to address their concern.
That’s a very suburban opinion. There are many hours of the day for me where taking the train is competitive with driving on time and is significantly less expensive financially, even accounting for the fact that I own a car. The things like “being able to read” are ancillary benefits.
Well, it is not natural. In almost any literal situation you're not surrounded by black, but various shades of dark. As a concept it's foreign and thus, not natural.
[solved] Ask HN: Is HN silently deleting/blocking too long comments?
Wrt. the recent article about DST I posted a comment with two links to useful (but sadly German) youtube videos as well as something between a subscript/summery of this videos.

Only to notice that this comment never appears at all, it organically was there for a moment and then it was permanent gone and any try to post is just silently does nothing...

Well the comment was pretty long, so I guess HN might silently remove to long comments to prevent spam or similar?

EDIT:
The solution was I'm stupid and there is a easy to overlook More button at the bottom of the page. Supper embarrassing. Thanks for the answers.
I was close to buying this—the price is right, at least with the preorder discount in place; I think $400 is the upper limit—but it's missing a web browser! I need a good web browser, not this read-later stuff.

I want to be able to load up the homepage of TheVerge.com and browse as I would on any other device, except with text that's as easy to read as if it were on paper. I'd have to use paged scrolling, and images would be black-and-white, but that would be okay—they'd be crisp and clear.

This tablet is close to what I want, but it doesn't look like the software is there. (Or maybe it's hardware too—is one gigabyte of ram enough for a web browser these days if you don't use multiple tabs?)
Ask HN: What's the most memorable un-updated app in your app purchases?
Currently in a bout of sleeplessness and I started going through my iOS app purchase history and noticed some gems that I no longer use due to lack of updates. My most memorable is Things 2, and because I use an iPhone SE, it doesn't look outdated at all. While glorifying the past, I thought it would be interesting to hear what other community members used to cherish but had to move on from!
I thought I would have accomplished a lot more today and also before I was 35
My idea for making pay websites work is that you always serve all articles, but those who pay get a much better rendering of the text.

If the Economist lets me read all their articles, but it pink on gray comic sans text, I get a chance to become hooked on their great articles, and a reason to upgrade.
I've heard the same, but I'm not able to find this clause in the Guidelines: https://developer.apple.com/app-store/review/guidelines/#in-...
Windows distressingly has two completely different mechanisms and APIs for setting brightness: one that operates over DDC/CI, and another that does something else (I’ll call it Method B, not knowing a better name). External monitors use DDC/CI, internal monitors (mostly meaning laptop screens) use Method B. I have failed in any attempts to hook brightness keys in user space (like how on Linux you’d just intercept XF86BrightnessUp and XF86BrightnessDown); something steals those keys before they ever get to user space, and use Method B. And there is no user interface anywhere for DDC/CI adjustment: it’s only an API that you can call.

So the end result is that Windows users can’t adjust the brightness of their non-laptop monitors without third-party software, or reaching around the side of the screen and fiddling with the infuriating controls of the frustrating OSD interface. So almost no one ever adjusts their screen’s brightness at all, and almost no one of the remainder adjust their screen’s brightness to match conditions. And manufacturers have (understandably) decided that too dim is worse than too bright. So most people’s screens are genuinely painfully bright. So then people say “don’t use actual white” and “don’t use actual black”. And those that have calibrated displays end up sad.
Yoga was the one that resonated with me. The best piece of advice I ever got (though not explicitly criticised here, but along the same vein) was to take deep breaths to control my emotions. Most of the time my mental health problems were not physical, but stemmed from my own emotions, so these exercises were very effective. Unsolicited mental health advice drove a lot of my mental and emotional development as a child. Maybe I'm an anomaly, but I suspect others shared my experience.
Show HN: Build products that your users want. Register for a free trial
IMO: This deserves a title modification.

Children with no COVID-19 symptoms may shed viral RNA for weeks.
My understanding with weed is that it reduces the amount of REM sleep you get. You may come up ahead over all with this tradeoff, but not ahead of someone who sleeps "normally".
It's irresponsible to not mention that a series of results from the 1930s through the 1950s proved that generalized automated proof search is impossible, in the sense that we cannot just ask a computer to find a proof or refutation of Goldbach's Conjecture or other "Goldbach-type" statement and have it do any better than a person. In that sense, no, computers will never fully automate mathematical reasoning, because mathematical reasoning cannot be fully automated.

What we can automate, and have successfully automated many times over, is proof checking. In that sense, yes, computers have already fully automated mathematical reasoning, because checking proofs is fully formalized and mechanized.

I think that what people really ought to be asking for is the ease with which we find new results and communicate them to others. In that sense, computer-aided proofs can be hard to read and so there is much work to be done in making them easier to communicate to humans. Similarly, there is interesting work being done on how to make computer-generated proofs which use extremely-high-level axiom schemata to generate human-like handwaving abstractions.

I'm still not sure how I feel about the ATP/ITP terminology used here. ATPs are either of the weak sort that crunch through SAT, graphs, and other complete-but-hard problems, or the strong sort which are impossible. Meanwhile, folks have drifted from "interactive" to "assistant", and talk of "proof assistants" as tools which, like a human, can write down and look at sections of a proof in isolation, but cannot summon complete arbitrary proofs from its own mind.

Edit: One edit will be quicker than two replies and I tend to be "posting too fast". The main point is captured well by [0], but they immediately link to [1], the central result, which links to [2], an important corollary. At this point, I'm just going to quote WP:

> The first [Gödel] incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system.

> The second [Gödel] incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.

> Informally, [Tarski's Undefinability] theorem states that arithmetical truth cannot be defined in arithmetic.

I recognize that these statements may seem surprising, but they are provable and you should convince yourself of them. I recently reviewed [3] and found it to be a very precise and complete introduction to all of the relevant ideas; there's also GEB if you want something more fun.

[0] https://en.wikipedia.org/wiki/Automated_theorem_proving#Deci...

[1] https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...

[2] https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theo...

[3] https://www.logicmatters.net/resources/pdfs/godelbook/GodelB...
Really interesting article! I work exclusively in the realm of GUIs, but I like reading articles about the interactions that users have with CLIs as I feel that lots of UX people operate in the realm of GUIs and forget that CLIs are also a vector for user interaction.
There's no need to care about their opinions, but what's being talked about here is not opinion. They're basic principles of color theory that have remain unchanged for centuries if not millennia. They became principles because they work. What do you think is more likely to be incorrect -- the millennia old principles, or your unsubstantiated, untrained opinion?

I agree with your chagrin for vanishing scrollbars and hamburger menus, by the way. There ought to be a good term for designers who do the opposite of what good design does (which is make things which are usable).
There have been plenty of credible scientists rising alarms over the years, none more tragic and important than James McDonald:

https://en.wikipedia.org/wiki/James_E._McDonald
The books I own don't use actually white paper, with the notable exceptions of graphic novels and expensive textbooks. Most are a greyish beige. Inks aren't always a full-on black, either -- most are a very dark gray, some with a touch of brown.

Most books aren't "graphic design" -- they're humdrum utilitarian walls of text. Books like graphic novels, textbooks and coffee table books with color graphics are printed on white paper because they can optimize for color fidelity between design and production.
I can see that the Indian rightwing troll army has arrived to downvote
I meant horizontal space, sorry.
But they look awkward: https://www.youtube.com/watch?v=2HbAEPdrvAI
That is definitely the case at least for me -- I scored low in general, but relatively high on moral disengagement, which I think that question is about.

It just blows my mind because I, like the person you're responding to, couldn't even imagine there being a different way to view it until I started thinking about why they put that question in there! ("It must be because with a different personality, the answer is not an obvious agreement." I just hadn't imagined someone might view the world like that. Love this type of thing.)
OP's comment sounds to me like they want to throw a compressor with a low threshold and high gain on top of their master and gave everything either clipping or gated. Screw transients, am I right?
XHR does have a timeout right? It’s just arbitrarily defined by the browser.
They really need this and a page explaining why certain frameworks are removed over time.
>That is absolutely not the case, and we are absurdly far from anything like it. We haven't even been able to decode very much useful information from the "brain" of a nematode yet

Huh? What?! Have you actually watched the update?

They decode the position and movement of the limbs of a pig as it is walking, in real-time, with uncanny accuracy.
They’d just be underwater. But if the property is cash flow positive, over time they’d recover.
All corporate accounting has some amount of bending the rules. Conferences and team meetings at high end resorts which are not counted as compensation for example. The rules exist because of people like the Enron bean counters who spent their time and energy scamming the system rather than actually building something.

It is fine if you don't like Elon or how he runs his company, but it is absurd to suggest that this is a shell company and not an actual effort to improve recycling technology.
Lets see an open social graph, Mark
Funding such a fraud could make sense for holders of large amounts of Tesla stock.

Spend $100 million to prop up billions.

Note that I'm commenting in the abstract, not commenting in support of fraud as an explanation. I have no information or opinion about this battery recycling company.
I understood the comment about lack of compilers to be about compilers from Wasm to machine code.
I couldn't parse this paragraph:

>To JB Straubel, one of the brains behind Tesla Inc., TSLA -1.13%▲ that refuse holds the key to driving the electric car revolution forward—and making the vehicles affordable enough for everyone to own one.

Could someone help?

>Mr. Straubel said in his first in-depth interview about his new venture since it was formed in 2017 while still at Tesla.

Was that with Tesla's blessing?
My partner and I have been together for 13 years and are very happy together. The conjecture that we are unstable, unhappy and trying to "fix" our relationship is completely unfounded.
> Google’s new offerings will test whether a lucrative but increasingly distrusted industry can boost its business by offering ethical pointers

Isn’t google a big part of why there is so much distrust to begin with? Seems like asking your oxy dealer for detox advice.
Brian from TechEmpower here. I don't want to take away from these results, but I do want to provide an important piece of context. This link is to a rendering of data from a continuous run [1] that hasn't received the type of sanity checking we do for an official TFB round. You can tell from the title ("Test") and the UUID of the run visible in the gray box under the navigation. Based on this link's attention, we'll make a more prominent warning for renderings of continuous runs so that they are more obvious to readers not familiar with the project.

We execute runs like this continuously to allow maintainers of test implementations to observe the results of their contributions. Given the performance seen here, it is very likely that Lithium will be well ranked in the next official round. But we feel the ranking seen in a continuous run such as this should be taken with a grain of salt until that next official round is available.

[1] https://tfb-status.techempower.com/results/57b25c85-082a-401...
MacOS is open and doesn't have those issues.
What about Facebook's stranglehold on social networking? Or as we old folks used to call it... society.
Wasn’t he trying to do the exact same thing in India?
One analogy this makes me think of with respect to mixing and mastering within music production is the idea of headroom. You usually want to leave your levels low enough that the unmastered mix never goes above -6 to -3 DB, and in order to do that, you'll usually end up mixing a lot of your tracks significantly lower and a couple of tracks close to the ceiling. Putting something straight at 0DB is a no-no because you obliterate the headroom.
Wonder how much of this is payback for things like the cancerous Facebook Onavo app being banned by Apple, or any of the other measures Apple took against Facebook's practices, especially the ones coming with iOS 14 (like ad tracking restrictions). I doubt a man with Zuckerberg's ethics gives a dead rat's ass about Apple's practices being "harmful to customers".
I use adb for online applications (my home control system; it archives sensor readings, keeps configuration data) and also research projects such as loading the MeSH biomedical ontology, following blood vessels from heart to hand, etc.

Arangodb = Mongodb - hype + results

Don't let your bad experiences with overhyped database scare you away from arangodb. It is real German engineering not US startup culture that starts with 'the problem I am trying to solve is Larry Ellison is worth more than me... People's lives are empty if they don't have an expensive service contract..."
26466 issues? I would have burned-out long time ago...
In that case I guess the best option is more lockdowns, or even better reduce the population through any means necessary. /sarcasm
He covers fetch() in the section after that, and rightly complains that unlike XHR it doesn't support timeouts at all.
We plan to collect additional metadata from maintainers, including home page URL, source URL, description, and so on. Once that happens, we'll be able to provide the kinds of helpful links you want.
Interview with Stripe's Patrick Collison
First, I'm pretty sure you're confusing defamation with disparagement. Defamation requires the claim to be untruthful. Disparaging remarks can definitely be true - they just require the remarks to paint you in a negative light. All defamation is disparaging. Not all disparagement is defamation.

Secondly, it seems like you're picking sides rather than objectively evaluating the merits of the argument. Sure, Facebook saying Apple gets 30% of the cut is technically a true fact. The truth is ultimately more than a collection of facts that are true. You can manipulate perception by how you present the set of facts, which you emphasize & which you omit. It's totally conceivable to imagine there Apple may feel the true fact Facebook is emphasizing isn't a fair representation of the truth. Even if it were, Apple would surely feel they don't want individual apps putting up advertising that disparages the very platform they are being served by. If they allowed it for Facebook it would open up the flood gates for publicity stunts/coordinated attacks from smaller companies which would force shifts in policy they view as important for the long-term health of the ecosystem (& their revenue & margins too probably).

Finally, Google has the same policies & the notice appears to be missing from the Android app too [1]. This is trying to hold Apple to task over a purity standard that no one follows. This all feels like a media and legal blitz by very large companies trying to leverage dissatisfaction with the tech companies in Congress to wrest significant concessions from Apple. I'm genuinely curious about the media blitz focusing on Apple when Android has all the same policies. Is Apple viewed as the first important domino to then take on Google with? Does Apple just hold the lion's share of profitable users? Is Apple just making stories "pop" more with readers?

Disclaimer: I work at Facebook & have worked at Google & Apple in the past. I don't have a dog in this fight & all opinions are my own.

[1] https://www.reuters.com/article/us-facebook-apple-exclusive/...

> The social media giant also planned to tell users on Alphabet Inc’s Google Play store it would not collect a fee for ticket sales, but that message was not displayed either, Reuters found.
I mean it’s hardly a secret if it’s on the cover of WSJ.

The question is who funded this company and what transactions have they made with Tesla?

but obviously no one will tell you those two things.
Absolutely awesome. Will save me so much time!! Thanks.
I don't have kids so I'll have to take your word for it, but I would assume doing the daily routine and getting kids ready for school, when it starts at 8am, probably doesn't give you much choice.

So 7am would feel pretty normal.
Beyond Black Hole: A Shower Thought
Not sure about comments, but shadow ban this is what HN does not disdain.
> a series of results from the 1930s through the 1950s proved that generalized automated proof search is impossible

Have you got some links? Sounds very interesting.
One could argue if it works on WSL then it works on Windows for development use cases to deploy on Linux.
> project Mercury took 3 years to send someone to space.

On Nazi rockets. It wasn't from scratch.
> GEVs are awkward to maneuver and very slow to turn, so if a pilot does happen to see a rogue 30 meter wave up ahead he has very little he can do to avoid it. Everyone just dies.

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.

What I could imagine, as a narrow niche, is a short range regional plane designed to be good at utilizing ground effect on routes that are too short for the "ascend into thinner air" trick to work out and that happen to go over water. Not being seaplanes those wouldn't require sufficiently calm seas for aquatic start and landing. I think that this might be able to occupy an attractive sweet spot between the fuel economy of surface boats and the speed of aircraft in intra-archipelago traffic. Flying slow in ground effect could even be the missing link for creating a niche where electric flying is economically viable. Perhaps a "plug in hybrid" that goes purely electric on short hoops, stays purely electric on longer connections if the sea is sufficiently calm and that can spin up the RX if it is forced to fly the whole distance out of ground effect.

I think that the main economic issue with this concept is that fuel isn't that much of a cost factor in short distance flying, but I might be completely wrong with this.