skysight-inc/HackerNews huggingface dataset:
I use my own preprocessor for Chez Scheme. Comments begin flush left, code is indented. Indentation implies the parentheses that it can. "|" opens a group that self-closes at the next unbalanced ")" or the end of the line. "$" is a placeholder where there's no Lisp symbol, when one needs to imply several opening parentheses at once. Together this avoids Lisp's signature 17 car pileup at the end of every expression.

I look for the "$" or equivalent in any proposal out there, to see if the author has written lots of code or is just talking. It's like looking for bone marrow in beef stew, evaluating a cookbook. Marrow is central to the story of Lisp; we got our start being able to wield tools to crack open bones after lions and jackals had left a kill. The added nutrition allowed our brains to increase in size. Soon we mastered fire, then Lisp.

I need a Trojan horse, to release this. I helped computerize algebraic geometry. The old guard doesn't change its ways; new people show up with open minds. I want to write a language whose core ability is concise monadic parsing of trees, with macros its core strength rather than a bolt-on. Then I'll "happen" to use it in a definitive successor to Okasaki's book "Purely Functional Data Structures". Oh yeah, and use this alternate syntax. I see no other way to adoption.
I agree. It's just wishful thinking, not what I think would actually be best.
There is no doubt video hosting is hard, but I think you have misunderstood my proposal. The aggregators don't need to host nor do the content creators need to host. Once they are significantly big they could choose to tackle the technical problems themselves to improve UX. In the mean time, video hosting companies fill the need for content creators hosting while making it as easy as using YouTube to upload their videos.

TrainVids.com doesn't get many hits so for now they rely on the source' perfomance, but CatVids.com gets millions of hits and they long ago invested in a redistribution layer. Meanwhile ContentCreatorMatt pays $5/m on his source hosting with burst protection should a video go viral. Hosting can afford this because they have thousands of creators who never get a hit video. While CreatorTom only submits to large platforms with redistribution so he doesn't have to pay for traffic.

I wouldn't use P2P nor expect people to host the videos at home because that would never work for the reasons you outline. But think of live streaming and how that distribution works and that is just one possible method an aggregator could choose to increase performance of slow sources.

The idea is to break up the video platform monoculture and make the space competitive again, so that there will be some variance in performance to end users depending on the aggregator they visit isn't an issue.
Sure, there are many other countries that likewise lack a clear strategy. But it's not good to grade on a curve here. Americans should be demanding a clear strategy, both from the states and from the federal government; they mostly aren't, and I don't know why.
It seems to me that someone told the marketing team to burn money in a creative way. And they did.
> nurses change their masks all the time,

Do they? Are you a nurse?

> nobody skis every day for eight hours, (FWIW the vast majority of people skiing don't wear masks over their mouths)

Show me the statistics on that.

> Like every hour? If not good luck with that, it is a pit of infection, a wet and warm substrate for bacteria and fungi.

This is the most inane argument ever. You're basically saying those same exact bacteria and fungi magically don't go into our airways without a mask?

Masks magically breed this within a day? Also... who says they are bad? Hate to break it to you, we are FULL of bacteria.

Seriously, take a step back and think hard about your logic. Something in your brain isn't firing correctly.
How can you attribute every excess death to covid alone, at least directly? There are many countries where family violence has increased, alcohol consumption, suicide, etc. I don’t think every excessive death can be attributed to covid.
Indeed. I would have been very interested to know more.
I'm new to programming, and started a project recently using Python. What other languages you recommend that would be better?
I was curious. Not very convincing data. Mortality has gone down in Sweden in the long term so covid is not actually a big deal? I don’t see the connection
The what if's get awfully tired.

My mother _actually_ passed from cancer in May. I sure wish I could've spent more time with her before that happened despite any risks.
This is one (useful!) interpretation of "code should be self-documenting". Just put the documentation into strings.
¿Cómo viven su día a día?
Nitpick: it’s “scrapes,” not “scraps.” To scrap something is to throw it away. To scrape something is to ingest it. The two words are, in fact, nearly opposite.

Sorry — I don’t mean to pick on you — it’s just that I see this mistake with an inexplicably high frequency, and it’s like nails on a chalkboard for me.

Also, very cool service!
> What are your thoughts on a state of permanent lockdown in order to eliminate the tens of thousands of worldwide deaths that occur every single year due to the common flu?

Total lock-downs might not be necessary. From what I can tell, the working from home-thing pretty much stopped this year's flu epidemic; one of my customers talked about sick-leave being down by over two thirds since the pandemic hit. They've already changed their policies so that anyone with cold or flu symptoms are required to work from home from now on.

> Perhaps life to most of the world involves balancing several factors, one of which is risk to personal health.

No doubt about it. However, this pandemic has shown us that there are plenty of measures that can be taken without major disruptions.

Personally, I'm all for telling people with a sore throat and fever that they should stay the fk away from things like sports events, even if it's just a flu in that specific case. The only reason the flu does go around like it does is because we let it. We don't have to.
Because according to their terms of service they can share your data with third parties - https://foundation.mozilla.org/en/privacynotincluded/product...
After 40+ years, you STILL have to manually add your resume to a million different sites and services. Hell, I looked at a LinkedIn job yesterday that wanted me to sign up for 'neuvoo' crap to apply. Wasn't one of the original benefits for job applicants supposed to be a single resume to maintain and easier job application? Seems like you do more data entry now then back in the 80s when you could just hand your resume to a recruiter that would re-work/re-type it if necessary, submit it to relevant companies, and come back to you with a list of places wanting to interview you...

Also, not having even rough salary ranges in the ads can result in wasted time.

edit: clarify resume thing
I have the same issue on IOS. It’s really annoying. I know okay, kill the app and restart it, but trying to get the non-tech family to do that is painful. The concept of closing an app on IOS just does not register (which overall is not a bad thing expect around issues like this).
> At least you won't need to wait half a lifetime or longer to see if your ideas pan out or not.

Or in the case of physics, wait half a lifetime to get a non-postdoc job.
Feds investigating allegations TikTok failed to protect children's privacy
Infection rates are climbing everywhere because of increased testing, but most of the latest infections are of younger people. Thus many are symptom free or mild, and mortality rates have continued to fall since the peak in April. Look carefully at what the news reports say, and also consider the political agenda of the source. (The next POTUS election is four months from now.)
Sheet is retrieved and parsed client-side. React lets me iterate faster. I also use Next.js, so where possible I can do server-side rendering before sending the rendered bits down the wire.
Cyanobacteria
I don't see why microphone should require camera access. I can think of a few scenarios that need the former and not the latter.

What about a voice calling app that doesn't have video calling support?

What about a sound recorder, voice recorder, music capture or PTT/walkie-talkie app?

What about something like Shazam?
TrueAccord and Backend engineer position completely aligns my interests and skills. Can you refer me for Backend engineer position? Feel free to reach me on LinkedIn: https://www.linkedin.com/in/nitesh-sarode
Reddit has the problem where the most popular subreddits (r/gaming for example) have generic content upvoted the most, and so there often isn't actually anything worthwhile there if you have an actual interest besides memes or general industry news.
Then on the other extreme, you have overly niche subreddits for specific video games, where most of the content is just fan art, overly in-depth subreddit drama, or similar memes now just re-skinned for that specific game.
There isn't really a middle ground for a lot of these categories, for the people who want "just enough content for the games I like". I've found either subscribe to r/gaming and get a broad amount of nothing, or subscribe to a list of the games you enjoy and get a very in-depth lot of nothing.
I don't think micropayments (cryptocurrency or not) do anything to help the situation. The costs of seeding (electricity, bandwidth, the actual hardware) are all macroscopic costs that micropayments are never going to cover.

End users do not want to deal with micropayments, they'll just watch one of the billion hours of content on YouTube. Few content creators have any sort of following that will follow them to SelfHostedTube.

Self hosted video streaming (of any configuration) is competing with "free" and convenient YouTube. Unless some independent service offers a similar level of service it's not going to catch on.
Signed records/messages don’t require a blockchain.
Sure. I've run in the past popular blog in the past about ERP software which for some keywords came up as third or so in Google and I got lots of offers from that.

Since I'm not working in that exact field anymore this blog has lost its rankings. I do have another blog that I'm building (https://integrated.ee) which I kind of hope achieving something similar in the future. So far from the new blog there has been one contact which didn't lead to any significant co-operation.
About what's being built, look into the https://identity.foundation, there you will find about decentralized identities, where you have a wide amount of use cases, like verifiable credentials, and authentication.

Particularly, I'm involved in a similar project involving decentralized identities and verifiable credentials, and we just released an app to showcase how everything works: https://atalaprism.io/

Another use case where I know someone working on it relates to auctions for cars being sold by insurance companies, the problem is that external people is bribing employees from the insurance companies to win the auctions, the goal is to remove this possibility by using smart contracts.

On the previous case, it's a common problem on public auctions conducted by the government and I would love if they use a system where auctions could be audited by anyone, so that participants trust that no one is cheating.
That's exactly the distinction I was making. Do you call Ericsson a tech company? I certainly never hear them in that bundle.

Again, "tech" != "technology" in this domain in my view. It's the double-great-gp or so that says it, but "tech" in my view leans towards companies with humungous software outreach and data ownership, so clearly FAANG but also Microsoft, Palantir, data warehouses, that's the kind of thing I put in this "tech" bucket. It's a type of company that probably knows more than it should about a lot of things.

And again, this isn't the "Wikipedia" definition (which itself has context-based caveats...), but my opinion and experiences involve this being the sphere of companies one calls a tech company today. I apologize for my inflammatory tone in the other comment and hope I have explained my point, even if you hold a different experience
New Zealand hasn't even begun dealing with Covid-19 yet, unless their plan is to keep the borders closed permanently, or at least until the development of the first vaccine in history for any coronavirus.
They are probably the farthest away from reaching herd immunity of any developed country.
I'd say it depends on the types of social networking, the author of the article talked about very shallow networking (people you met at a meetup, stack overflow, etc.). That's different than building deeper relationships with co-workers. I've found that the two are not necessarily correlated and people who go for numbers will often sacrifice depth. I've seen this on LinkedIn with juniors who I'd never met that randomly connect with me (often bootcampers) and I can see that they've done the same with hundreds of others in the field (they never message me if I accept).
My apologies. I didn't realize there was an explicit policy.
and it so begins...first a gazillion dollar fine and then a ban:

"Secretary of State Mike Pompeo said Monday that the U.S. was exploring a ban of TikTok and other apps associated with China, citing concerns the apps have shared user data with the government in Beijing."
My wife and I had a small ranch just north of Austin and had a ton of fire ants. Often when clearing a field with the tractor and a brush cutter I'd hit a mound of fire ants. If the wind was just right they'd blow right into my face. Lots of fun.

We have since moved north and I was just commenting to my wife how tame it is here without the rattlesnakes, fire ants, and killer bees. Don't miss that time a rattlesnake got into the house one night.

Texas sure isn't boring.
Oxygen gas, colloquially referred to as 'oxygen', is a chemical.

If you want to be a smartypants I guess noble gases are elementary.
In academia, "type theory" almost always means dependent type theory, such as Martin-Löf type theory or homotopy type theory. Type theory is used in most theorem provers as a foundation for mathematics. The title of this blog post is using the term in a standard way.

Programming languages such as Haskell and Java are not based on type theory. They have type systems. Haskell's type system is much closer to type theory than that of Java, but it's still quite crippled compared to what type theorists study.

It is of course possible to define things in type theory such that 1/0 = Infinity or something else, but that is not the norm.
> What advantages does Python have over Julia?

You can get paid to write it and there is a mature library ecosystem around it.
This is about Twitter. And it's almost exclusively about Twitter.

Even the article says "on social media, the reaction was swift, with some heaping ridicule," because that's what social media is. Then there are some tweets embedded.

Twitter does not represent real people. It is not a town square, and I've seen no evidence of a widespread cultural change in real life.

It's hard to remember that when we can't see real people. But I think it matters.
Minute Mail Mobile – 10 Minute Mail Mobile
Thanks. That ought to be TFA's URL.

Paper: https://sci-hub.st/http://dx.doi.org/10.1093/brain/awaa240
"significant" is relative. "Up to $13"

https://www.voanews.com/science-health/coronavirus-outbreak/...
I've recently realized that whenever I do really well in an investment I always sell it too soon. I've come to the conclusion there are really only 3 reasons I will sell anything in the future.

1. I need the money for something that isn't frivolous. (ie: house down payment, retirement income, etc...)
2. I found another equal or better investment I will put the proceeds into immediately.
3. Something has fundamentally changed about the company or it's market that calls into question it's future prospects beyond regular market competition.
As does Nim.

There's a thrill to monadic parsing of text in Haskell. That thrill hasn't been extended in any language to algebraic data types. To me, "full" in any full power macro system I've seen means they've adopted every lesson that Lisp learned. I don't see anyone going on...
FireBee (http://firebee.org), which is a modern clone of Atari ST, uses it.
Vietnam has low mortality because they stopped the spread of the disease early on. If they had allowed it to sweep over the country, like Sweden, this population age difference might have been a factor. Thankfully, it never came to that.
Show HN: No BS tech news aggregator with reading times and article sentiment
Not surprising. I have worked with different ant sp. where males fly to mate.
I'm surprised there are no opinions on this, at Hacker News. Even if it is just to object to the conclusions that Carr draws :)

For the record, I'm a huge fan of Carr and his work.
I rather saw this as hailing back to some of the tasteless savagery of his earliest work. I guess there's a problem with me that it's my favorite of the new batch!
> Do note that there's easily a 15-day delay when it comes to Sweden reporting somewhat correct number of deaths,

15 days ago Sweden was experiencing about 20 covid deaths per day.

https://en.wikipedia.org/wiki/COVID-19_pandemic_in_Sweden#De...
can we get past the deaths anyway, like 20% of people are going to have weeks if not months of below average capabilities plus some unknown percentage of lung damage.

Everyone keeps forgetting this is a NOVEL virus, between rare severe impacts to children, there have been neurological any circulatory issues so saying it only matters to the people who die I think is ludicrously naive.
Living on the Most Crowded Island on Earth
Paycheck Protection Program Recipient Map
Ask HN: How can I train my voice/speech to be as good as Neil DeGrasse Tyson?
The Arctic Is on Fire Again, and It's Even Worse This Time
Also thankful the "I don't get it" aspect has survived. :)

https://www.youtube.com/watch?v=LjfkynJ4hbI
In the (probably fictional) Russian Nail Factory example, the customer would reject the nails, if there was a real customer, not a planned economy.

External metrics are harder to game. For example, many car companies pay attention to IIHS safety statistics, JD Power Ratings, etc.

You still need internal metrics, but it's harder to have target drift when you also have external organizations measuring things.

In the NYPD example, you could imagine state and federal law enforcement oversight of the city. Or the city could measure civilian complaints. At some point you have to have good faith, just metrics don't do anything by themselves.
The internet is disproportionately filled with the voices of people with excess time on their hands
South Korea never had lockdowns, outside of shutting down bars when they traced some superspreading events back to them. The idea that they’re somehow less committed to human rights when they’ve preserved freedom of movement, while avoiding mass deaths, is laughable on its face.
> Pro applications from Apple — including Final Cut Pro, Motion, Soundtrack Pro, DVD Studio Pro, Aperture, Logic Pro, Logic Express, Shake and Final Cut Express — are not supported by Rosetta.

Huh, I wonder why that was.
Show HN: ip2unix – Turn IP sockets into Unix domain sockets
"we totally should've killed more poor people"

- you, looking at the economy
There are several reasons why Linux is better even though it has low desktop market share.

* free and open source
* legacy or custom hardware support
* Almost all architecture support
* freedom of choice (Linux distros)
* Linux is everywhere
Same goes for Mark Twain.
Magic Leap Hires Top Microsoft Executive as CEO
I've lived in Austin for about 15 years now. One of my jobs around the house is to do mowing and other yard work on our 3.5 acres. So what I'm saying is I've spent a lot of time in the yard and grass and cutting brush.

Fire ants don't bother me at all. As soon as they start biting and you can take corrective action.

The thing that I hate far more are chiggers [1]. They climb to the tops of blades of grass and wait for a host mammal to brush against them, then they hop aboard. They start climbing up your leg, but they are so microscopic you can't feel them at all. They climb as high as they can, but when the hit an obstruction they don't waste time trying and then burrow into your skin, using enzymes to help dissolve their way in. They feed on skin for a few hours then drop off and hope to complete the next stage of their life-cycle, even before you are aware they were there.

It is common to do yard work and the next morning have a dozen or more itchy, swollen red bumps at the underwear line. They remain itchy for days, far worse than fire ant bites (at least for me).

[1] https://en.wikipedia.org/wiki/Trombiculidae
I loved reading Far Side as a kid. But my reaction to probably 10% of them was "I don't know if I am too dumb to get the joke or the joke is too dumb for me to recognize it as a joke."
While many here would hate it, Goodharts law is a powerful argument for things being obtus, vague and abstract. The less measurable something is, the less it can be easily hacked.

Also, interestingly, what will stand in the way of AGI - no definable loss function for these vague cases and scenarios.
I work in e-commerce in the US. Lockdowns are also great for business
Petnet charges new $30 annual fee for a service that still doesn’t work
You’re not accounting for the 1 to 7 stock split. 7 * 11.55
Agreed. But, I'd give 10:1 that he's using an iPad Pro + Pencil. Got one a few months ago, have never drawn anything meaningful in my life, but the tools are so good that I wanted to start.
Building Habits and Achieving Goals
> no reason that an MRAP should be on American streets

It's not _on_ American streets. I lived in the US for 20 years and I've never seen one. Likely some SWAT teams purchased them for pennies on the dollar, but I'd argue SWAT teams need them, to reduce casualties when getting close to violent action.

> assault rifles

To the best of my knowledge assault rifles are not in use by US police. AR15 is not an assault rifle.

I saw plenty in London though.

But that's nuance - people younger than, say, 35, won't understand any of it. Literally nobody is interested in the actual reform at the moment. If they were, we'd see some serious proposals by now.
It's painfully bad enough that I have to assume it will change before release.
As others have mentioned, steroids are frequently used to treat inflammation. Steroids' impact on whether a person lives or dies because of COVID is usually minimal.

Unfortunately, this has led to a shortage of some steroids, including hydrocortisone. There are people with unrelated medical conditions, like a member of my family, that take it as a replacement for cortisol in order to stay alive.

We have had a pretty rough time finding a place that can actually fill the prescription lately.
There has been reports of blood related complications with COVID infections; inflammation and blood clots. Anecdotal, but here is one case:

https://www.scmp.com/news/world/europe/article/3091949/coron...

And a Nature article with more information:
https://www.nature.com/articles/d41586-020-01403-8

Obviously it is too soon to tell, but this may be more of the same. It is concerning because we expect a large number of people to be exposed to this virus. Even a small chance of long term damage ends up with a lot of cases with the numbers we are expecting.

Additionally, it may change the calculus of so called herd immunity strategies. Though it is a little late for that.
Seriously? I’m Canadian, and give me a map of the US with state lines included, and name tags of the individual states, and I could probably correctly match up 80+% of them.
The Amiga-version was on 4 floppies, as most Amigas were equipped with drives for DD floppies (880k when formatted for the Amiga), while contemporary PC's had drives for HD floppies (1.44 MB formatted with FAT).
Older people are less pessimistic about the health risks of Covid-19 [pdf]