skysight-inc/HackerNews huggingface dataset:
This could very well have been called “Falsehoods programmers believe about date and time calculations”. It fits very well into the pattern of other similarly titled lists which have been published in recent years.
Please elaborate. Non-trivial data structured will either need a database, or end up resembling one anyhow when you add features they'll eventually need as they mature (concurrency, data integrity, querying, adding indexes without changing functionality/design, backups, etc.)

Note that didn't imply that Linux should designed around a DB. However, with virtualization, the idea of an "OS" may change or vanish. The view is toward "applications", with the associations between applications, users, file systems, and machinery more flexible. In that approach, a DB-centric view may make more sense. A (traditional) "OS" is a machine-centric view.
Sure, why not? Keep in mind that all these would be competing against up-to-date versions of the same software.
Go the language OK but Go rely on a GC which required lots of work..
It’s your 3 minutes of hate. Your not supposed to emphasize with them.
Someone already linked metamath, it also gives a flavor of just how long some proofs can be when you fully formalize them and start from ZFC axioms. From the trivia page at http://us.metamath.org/mpeuni/mmset.html#trivia "The complete proof of [(2+0i) + (2+0i) = (4+0i)] involves 2,863 subtheorems including the 189 above. These have a total of 27,426 steps—this is how many steps you would have to examine if you wanted to verify the proof by hand in complete detail all the way back to the axioms of ZFC set theory."
This reminds me of the saying, "We're not who we think we are. Nor are we what others think we are. Rather, we are who we think others think we are."
Yes, or that you care about historical aspects.

If we go on a far enough time scale, all calendars are constructed abstractions so theoretically nothing about them is true, but I'm not sure what's the point of that.
If you've ever tried encoding proofs in a proof assistant such as Coq... you'll realise just how painful it is

Is that a result of how painful the tool is to use? (And by “tool” I mean any such tool - coq or whatever.)

What would need to be improved in the state-of-the-art of automated proof validation for the process to be less painful?
You raise a good point.

I see it encouraging students to come up with ideas for YC companies inorganically. Obviously that is not the intent, but I see it as a very likely side effect.

If the student organically has a great idea, then sure this has nothing to do with it. For the ones that didn't and wasted time in college? I guess they should have read some of PG's essays. ;)
Customer Service Data Vulnerability, Intercom [Fixed] – Dropbike
rating devices? Im sorry, I cant let you purchase that app, your screen/home button/battery has been replaced by unauthorized personnel. Please turn this device to be shredded at Apple blessed "recycling" center.
The Curse of America’s Illogical School-Day Schedule
Requiring a social media login will definitely turn people away. I'd be surprised if someone got turned away just because it was an option.
This article is about the Chinese podcast industry and how people use it for education, and so this title makes no sense to me. What is being FOMOed? Why are neither the word "podcast" nor "education" used in the title? Who knows, but I bet it involves an editor thinking they need to appeal to millenials.
Don't trust your users. Use the address validation software, but if the address doesn't work allow the user to specifically choose to use their original entry. That's how most large ecommerce vendors operate now and it allows a manual override for new addresses.

And the address lists are updated very quickly now for any decent software. So it's only a problem for a very limited time.
AFAIK competing Git* servers are trying to use ActivityPub to implement federation between them

[0] https://github.com/forgefed/forgefed
> so you don't need to take the responsibility of hiring people with the huge risk that comes with that.

There's plenty of people who won't do it -- they can go to FAANG and established companies all over the world. Good for them.
There's a good amount of great people, often the hustlers you need for a smaller business, who would be interested in doing it.
It's only one possibility. As I said, the other option is showing portfolio/past experience with references, which if checked well is a good indicator.

Also I said this because the OP said one of the positions was sales, which usually has compensation highly attached to results, so those guys are used to it. Might even say completely attached to results, as they are shown the door if they aren't giving results.
The title is insane, nobody would ever guess what the article is actually about from it.
Off topic but that essay was great! I’ve read several but not all of PG’s essays and this was one of the ones I hadn’t previously read.

In particular, this struck a cord with me:

> So if you want to find startup ideas, don't merely turn on the filter "What's missing?" Also turn off every other filter, particularly "Could this be a big company?" There's plenty of time to apply that test later. But if you're thinking about that initially, it may not only filter out lots of good ideas, but also cause you to focus on bad ones.

I have a follow-up question to the text I quoted though.

I’ve recently been thinking about a software product that I wish existed but which doesn’t quite exist.

The product I have in mind does seem to fit the criteria laid out in the essay quite well. Even down to the question of “if someone else built it, would you use it?” Yes, I absolutely would.

But what I am wondering is not so much “how big could my company become”, but rather: Is this product idea sufficient to build a startup around at all? Is it even necessary to try and build a startup around it?

Details about the product don’t matter but in short it would be a particular kind of music creation and performance software for the iOS platform.

Actually I can motivate why it should be a startup. Because implementing it will require more people than just myself. I am confident that I can build an MVP on my own, but I am also certain that more man power is needed in order to develop the product into a useful state. Great!
It's not. It's a trivial problem to have something easy to do when starting out with reinforcement learning.
These Are the Economies with the Most (and Least) Efficient Health Care
They mix up the answers. And sometimes choose 4 answers from a possible selection of 20.
Navigating a Large Codebase
I still publish. I joined an industry lab this June. My day to day function is highly non-academic, but we can do academic research on the side (we don't have to).

I intend to keep on researching since research is fun. But writing itself is not as much fun, so I wonder if I will try to publish as much.

1. Collaboration.
If you look at my publication records, I only have a single paper where I am the sole author, and I made sure a few very knowledgeable friends read it. So find someone sharing similar interests and talk to them. Once a collaboration starts, it is much easier to get going.

2. Branch out.
Recently, I improve algorithms in areas (more applied operations research) close to mine (theoretical x {computer science, combinatorial optimization}). This includes 3 of the papers I'm preparing. It only took a few hours to realize improvements are possible, although it takes much longer to polish and present. It also leads me to an interesting problem in my own field.

3. Giving talks.
It is probably much easier to have an opportunity to give tech talks. Giving the talk itself forces you to organize your thought well. I often find better ways to organize my writing after I've given the presentation. (I really should give talks before writing the paper...
Gitlab Retiring the Early Adopter Plan
That's a conclusion, not a justification. The very topic we are discussing is that ignoring regulation causes some classes of people to be excluded entirely from some job postings. You are arguing the opposite, which is fine - but you can't just claim that it's self evident.
it's a bit of an overstatement to call jai popular, seeing as how it hasn't benen released yet. but yes, it's a very interesting looking language, and the development notes are great.
Maybe he says that the computer won't help understand the proof since the proof is missing a step.

He may be saying the equivalent of "A computer won't help you to prove that 1+1=3“
If you have someone to defend, it doesn't really matter who made it an issue. Whatever new tactic is being tried, you still have to play defense. Not defending means losing.

Understanding the larger forces in play might be intellectually interesting, but if it results in apathy and forgetting to play defense it's just another way to lose.

Maybe voting isn't going to make things a whole lot better, but remember that it could always be worse.
> > and then

I believe Ulises is talking about two stages: Top-down a prototype to shake out bad assumptions, then bottom-up main development for a solid foundation.
> that simply means

The point is that it's not simple. It will require significant advances in computer science.
It still doesn't give you native look & feel.

Although much as it pains me, I think that is a lost cause. And it was lost through attrition - devs kept throwing non-native (often, JS-based) apps at users, and users got conditioned to each app having its own look, much like websites.
Close Encounters of the Third Kind reference, for those who don't read music.
I'm 5 days late, but thanks for the recommendation. While where I work is a really bike friendly area, where I live is not and there's only three viable routes, two of which are freeways while the third is a non-bike friendly expressway.

Any other route would add a ton of time. I don't plan on working (or living) there much longer though, so it's only a temporary annoyance.
Nah. I'm only using language that harsh now because of how disappointingly irrational and weak the objections on reddit were. It's odd to see mathematicians resistant to quantifying what they believe to be inferior about computer displays, and improperly generalizing what seemed to be their experience with $500 laptops to also argue against high-quality eInk, OLED and IPS LCDs.
HackerNews proving once again that you can get incredible insight in real-time from names big and small :)
This is why you shouldn't be afraid to give out (truthful) compliments folks. For a small communication effort, you may make a big enough impact for your compliment to be remembered for years. Maybe the person will even smile to themselves and write a nice HN comment about it! (or not quit your company)...
Bone conduction speakers
Imagine we did not have names for months and days. Would you call the tenth month October or December? It does not make sense. Then, the other months at the start of the calendar, would you name them after phases of a military campaign of preparation for war, conquering, looting and pillaging? Would that be deemed politically correct?

On the weekday names we are not doing any better. Tuesday - named after the god of war? Doesn't make sense to me.

As for the lengths of the months, imagine if you were trying to make the case for the different lengths of months and you were trying to get buy in from your friends in accounts. Surely they would want equal amounts of days in each quarter? Imagine trying to persuade them that different lengths were better, what plausible possible reason could there be?

We learn the names of days and months by rote at a very young age. We get encultured into accepting the status quo and never questioning little details - nobody asks at school why 'Dec'-ember is month twelve.
Yes, Google surprised us all and made the semantic web unnecessary, even though I doubt it would have come to pass anyway. Consider a paper in 1998 by Sergey Brin, Larry Page, and others, that showed them finding the titles of books and the names of their authors amid the sludge of the World Wide Web:

> We begin with a small seed set of (author, title) pairs [...]. Then we find all occurrences of those books on the Web [...]. From these occurrences we recognize patterns for the citations of books. Then we search the Web for these patterns and find new books. --- http://dis.unal.edu.co/~gjhernandezp/psc/lectures/MatchingMa...

Starting with a seed of just five author-title pairs, their formula found thousands more.
You do realize that sort of stuff doesn't happen anymore. Vegas became incredibly corporate after the mob got kicked out. Maybe that sort of thing still happens elsewhere but I would be surprised if it happens anywhere in the US anymore. With the exception of completely illegal shady underground casinos.
>>When AJAX became a big thing, I remember the professor asking, "Why don't you add AJAX to this project?"

Sounds like something my manager at my previous job would say. He was a Pointy Haired Boss.
Nobody will ask.

If they do: you took some time to relax after school.
> I don't think the major problem is that `/^ {4}/` lines don't wrap in a way that's useful for quotes; it's that there's no way to format quotes so people use the only formatting element HN has.

It is a standing convention to use the following syntax for quotes here:

> *Quote text here*
Tesla Model 3 receives a perfect safety rating from NHTSA
Is it really an industry thing? There do seem to be several large bad actors at present (MS being one of them), and but not sure it really extends to most of the IT industry.

Maybe you're meaning some non-IT industry? eg Marketing?
A newspaper that quashed the weinstein story 13 years ago wants us to tell it secrets?

https://www.thewrap.com/media-enablers-harvey-weinstein-new-...

The NYTimes should be the last company anyone should be telling secrets to. We have social media. People should post it anonymously to social media than an establishment organization like the NYTimes.

Hell post it on HN. I trust HN and the mods here more than I trust the editors at the NYTimes.
And it's unlikely that there will be anything following from it if the article is right that it's basically "Trivialities to confuse the reader + an esoteric leap of faith"
One core problem is that the attention economy of the conventional web has driven content creators so far away from the path of truthfulness that they would just ruin any truly distributed ontology with lies.

As soon as you start actually consuming semantic data it becomes a protocol that begs to be "hacked".
Show HN: Limestat – Keep Your Team in Sync (HN $100 Signup Bonus)
Has it been cross compiled for Tomu.im ?
FOMO is specifically about real situations, not about just any opportunity cost from missing out on anything.

Extending the term like that is about as useful as saying "self-driving helicopters with the use of The Blockchain!"
Wikipedia has more information about the experiments it is performing: https://en.wikipedia.org/wiki/RemoveDEBRIS

Note that it caught a 'fake' piece of space debris that it launched specifically for this experiment. I'm curious how it would fare when trying to snag a real chunk moving at higher relative velocities.

I also had no idea it had a harpoon on it!
Why, though? If you don't care about the web, then Xamarin Forms is strictly superior to React Native in terms of resulting UI. And if you do, then Xamarin is not an option anyway.
The leap second has a history of breaking computers. Pretty much every Linux server running Java broke in 2012, for example. 2009 saw a bunch of Linux kernels crashing in logging code. 2016 was mostly better except for Cloudflare: their systems had an assumption time never runs backwards. https://blog.cloudflare.com/how-and-why-the-leap-second-affe...
Not surprised, my mother pays for Ximalaya and she's been convincing me to join for several years.

Podcasts and really anything to do with education are way bigger businesses in China than in the states.
No, in the same way that selling wheat isn't selling land with extra steps.
Jill Lepore on Writing the Story of America (in 1,000 Pages or Less)
SAMSUNG S9 Galaxy 479,99€. INTERNETCHOLLOS
We're not hiring right now, but in the future we may have similar needs. We're all webgl, check out https://ayvri.com and drop me a line at pete[at]ayvri.com

We have some solid game dev tech on the team already.
Not that I'm aware of. Might be trickier than U2F (that exists already) because FIDO2 is a bit more computationally expensive, and probably larger code base. But certainly an interesting project to add to the pipeline.
What? It's only a 'weapon' if you intentionally de-orbit debris with a real chance of hitting something of value. We have a hard time calculating where current space junk will de-orbit because we don't control any variables. With this thing, we would control enough variables to calculate when/where the space junk will impact the earth (assuming it doesn't burn up..), with sufficient accuracy that we could (for example) always hit the middle of the Pacific.
To be honest, this is highly amusing to me because nowhere in the musings on the failure did I see the writer(s) acknowledge that they have not a foggiest idea of the apparel (i.e. fashion) business. I bet no one in the entire company was a subject matter expert.

No one here would be surprised if Bob, a literature professor, who played tetris five times in his life would fail at building a video game startup. This is Bob, a literature professor, who gets his clothes at Macy's on sale ( still at ~400% markup ) building a fashion startup and failing.

That is why they failed. The founders are all men. The biggest consumers of apparel are women. Those that run successful boutiques are women and they largely service... women. Those that decide to do their own knock offs of the on trend are owners of the successful boutiques. Surprise surprise they are also women. What do they all have in common? They know that the market is in the throw away clothes that are supposed to last just one season ( trends move ), be cheap ( trends move ), and look kind of like what has been walking down the runway during the Milan FW, Hong Kong FW, New York FW and London FW. Turn around on this stuff in design is about 1 week, manufacturing is another 1 week and mass production is in 3-4 weeks. Designers of the knockoffs ( ok, call them inspirations ) can be talked with in NYC fashion district and in NYC Chinatown (I'm sure it can also be done in LA and during MAGIC in Las Vegas but they are in NYC weekly). Those that want to tweak designs can request it right there and in 3 weeks time i.e. a month after Willow Hand walked down the catwalk in Pineapple pants and well before D&G supplies their stores all those boutiques would have $40-$100 pants inspired by that.

I bet they did not hear what their potential customers were telling them.

And that's not even talking about the likes of Zara and H&M.

There was no market for this kind of a company.
IIRC, the (by some definition) original hypertext system, Xanadu, had this. It was supposed to (among many other things) keep track of who quoted who and how much and make sure everybody got paid fairly. It was much too complex and never got anywhere, and was completely replaced when the WWW came along with its dead simple model of URLs and HTML.
Amazon unveils 14 new Alexa-enabled devices and dozens of
> It's only a 'weapon' if you intentionally de-orbit debris with a real chance of hitting something of value.

A weapon is a weapon even before it is used in anger.
QT5.
I think that's a bit naive.

Properly supporting calendrical calculations serves two major purposes:

1. Serve the billions of people who don't use the Gregorian calendar or who live in areas that don't match your idea of time zones.

2. Functions as a human form of "platform independence". Properly handling dates/times quickly exposes places you've made silly assumptions or accidentally broken things. This protects you from actual bugs and ensures you avoid whatever the future version of the Y2K problem is. Such bugs are always easier to fix when you have a smaller database and fewer users.*

* In general bugs and breaking changes _never_ get easier. Every day you delay increases the pain imposed on future you and users. Obviously there is a balance - a startup needs to worry about getting to "default alive" first and foremost - but don't delay too long and where it doesn't impose an inordinate cost do it right the first time.
The only people I've seen use those things are hobos and near-hobos.
It is not irrelevant. If you can't build the binary from code yourself you have no way to know if it is trustworthy. Step one in finding out if it is is to look at the source and then compile it. After that you can look if it does strange things because of something you missed in the code but without step one you might as well not start at all. It will always be at most guesswork.
Sucks that I can't look at this on my cellphone..
Try a schedule that keeps you on ~ two hours a day, focusing on at least one of the videos in the 14-video series. So: 14 weeks, paying attention to one video a week and whatever peripheral studies you choose to follow up on based on the ideas Jeremy pushes in his lectures.

Edit: also, find datasets online that fit in your interests. There's no better motivation than to solve problems in a domain that you're already familiar with. I grew up on a farm and built a classifier to detect diseases as part of my fast.ai course-work: https://t.me/shambadoctorbot
Quality and Attitudes of Good Leaders in Any Organization
Aquatic is not anti-tool; octopuses can use tools. https://twitter.com/i/moments/935038333654372354

There are other intelligence tests beyond just technology, such as the ability to recognize a mirror for what it is.
In all of my papers, I have attempted to include an indent-based hierarchy of the argument. Adding code-folding to this would allow for so much more detail here.

I don't think we should have papers being nothing but folds, but there is definite value in presenting proofs in this way.

One potential downside is that there is no longer an order that guides the reader through the paper. Because it isn't quite clear how deep the author expected you to unfold an argument.
Id love to see someone else do this
Absolute numbers create bounds. USD can’t drop to 1/100th of it’s current value without huge shifts as people would need to pay 100x as many USD in taxes driving up demand for USD. Now, their is slack in the system, but that’s a good thing as it provides price signals and feedback loops.

Even record setting sustained inflation of say 2% per month in the middle of some horrific economic issues would still be a bastion of stability relative to many currency’s throughout history. So, as long as the economy stays steady and the USG does not do something monumentally stupid the US economy really does back the USD.
> No, I can use data, the problem is I don't know what all the effects of that optimization will be. So I constantly have to change what I'm optimizing for.

What are you trying to say here? Optimizing things with data is hard?

> Broadly, but there are limited resources and each thing effects the other. So even though we agree that A and B are worth optimizing for, we will disagree on which is more important. Worse in many cases we will agree on A and B, but the data shows you cannot optimize for one without pessimism the other.

I think we even agree broadly enough on the relative weights of many things to optimize for them. And I think we at the very least agree enough on things to partially optimize them, or pareto optimize them. In many cases there are low-hanging fruit to be picked that can optimize a metric that we all agree is good without sacrificing another.