skysight-inc/HackerNews huggingface dataset:
In typical Knuth style, there are so many jokes here beyond the central idea of the paper itself! With apologies for explaining jokes...

• It is known [3] that almost all songs of length n require
a text of length ~ n — here the reference [3] is not a reference to the musical literature as one might expect, but a reference to Chaitin! This is similar to Kolmogorov complexity, “almost all real numbers are uncomputable / undefinable”, etc. :-)

• By the Distributive Law and the Commutative Law [4], we have — a reference to Chrystal, the standard algebra textbook of the 19th century. (See also Underwood Dudley's “What is Mathematics For?”)

• possible to generalize this lemma [...] provided that the sequence <V_k> satisfies a certain smoothness condition. Details will appear in a future paper — typical papers (and of course even the author knows there will no future paper) :-) Cf. Polya's “cheap” generalization.

• The coefficient of √n was further improved by a Scottish farmer named O. MacDonald — even when making a joke, he has a serious reference to Kennedy's book on folk songs, giving the page number where other farmyard songs are discussed. In fact the entire list of references is rather scholarly.

• R₁ = ‘Ee-igh, ’² ‘oh! ’ — the ² here is not a footnote, but “square”, i.e. the string repeated two times

• The whole proof of Lemma 2 is a wonderful (and educational) formalization of the song

• Therefore if MacDonald's farm animals ultimately have long names they should make slightly shorter noises.

• A fundamental improvement was claimed in England in 1824, when the true love of U. Jack gave to him a total of 12 ladies dancing, 22 lords a-leaping, 30 drummers drumming, [...] during the twelve days of Christmas [11] — the reference [11] is a reference to a MoMA artwork, see https://www.worthpoint.com/worthopedia/ben-shahn-titled-book...

• (see [7]) — the [7] here is a faux reference; it reads ”U. Jack, "Logarithmic growth of verses," Acta Perdix 15 (1826), 1-65535” and apart from “U. Jack” and the number of pages, note that “Perdix” = partridge

• J. W. Blatz of Milwaukee, Wisconsin who first discovered a class of songs known as "m Bottles of Beer on the Wall"; her elegant construction... — Knuth is from Milwaukee, Wisconsin, and J. W. Blatz is https://en.wikipedia.org/wiki/Valentin_Blatz_Brewing_Company

• the song "I'll drink m if you'll drink m + 1." However, the English start at m = 1 and get no higher than m = 9, possibly because they actually drink the beer instead of allowing the bottles to fall.

• all practical requirements for song generation with limited memory space. In fact, 99 bottles of beer usually seemed to be more than sufficient in most cases.

• However, the advent of modern drugs has led to demands for still less memory, and the ultimate improvement of Theorem 1 has consequently just been announced

• [Well you should just read it]

• Acknowledgment. I wish to thank J. M. Knuth and J. S. Knuth for suggesting the topic of this paper. — finally giving away the reason for the existence of this article: these are his children; they were probably 12 and 10 at the time.
When I posted it 15 days ago nobody cared: https://news.ycombinator.com/item?id=17936567
Theory vs practice. In theory, DSLR designers have more freedom of design, so their designs always should be at least as good as cameras in mobile phones.

In practice, economies of scale probably already give the phone the edge in software. Doing whatever mobile phones do in Photoshop always should be at least as good, though, if the DSLR stores the multiple images the iPhone uses to make a ‘photograph’ (I think ‘picture’ is becoming a better word for what these cameras do)

Also, a phone could have tens or even hundreds of lenses on its back side, making it catch as much light as a DSLR, which, I think is the main reason DSLRs still are better (I think having many lenses technically is possible already, but it may be too expensive, and probably requires too much processing power to be useful at the moment)

Also, photographers may grow up who don’t know how to get the most out of a DSLR.
Well, if you're looking for battery life, both safari and edge have excellent battery life by virtue of not doing anything useful.

And if you're looking to do dev work, that usually means at minimum an editor, a server, and a browser, which seems like too much to run unplugged.
Why Apple's 3D Touch failed miserably
Very impressive. Nice work!

I’ve been learning a lot about h264 and h265 recently, and I’ve read that hevc is somewhat more straightforward to decode. Is that true? I might try writing a decoder for it.
Entanglement doesn't allow communication.
It'll happen.
Ask HN: What's your favorite email client for iOS and why?
There are probably dozens of reasonable ways to compute poverty rates, and you can pick whichever fits your preconceived notions best.
Nice ones! My first TS project was with a C# guy, so we had some virtual classes, no good) Anyways, the TS community itself does not seem to enforce OOP stuff too much — Angular / mobx do.

On the other hand, I don't know why the DI stuff never caught on in he js world — it should be good for testablity (better than build-time magic at least)?
Ghost Images Obtained Using Relativistic Electrons
They dug up some of the speechwriter's letters a while back for if things went wrong, some pretty sobering stuff.

https://www.space.com/7011-president-nixon-prepared-apollo-d...
Forests Cut Warming Better Than Technology
He's already off by an order of magnitude.
Monolith
Some things from my point of view.

The most important one is that team is more relevant than whatever company one works for, and promises they might deliver.

Work friendships carry on whenever one goes, companies are all about profit, even when they state otherwise, things do change when bad times arrive. Too many times there.

Soft skills are quite relevant, it is not always about cool technologies and what not. Specially useful when working on UI/UX or getting to know what is actually happening at the company.

Always be curious to learn about new technologies and programming paradigms, but when time comes to launch products that are supposed to be around for years to come, stick with the vendor tooling of the target platforms.

New shiny thing might be a box of surprises when requirements start changing all the time and it is time to go live.

Picking on the last one, use whatever technology is appropriate for the problem, as what matters is delivering a working solution that solves a client issue, not to expose source code on the Louvre.
The book didn't materialize from thin air, the authors are even named on its cover.
I stand corrected (see for example https://www.theguardian.com/lifeandstyle/2017/dec/11/breast-...)
Her(?) face morphs slightly in the first few frames.
Jesse Lee Peterson is also a top black republican influencer among actual american blacks
>Not because they expect the actors to have received lessons and coaching that makes act 3 an Oscar contender.

This is the actor fallacy. Sure, there are good and bad actors, but what makes a movie (or play) worthwhile is the script, then the director, then other stuff like cinematography, set decoration, lighting, etc. Actors are actually the most replaceable and least important part of the equation.

Counterintuitive, I know, especially in light of the publicity machines that are at work 24/7. And for goodness' sake, don't mention this to the actors.

So if the plot premise sucks in the first 10 minutes, you might as well bail out then. It ain't gonna get better.
If you're wondering why _The Hobbit_ was an interesting game, see https://www.filfre.net/2012/11/the-hobbit/
I love the last sentence of the article:

> Adult females are known to eat their mating partners after sex.

Just thought they'd throw that one in before signing off! But I do suppose a writer would be remiss not to remind you of that fact given the opportunity.

And a fascinating comment (which I haven't confirmed yet) from a reader below the article:

> Sigh, females HAVE to eat the head of the male to remove the inhibition stopping him from climaxing.
>
> It doesn't happen AFTER sex, it is required for the sex to be successful in terms of conception.

I never knew that. This behavior has only ever been explained to me as some kind of vindictive or inexplicable act by the female mantis.

I wonder how the female mantis knows that this is a way to disinhibit the male's climax?? Nature can be so strange.
Agreed. Mozilla has a special container just for Facebook and I use that. Other people have made similar special containers for Google, etc. but I don't trust them as much as Mozilla.

So I use one container for Google properties (gmail, YouTube, etc.), a different one for social networks other than Facebook (Twitter, Reddit, etc.), and a third for shopping (eBay, Amazon, etc.)

You can teach Firefox to always open certain URLs in a particular container so smile.amazon.com brings up the shopping container, twitter.com brings up the social one, and so on.

I've been a little sad about losing some of the old Firefox extensions but Quantum has been great.
Nobody that doesn’t watch the show wouldn’t have the slightest idea what that sentence meant
They're not cheating just themselves. The impact of cheating is way more widespread than that. Often if one person cheats off of another student - they both suffer the consequences, if caught. Regardless of the other student(s) being aware someone cheated off of them. If you're doing group work and one person decides to plagiarize the entire group could be in serious trouble with the institution.

It goes further too. It undermines the integrity of the school. Lets say that cheater gets by as you've suggested - now they're in the workforce and their boss realizes they're not very good. This doesn't reflect well on where they obtained their credentials.

Worst is that they took a spot at a university that could have been given to a student that wanted to learn.

You should also evaluate your friendship with this person. You want them to get credit but it annoys you with how rampant it is. I wouldn't associate with someone that was doing this on an ongoing basis.

I'll bring up another reason why this is bad - your friend is writing papers while lacking the technical background of that topic. Sure he has notes and can research but this is not enough. There is a reason why reading webMD and self-diagnosing is not a completely creditable route. Sure your friend might be right, but they also could be wrong AND misguiding people that come across his papers.
The violence in what are regularly referred to as the oldest works of literature, The Illiad and The Odyssey, could not be depicted as written on broadcast TV in the United States (at least in the translations I read in the 1980s) and we allow a lot of violence on TV in the USA.
Following peer review comments, Andreas has significantly revised his paper, and simplified some of the derivations, particularly in the "type inference" section, making the type derivation rules more algorithmic and easier to implement.
> most of them already a few times.

This is the major point. The market is HUGE, and it's very possible still to build a better mousetrap and capture enough customers for a decent side income.

Assume your audience already knows the competition, and differentiate.
Thanks, I reckoned there was a way to get it done but never found one! Can you also enable individual features, not the whole pack?
If you are already in the Bay Area, I would recommend that you probably just stay there unless you don't plan on raising VC. It's certainly not the only place you can start a company, but it is still one of the best places to do it.

In general, the early parts of any startup can be achieved pretty much anywhere. Building product, early customer discovery, marketing, etc. are not really dependent on geography for a large number of tech-focused startups.

Location becomes an issue when:

* you have some physical presence as part of your product (e.g. meal delivery, bike shares)

* you need to hire (unless you a comfortable with remote work)

* you need to build partnerships

* you need to visit clients (this can be solved by being near a major airport)

* you need to raise capital (the terms and availability are typically just a lot better in the bay area and a few other big VC markets)

So yea, if you are in the Bay Area already and you are wanting to build a true, hyper-growth startup, I would suggest that you just stay put since it will be advantageous further down the line.
Unless you cannot use GPL, I suggest to use x264 for encoding. It is simply the best there is. There is nothing similar to it.
The ethical argument is that failure to detect a life threatening condition in 100 people is not the same evil as causing a life threatening condition in 1.

What it boils down to is the rate of false positives versus the rate of undetected positives (as opposed to false negatives). If, for example, the Apple Watch in use by 1000 people detects 3 people who with a-fib who previously were not aware of their condition, we might say, "excellent!" But on the other hand if it turns out that one of those people didn't have a-fib, was put on medication and suffered complications, we now have 1 person needlessly suffering who wouldn't have been suffering before and 2 people who are in no better or worse shape than they would otherwise have been. If the regular detection rate of a-fib leads to about 1 person in 1000 being granted an improved quality of life, has the a-fib detection program been useful or harmful?

Then it gets worse: what if the test we use to "diagnose" a condition have a high false positive rate? One example is screening for lung cancer: the screen itself has a 35% false positive rate, but the condition has a 2.1% fatality rate in the population. If you don't screen at all, 21 people in 1000 will die from lung cancer. If you screen, you end up saving about 10% of the people with lung cancer (about 3 out of that group of 21). But the screening means over 350 people end up being told they have lung cancer when they don't, 25 people end up being subject to an invasive procedure to diagnose the condition, and 3 (otherwise healthy but falsely diagnosed) people develop a major complication as a result of the invasive procedure.

Is all that harm done worth saving three lives?

The above is illustrated in this paper about lung cancer screening: https://t.co/YlbZIraekL
It's a triumph for Japanese and the rest of the world! Eagerly awaiting for more photos and results of the science experiments.
Hasta la vista Silicon Valley
So dependent types aren't static?

How does Idris solve this problem when compiling to JavaScript?
Don't confuse extreme poverty and poverty.

Extreme poverty is defined as: "a condition characterized by severe deprivation of basic human needs, including food, safe drinking water, sanitation facilities, health, shelter, education and information. It depends not only on income but also on access to services."

Generally, I'm skeptical of adjusting for cost of living when you have housing prices as you do in the bay area. You still have options to move away.
The neural network told us to burn all the money, so we did.
I'm not going to argue that one spreadsheet solution is "better" than another as that is really a question of personal preference. However it should be noted that people do actually do these sorts of demos in other programs as well. And not just FOSS solutions but ive seen people do fanciful stuff in Google Docs too.
Pablo Escobar Museum shut down by police
It doesn’t matter how many satellites you’re launching, BFS has a lot of stuff on it that you don’t need for satellites. It can get away with that because reusability means it’s still cheap, but if satellite launches were your goal you’d skip the solar panels and living quarters and in-orbit refueling and a bunch of other stuff.
iPhone Xs teardown
Isn't ffmpeg's libavcodec a good decoding library?
Fair enough. It was one element of the whole thing and I could’ve listed more.
The flaw with that is moderators and companies have to make a determination for speech they disagree with. Not all sites ban people in the same way for violent threats, and similarly all sites view inflammatory or derogatory speech in different ways.

At some point in the equation there will be a value judgment made in terms of what breaks the rules. People banned by that moment will cite censorship and demand to be heard (see: the various subreddits banned by Reddit) while people wanting that content removed will celebrate. Making the argument into one purely about censorship ends up removing the nuance and reasoning for why someone was banned, which is why when people talk about conservative voices being banned by twitter, they often ignore the damage and harm Alex Jones for example has been responsible for to many families involved in school shootings or the various conspiracies he peddles.
There has been a lot of recent research and recommendations for policy change around reducing the frequency of screenings for various things.

Time and data will surely tell if this type of ECG screening is helpful or harmful on a population level. Certainly, some people will get a secondary ECG indicating intervention is required, and the intervention will improve their lives. Others may have a negative result from the intervention, and may never have found their way into this intervention without this screening. For some, this screening indicating a problem but a full screening indicating nothing will drive persistent anxiety.

It is absolutely not the case that more medical intervention is an unqualified good, even ignoring the economic costs.
HN doesn't support fenced code blocks. You should indent code with 2 (or more) spaces to make it shown verbatim.

https://news.ycombinator.com/formatdoc
Wondered that myself. It’s surprising there’s not more languages with dependent types (and the associated requisite libraries).

I suspect it’s taken a while for the theory behind dependent types to become widespread enough for some enterprising hacker or grad student to make a useable language for them (e.g. Idris). Even if a new theory comes along it takes time for appropriate metaphors and methods of using them to be created and disseminated.

Though does computing the dependent types at compile time take more process.
Some interesting comments on this (from fb) from Grahame Lynch who produces CommsDay:

'''

I am inclined to agree with this. Looking at various tendencies in internet governance and national security legislation around the world right now there is more pulling the internet apart than pushing it together. This has been fairly likely ever since the world split 90-50 on how to/whether to regulate the net at a global level via the UN/ITU at WCIT a few years ago. In a sense, the Chinese internet already is its own thing, given how "separated" it is from the rest of the world by firewalls, deliberately constrained bandwidth connections and so on.

You will also see the same trend in telecom supply chains. There will be one for America, Australia, India, Taiwan, Korea and other nations in their sphere of influence which will resist China-sourced kit and one dominated by China for the rest of the world. The moves against Huawei in various countries is the forerunner of what is an articulated but little publicised US-drive to favour non-Chinese actors in the network technology supply chain. Samsung will be a big winner from this (as will Ericsson, Nokia, Cisco).

https://www.cnbc.com/…/eric-schmidt-ex-google-ceo-predicts-…...

I've reported on this for a quarter of a century and, to be frank, I am surprised that the net and global supply chains have remained as open as they have for all this time. The next few years are going to be very interesting - or disturbing, depending on your POV.

'''

EDIT to reflect CommsDay which I think is the correct short title for Communications Day newsletter.
Honestly, DI is really a thing of the OO-Obsessed world when everything has to be a class and instantiated.

In the JS/TS world, we mostly use Interface/Type to describe constraints, and most of the module export function or group of methods in a const (namespace, module,...) but the caller does not have to know if it is a class or just a object with some methods, and does not do a "new ..." or @inject... anymore. Much simpler, much more intent driven, and you can remove a lot of boilerplate code (which DI still is)

Now, one of the value of DI is for testing, and one way to accomplish module compartmentalization, is with module-alias. It does not the granularity that DI needs, but I would argue that if more is needed, it perhaps because the testing and mocking got a little too out of hands. In our experience, thanks to Kubernetes, we try to mock less, and have our test running mostly with real services.
JEP Draft: Concise Method Bodies
That's a pretty interesting quote. Can anyone provide some more context for it?
Some skepticism is never a bad idea.

Fortunately, third world poverty is rapidly decreasing by whatever measure you choose to look at!
Don’t you think that the discovery of life outside of earth would have a profound effect on the people of earth, and how they operate?

Maybe. Depends on what kind of life.

Finding a single cell amoeba on Titan won't do anything for the millions of Americans working two or three jobs trying to make rent.

I'd argue finding an intelligent society or entity etc... wouldn't change much for them either.

They might have new methods of agriculture, to grow things in the the soil of Mars that are applicable to Earth.

Again, maybe, but this is a very anthropomorphic view. There is nothing that suggests that there are things outside of our atmosphere that can materially and positively impact humanity.
There is significant scepticism[0][1] surrounding this, and many, many submissions:

https://news.ycombinator.com/item?id=18046533

https://news.ycombinator.com/item?id=18044050

https://news.ycombinator.com/item?id=18042687

https://news.ycombinator.com/item?id=18042513

https://news.ycombinator.com/item?id=18042116

https://news.ycombinator.com/item?id=18041616

https://news.ycombinator.com/item?id=18039613

https://news.ycombinator.com/item?id=18038790

https://news.ycombinator.com/item?id=18036367

https://news.ycombinator.com/item?id=18032207

https://news.ycombinator.com/item?id=18029551

https://news.ycombinator.com/item?id=18029459

=============================================

[0] https://old.reddit.com/r/math/comments/9hl35w/sir_michael_at...

[1] https://mathoverflow.net/questions/311062/sir-michael-atiyah...
> You still have options to move away.

True, but that is not a costless option.
I think there is a difference between spending solely for the sake of sales and smart marketing. Most new consumer products aren't completely novel, so if you can figure out to gain sales with a low marketing cost, it gives you a huge leg on the competition.

When I was hustling into the fray of starting a direct to consumer business, our head of branding and marketing previously ran the launch strategy at AdoreMe, a lingerie company. When they launched, they decided to feature a corset only line since it was the only lingerie related keyword on google that Victoria Secret wasn't bidding on it. They combined that was early influencer marketing to dominate a niche with cheap cost per click.
I can tell you've never actually tried doing that, especially not with a team of 4-5 developers and constantly changing requirements.

If it doesn't sound incredibly painful your webapp isn't complicated enough to warrant a framework anyways.
I used to this do exactly, but switching to Firefox containers made Chrome redundant. Chrome uses too much memory to leave it running just for few websites, and Google including analytics script as builtin library was the last straw.