skysight-inc/HackerNews huggingface dataset:
https://gist.github.com/Etheryte/014fc39d251ee9b23914fceeb08...
This is such an amazing piece. I second this and am very surprised to see it pop up on HN. Way cool! :)
The cessna take off speed is 100Km/h, does that mean that refueling truck had to go around that same speed, or maybe a little slower since the airplane did not have to rise?

Or did they have a modified wing?
I think this one is quite interesting: https://www.youtube.com/watch?v=5q-BH-tvxEg

A motor connected to a series of reduction gears, with the last part of the chain encased in concrete.
> A business having constant issues with Windows updates breaking machine needs to hire better people [...]

What if I only have 5 employees and just want to use the computers with MS Office and another industry specific program on it?

Do I need to hire a dedicated technician to make sure my PC is running or do I want the OS manufacturer that I pay to deliver a product that isn't suddenly deleting my data?

There are some smaller IT shops doing IT support for SMB but they can't come in every day and the customers are often not skilled enough to notice that something is wrong. Like losing valuable data through Windows and incremental backups.
>While it's true that a skilled forger can effectively copy an old master painting, it's a pretty rare skill to have at a really high level.

Not that rare. It also depends on the artist. More artists that are not pre-19th century masters are fairly easy to replicate, while their work still sells for millions.

>"Painting factory" copies from China are kitsch and definitely lack nuances that matter in the original.

That's just because of the speed involved. If they took their time on a single work, the quality would be much higher. And kitch is an aesthetic term, doesn't refer to the quality of the reproduction as such (a reproduction is kitch by definition, even if perfect).

>What I'm getting at is the idea that the processes of reproduction are a part of the way art is made and circulated.

That's true. That doesn't mean that a perfect replica by a master copier would ever get the same price as a coveted original.
If you read the article, you’d learn that they refueled twice a day by lowering a hose down to a speeding truck.
The fact that a business has to hire these people to do that job is indicative of flaws in Windows.

As well as this idea that consumer users are essentially beta testers.
In an attempt to rescue this conversation.

Per your other posts, you don't support it because it "restricts individual choice", yet you support increasing prices as if that doesn't.

By increasing prices you do restrict individual choice, except that you do it in a discriminatory way. For example, in many countries instead of banning smoking, its price has been marked up and increased 10-50x. This does restrict individual choice for people who can no longer afford it.

I think in certain cases (such as smoking), it's fine because we want to discourage it, but banning it outright isn't worth it, and it's something that people can and should be able to live without.

Incidentally, I agree with your original assessment that banning cars outright is too much in the short term, and would have other negative consequences that most likely outweigh the positive. But increasing prices has overall similar effects for people who don't have alternatives available.

I think your "restriction of individual choice" rule is highly misguided. For one thing, because your freedom ends where others' begin, and it's becoming pretty clear that car usage today is in fact encroaching on other people's freedoms. But also because in the cases where individual freedom is a requirement, price should not be a factor. This is similar to why (in the US and some other countries) "if you cannot afford an attorney, one will be provided to you", for example.
I don't see how that is responsive to the question about using bytes/Py2 string for path names.
> u"" is a syntax error in python3

This has not been the case since 2012. The last release of Python 3 for which this was the case reached end of life in February 2016. Please stop misinforming people.
Funny I came to complain that the final version of this exact proof is not human readable any more:

Theorem sqrt2_not_rational :
forall p q : nat, q <> 0 -> p x p = 2 x (q x q) -> False.
intros p q; generalize p; clear p; elim q using (well_founded_ind lt_wf).
clear q; intros q Hrec p Hneq; generalize (neq_O_lt _ (sym_not_equal Hneq));
intros Hlt_O_q Heq.
apply (Hrec (3 x q - 2 x p) (comparison4 _ _ Hlt_O_q Heq) (3 x p - 4 x q)).
apply sym_not_equal; apply lt_neq; apply plus_lt_reg_l with (2 x p);
rewrite <- plus_n_O; rewrite <- le_plus_minus; auto with x.
apply new_equality; auto.
Qed.

This doesn't have to be.
Maybe the author assumed that the audience knows the proof by heart. I don't, I know a proof but none including (3 * q - 2 * p). So longer names and comments please, ideally in a way understandable both by humans and machines. Or the goal was to 'get the proof done' with maximal brevity. Then please don't include it in the 'show off' page.

In a future version of coq 'sqrt2_not_rational' might be spelled out "Theorem: sqare_root(2) not rational"

PS: stupid HN removing unicode signs
I'm not into math at all, stumbled upon his stuff a year ago, ended up marathoning his entire Youtube channel. Great presenter and entertainer.
> Not really, 2/3rds of the entire article, plus the title and subtitle are about index funds

This is not responsive to my comment?
> Sick people can often get public transport. I was seriously ill this year and got a bus to hospital.

Sure they do. Not always though. Getting a bus to a hospital is impossible from my current place. And it's not just about driving yourself, you need to drive things (e.g. food) as well. Yes, I drove my car the 600 meters it is to the store - I simply wasn't able to walk it, and the idea of carrying things on the way back was truly sickening. It's 800 to the bus stop, I simply wouldn't make it. Food poisoning is a bitch (thankfully that was only one of the three occasions, the other ones were much lighter).

> And your comfort comes at the cost of massive amounts of space, clean air and thousands of deaths each year.

If you read my comment properly, you'd know that I'm against that as well as you are. I'm not in favor of the current system. I'm just more in favor of individual transportation, but that doesn't imply the current system.
I've used Ansible and Salt and I've found them much easier than dealing with nix. With nix I always end up digging through the source code to figure out how to anything.

Previous to NixOS I was actually using a simple configuration management system I wrote myself in mawk. Basically a glorified templating dsl that would deploy itself by concatenating all my awk code and a base64 encoded tar.gz of config file templates then ssh itself to the server and bootstrap and run. I don't know what madness possessed me to do that but I would rather go back to that than nix right now.

When I go back to Debian I'm looking at maybe trying out https://propellor.branchable.com/

My Haskell isn't great but I would prefer learning a language I might actually use elsewhere.
'Stay away from China,' White House top economist tells U.S. businesses
This sounds like a description of a Design Document, which are very valuable when the problem space is well understood. It can serve as an alternative to sprints and sprint planning for a very small team, or when working with contractors.

When a problem is not as well understood, e.g. can't be solved just by engineering planning upfront and needs user input, I like Google's Design Sprints which uncover the critical features using a 1 week process.

With my experience leading engineering teams and growing startups, I agree completely that documentation is the #1 blocker in scaling engineering teams, all else being equal. If the design, planning, and execution process are well-documented then engineers can be onboarded as soon as they are hired without slowing down the team too much.
Java's string handling is also broken by default in a few ways, due to it historically using UCS-2 internally and hence still allowing surrogate pairs to get split up, giving broken unicode strings.
It varies dramatically by team. Personally I don't think the goal should be to collaborate like the big guys, and instead try to emulate the successful smaller companies. Large companies have the resources to support huge amounts of redundancy, making effective collaboration less important.
My hangup with Windows is that it just isn't cli friendly.

It is really hard to change anything about the system without verbose and cryptic calls to under documented executables.
I've always been a collector of stuff, but it's always been something that is useful as something other than a knickknack that requires dusting. I used to collect old gaming consoles (Atari 2600, ColecoVision, etc.) but I played the games. Now I collect pinball machines, but they are playable art and I have friends over all the time to do just that.

I also an old car enthusiast and have had several old cars at one time, but unlike other collectors I have never had any interest in the various ephemera around it, like die-cast cars, or signs, or literature - all things that really just sit around doing nothing.

My mother is a reformed almost-hoarder and now I am ruthless about getting rid of clutter and keeping a clean, simple home, so I guess I'm not actually a collector even though I have a dozen pinball machines.
I use the keep warm feature on my instant pot as an alternative to a microwave. I'm not paranoid about microwaves - I just don't like constantly cleaning them.
PAM shared libraries can (and do) invoke sandboxed sub-processes to do things like authenticate passwords (setuid).
Wow - an army guy, "the Father of the Nuclear Navy," who gets things about management that half the tech industry doesn't, instead using supposedly army-like command-and-control methods!
This isn't a "billion-dollar business"; it's an overhyped company that gives credit cards to startups that raised money at a billion-dollar valuation.

They may have already reached their entire market for their existing business; the billion-dollar valuation only makes sense if they can plan to grow into other credit card markets.
How the mighty have fallen... :(
> What would it say for a similar work of art to self destruct at a very glacial pace, and the only way to prevent degradation was to pay attention to it?

That's our society. Or Earth. In either case no one cares.
Python 2 encourages the unaware to silently write broken, anglocentric code [which interacts with paths].
That's memorable. Which might be the most important factor.
Why would you want to constantly recompile documents every time you make an edit to them? Why would you want to juggle two files for every document you produce?
Ask HN: How do you relate to the (negative) feedback you get in annual reviews?
Annual performance reviews seem to be an necessary evil in the corporate world. Sometimes I feel the feedback I get is taken out of context and I can have a hard recollecting how I acted 6 months ago that warranted the feedback. At the same time my managers are seldom invovled in my day to day work and can do little to provide additional guidance in the matter.

How do you process and act on the feedback you get in annual perfeomance reviews?
That isn't how any full-disk encryption scheme works. A login event entry probably changes a single block.
Your statement is not true. Microsoft hasn't "dropped all QA".
Taxi/Uber. And money prevents them from doing it for too long, so they come back to bicycle quick.
A third smaller market is competitive shooting. At high levels of competition, the manufacturing tolerances of the ammunition need to be more precise than factory ammunition. A friend who introduced me to target shooting as a hobby competed at the national level in CMP Service Rifle. He and his father reloaded their own ammo using carefully weighed powder for ultra-consistent velocity.
It's quite possible, but are there batteries that last 12 years?
It's worse than that: my files were deleted as Windows Update downloaded the files before it even asked me if I wanted to install the update. I never even had a chance.
The 4th and 5th amendments have been severely degraded since 9/11: https://www.aclu.org/other/constitution-100-mile-border-zone
Tom Morello has been happy to use his fame and status to try and get his way with things.

https://www.facebook.com/The5PointCafe/posts/101526824416292...
What Bill Gates is afraid of
I just got back from the Cayman Islands and there is a distillery that ages their rum the same way. Called Seven Fathoms rum becasue it is suspended seven fathoms under the surface in old whiskey barrels for three years, they do it for the cool temps, low uv, minimal evaporation, and because the ocean agitates it and mixes the contents.
Safeco Field is where this comment stemmed from. Hundred million dollar _public money_ handout to a stadium. We have plenty of money for that, but not the homeless, drug problems, or public transit. Now we have NHL I'm sure Jenny Durkan & City Council will just bend the knee to with multi million dollar renovations to Key Arena.
This is curious:

[...] says Kirkland, who is also running a handful of clinical trials at Mayo for repurposed cancer drugs and natural products that have been shown to kill senescent cells in mice. [...]

What are those "natural products" I wonder?
They released a new version of LTSB (well, they call it LTSC now) just a few days ago, based on this last version. I made a clean installation today.

en_windows_10_enterprise_ltsc_2019_x64_dvd_74865958.iso

No Store, no Cortana, no Edge, Windows 7 calculator, no Candy Crush, no bullshit. Don't miss out. ;-)
I generally like Atlas Obscura's articles, but this one has, to use a local phrase, a load of shite in it.

I've lived in Scotland my entire life and never come across anyone who speaks "Scots" as their main language. It's not taught as a course in any school that I'm aware of, so the idea that 1.5 million people "read, spoke or understood scots" seems like it required a bit of "flexible thinking" to be true.

What is true is that many scottish people understand words which come from scots as their used in vernacular speech.

Things like "Auld" == "old" or "Braw" == "good", but I wouldn't equate that with understanding a language.
In some cases, the gender serves merely for contrast, sometimes historically grown, and it would be a shame to loose that.

E.g. female sun, male moon, female night, male day. Those examples might stem from codified personifications (e.g. nox).

In many cases though, I suppose it's a case of vowel harmony. If there was only one article, it would be "d'" with a semi-vowel ablaut, schwa, as in English "the". I don't know exactly why, I just recently heard of vowel harmony (ie. part of the native speaker's feeling for what sounds right) existing.

Gender has a minor advantage in some situations, I guess. I'm not sure whether the free word order is an advantage, but it helps for parsing this one: "Der Frau gibt der Briefträger einen Brief." - (to) the women gives the postman a letter.

Conversely, I find totally odd the neuter pronoun used on dogs. However, I do call all dogs "he" no matter the genitals, so that's no better, also because I don't exactly look for it. Whereas cat's are a priori female. It's not OK to neutralize (pun intended) a human person in any case.

Defaulting to "es", "they" or any alternative is still a crutch, as long as the inflection remains. And that has probably some reason to be there. Indo European had a two case gender system distinguishing animate and inanimate, female being a later innovation. In fact they had two words for fire, whence the ignition (animate) and the fire (inanimate). I do not know much about the case system, but taking Latin for example, that clearly got out of hand.

So, "die Flasche" (bottle) holds spirit. "der Wind" (wind) acts. But "das Wasser" just sits there waiting to be consumed. If it flows, it's "der Fluss". The sea is weird, "das Meer" is neuter, perhaps because as diminutive (Märchen, nightmare ...?), but "die See" is an abstractum (die Nordsee, rarely Nordmeer), whereas "der See" is any determined lake. Der Teich (pond), die Leiche (corpse), das Reich (realm), der Streich (trick) seem to resist the argument for vowel harmony, but if Streich and trick are from frankish or French, estrich, estriquer or sumsuch, then that's a different matter, same if Leiche was Lyke or so ... I don't know much about that.
Please join me in congratulating Uber on independently discovering the discipline known as software engineering.
It's a fun refrain, but without organization, getting your friends together won't be enough to move politicians who will listen to individuals with money rather than just individuals. If you're going to want to become politically active, it helps to join an organization instead of just striking out on your own.
If it's a backstabber you flat out ignore it if your boss is cool. If your boss isn't cool try and find a new job. If you don't like working try picking up a talent and use it to get gigs so you don't have to deal with negative feedback annual reviews.
Op of the post here. I’ve been talking to a few people at other large companies and here’s the information I have. Most of this is anecdotal so treat it as such. Appreciate input or corrections from people working at the companies.

- Facebook is the most lightweight on docs. Code is/was still king there and even planning docs might be written after the fact. The downsides I’ve heard is tech/architecture debt building up fast and lots of throwaway stuff built.

- Amazon is quite rigid and requires a concise planning doc. Depending on the org you work, there might be a few levels of more formal approvals required.

- Google has a process similar to that described in this post, with planning docs being circulated. Due to the large size of the company, docs are routed to specific committees within orgs who give feedback on them.

- For smaller companies it will very much vary. Interesting that some do follow something similar, apparently Cockroachdb has a process close to this one: https://twitter.com/vivekmenezes/status/1047827698956079104?...

Note that the process I described works well when you have a clear idea of what you are building and have few dependencies. For prototyping or for large/complex projects, planning can get way too slow. That’s when a “war room” with a small team building a prototype, skipping all the docs part, will work a lot faster. All bigger companies I know use this when a better fit.
I've talked with two people who had worked in Rickover's organization, both of whom respected him greatly, They each had a story to tell. One had an interview with Rickover as part of his hiring process. Rickover asked him to define and evaluate an integral for a conic section, to find the volume of a cone. Another worked in Rickover's offices long enough to discover that Rickover deliberately kept a chair in his office that had one leg slightly shorter than the others, so visitors who sat in it would feel deliberately off-balance. As I see it, he was always testing people to see what was in them, as part of his drive to build an organization that did great things.
That's an awfully narrow view. Even today we see 80 year olds learning all sorts of new paradigms. Granted they're sadly the exception rather than the rule, but that's a cultural issue we can fix.

The biggest cause of the stagnation you mention IMO is people thinking they deserve something simply because they've physically existed for longer. With the advent of the information age that illusion is becoming harder to maintain. Might take a few generations to develop the correct institutions, but longer lived humans could readily adapt. And that's assuming humans stay otherwise the same physically. Any knowledge that could lead to 4 digit lifetimes will almost certainly come with enough knowledge to turn us into legit cyborgs, or genetically engineered superhumans if we want, and all bets are off at that point.
While your comment is trollish, I’ll let you know I’ve had many issues with payments because shitty web-sites have been unable to 1. Validate my name and 2. Correlate whatever their whitelist permits with actual information returned from the payment processor.

So your inability to handle basic stuff like this is actually costing you money.
I personally never used those folder for my documents/music/etc. It wasn't a problem until programs started putting their stuff in there. This is part of the "must-put-on-C:\" behavior you see in much win software that I loathe. A constant pain and reason that C:\ seems never to be big enough.
Neanderthals Survived in Ice Age Europe Thanks to Effective Healthcare
Well, their stock nearly tripled since 2014 and they passed Alphabet/Google in valuation early this year, so...
They're absolutely garbage at this.

When I was _forced_ into the windows 10 update, it went through the process and appeared to finish but didn't put my desktop back. No problem I figured, they put it somewhere.

So I did a file search, found the desktop in a folder, moved it back to the desktop.

A day later it self-restarted and _completed the update_, replacing the desktop with the now empty desktop folder.

I went to the Microsoft store to get them to do a file recovery and they had the _gall_ to tell me it would be $250 plus 7 days and they wouldn't guarantee recovery.

I moved to Mac this year after being exclusively on Windows since '98.

I hope Microsoft dies andisgraceful death.
ah, the first ico for rich people. I mean, accredited investors. if you want a chuckle look at the history of the term "accredited investor" on Wikipedia I left an Easter egg
David Foster Wallace's talk "Laughing with Kafka" is very insightful as well.
https://harpers.org/wp-content/uploads/HarpersMagazine-1998-...

For me, a signal frustration in trying to read Kafka with
college students is that it is next to impossible to get them to
see that Kafka is funny ... Nor to appreciate the way
funniness is bound up with the extraordinary power of his
stories. Because, of course, great short stories and great jokes
have a lot in common. Both depend on what communication-theorists
sometimes call "exformation," which is a certain quantity of
vital information removed from but evoked by a communication in
such a way as to cause a kind of explosion of associative
connections within the recipient.

This is probably why the
effect of both short stories and jokes often feels sudden and
percussive, like the venting of a long-stuck valve. It's not for
nothing that Kafka spoke of literature as "a hatchet with which
we chop at the frozen seas inside us." Nor is it an accident
that the technical achievement of great short stories is often
called "compression"-for both the pressure and the release are
already inside the reader.

What Kafka seems able to do better
than just about anyone else is to orchestrate the pressure's
increase in such a way that it becomes intolerable at the precise
instant it is released.
Ask HN: How did you get introduced to HN?
I came to know about hackernews through one of my colleagues. He was giving a presentation and HN was the first thing that popped up when he switched to his browser. Out of curiosity, I immediately googled it and that was my first introduction to HN.
Blockchain: Distributed Shared Ledger Technology in Banking
Re-read “Object Oriented Programming Is An Expensive Disaster Which Must End” and you’ll see it is making a similar point, but with more of the history of how the idea of Patterns developed and then faded:

http://www.smashcompany.com/technology/object-oriented-progr...
That article has nothing to do with what you said at all.