skysight-inc/HackerNews huggingface dataset:
The human body is incredibly complicated and we really don't know what we don't know. It's really not necessarily true that drinking a nutrient rich slurry like Soylent is a good substitute for a conventional healthy diet. It literally is an unknown. There's good prior reason to believe it is not significantly better. It probably isn't a whole lot worse either, certainly better than many people's diets.

Thus, unknown benefit or harm which probably isn't huge either way. It's like taking an untested drug that probably isn't dangerous but probably doesn't have a huge effect either. The precautionary principle is the usual rule with such things.

To really know, we'd need multi-decade longitudinal studies of large numbers of people. Soylent obviously doesn't have that kind of evidence.
Show HN: At Home Covid Tests
Love it. Do you have any suggestions on which video tool to use?
"as a last-ditch attempt to avoid being censored, I encouraged them to air their disagreements with me by writing their own articles that critique my perspectives and letting readers decide who is right"

That's not how this works. If the editor concludes that it's a garbage story dropped a few days before the election in an attempt to influence the election, you don't run it and then "let the readers decide who is right". As he well knows, all that matters is that the story runs, not whether it's shown to be false months after the election is over. Strange that he thinks his readers are that gullible.

I want to be clear that I'm not claiming to know the truth as it relates to this story, only that this is the position of the editors, and that his argument is nonsense.
"Censorship"? Fox News has been pushing it non-stop, every night, on 3+ hours of evening programming. Just because every media outlet in the world isn't pushing this (highly questionable) story doesn't mean it's being "censored". You are even free to post about it on Hacker News.
> how do you know that the toolchains for Rust, Spark, sel4 work correctly? Have all aspects been verified or proven

In the case of Sel4, yes. The ARMv7 assembly code has been shown to be free of bugs. [0][1]

SPARK Ada does not have a formally verified compiler, but there are various Ada compilers that are approved for use in life-and-death applications. The Boeing 777 flies on Ada code, for instance. [2] To my knowledge, compiler bugs aren't a major practical concern for SPARK, although a formally verified compiler would be a great addition.

C has a fully verified compiler in CompCert. [3] I know of no other language with a fully verified compiler. (CompCert supports almost all C features, so it will either produce a valid binary for the input C code, or else fail with an error.)

Rust has a bit of a history of troublesome compiler bugs. I think we're a way off seeing Rust used in critical systems, assuming it would even make sense to use a language like Rust. Memory management is handled quite differently in applications like avionics.

> Can a single person fully understand them?

The compilers/linkers? I imagine the most well-informed developers on the Rust and Ada compilers pretty much know how everything works, but really that's just a guess. If someone were to make a compiler specifically for SPARK, it could be simpler than a full Ada compiler, as SPARK forbids most Ada features. I don't know that this is likely to happen though.

[0] https://docs.sel4.systems/projects/sel4/frequently-asked-que...

[1] https://sel4.systems/Info/FAQ/proof.pml

[2] http://archive.adaic.com/projects/atwork/boeing.html (This is about Ada, and is not specifically about the SPARK subset)

[3] https://en.wikipedia.org/wiki/CompCert
yes, that and making IDs much harder to fake credibly.
> And I'd be pretty skeptical of someone starting a new project in Lua today.

Well, there is the upcoming play.date SDK for example and a lot of jam games.

The biggest reason why these languages are used is because they are fun.

Don’t get me wrong, I really like swift and SwiftUI. But there is something quite liberating when throwing away the type system completely and just hacking at the code. This brings in new people who get motivated by seeing a thing shaping up rather than staring at weird error codes.

> but thrift/gRPC are a lot nicer to work with than REST APIs.

I agree with this, protobufs are nicer to push around rather than JSON. Ultimately though one can do pretty arbitrary stuff with either.

For your last point I think that is a separate issue. The ubiquity of web is certainly reason for its popularity. But I was mostly talking about why people hacked around issues with upstream rather than trying to find more sound solutions.
Agree with you but keep in mind we can also change humans to be better suited to the environment there. So in the long term we can work both sides of the problem.
How to internationalize any C program
AllWinner are one company that has publicly disclosed doing a large multi-million run of chips: http://www.semimedia.cc/?p=7803 It's not exactly clear from that announcement what they are going to use them for though. "industrial control, smart home, and consumer electronics" - that's everything :-)
> I think landowners in the Roman Empire did in fact partake in other business, say starting gladiator companies.

I think it somewhat depends on the era, but in general if you were a senatorial family, you wouldn't want to do this, because you'd lose your senate seat (and might face other sanctions from the Censor). There were rich non-senatorial-class people, some of whom would have been much richer than most of the senators who might own land along with other stuff, but the big landowners were generally the senators, because they weren't allowed do much else. I think even, say, building an apartment block on land they owned was dubious territory for a senator. Mercantile activities were right out.

In the English case, the landowning classes generally didn't invest in non-land things, and arguably the trigger of the industrial revolution was less the technological advances, and more the development of the capital infrastructure to invest in using them (banks, joint stock companies, etc).
Greenwald was on Joe Rogan recently. It was very interesting. Dude has 25 dogs.

https://www.youtube.com/watch?v=t0rcLsoIKgA

(I assume that even linking to a JRE podcast is cause for mass downvoting on here)
Can you please provide examples?
I would agree, with one caveat: limit taxes to land only. And then set the taxes so high that the purchase price of land is as close to $0 as possible, which means that there will be both small positive and small negative valuations for the land (because of the tax burden).

This is equivalent to taxing away the land rents: the unearned appreciation of value in property that comes from those around you, rather than what you build.

In this sort of system, other taxes can decrease quite a bit as well.
Without knowing what's in there, it's really hard to make a call on that information alone.

This could be anything from "Hey, the source for this information is notoriously unreliable and doesn't meet our standards" to "He can't publish this because then Trump might win and that's not worth the cost". One is a very valid reason to refuse to publish something, for the other, the ends don't justify the means and he's right to be upset.
We want to encourage the use of less energy overall, but we also want to encourage the use of more efficient/less damaging forms of energy to the extent that we do use it. Progressive taxation accomplishes the former, carbon taxes accomplish the latter.
What leads you to believe that he was trying to spread misinformation? The suppression of criticism leveled against Joe Biden or any other individual in public service is a grave danger to democracy. I commend Mr. Greenwald for standing up to censorship.
It is amazing how the left manages to continually cannibalize themselves like this.

But hey, keep yelling about fascism from the other side of the aisle....
So when "retire" or "sunset" isn't enough euphemism yet, we now have "evolve"...
>we should make allowances for non-abusive colloquial phrases ('wtf', 'what the hell?', etc.) or something, but how can you argue it's not breaking the black-and-white rule as written?

Because 'swear at' at specifically means using a swear _against_ somebody, not just in a statement while talking to them. If you look at e.g. any of the definitions in the free dictionary, you'll find that they're all about using abusive language towards someone, so the idea of 'non-abusive swearing' at somebody in itself is as absurd as say a 'non-abusive insult'.

It's the difference between swearing in front of your children and swearing at your children, one is possibly bad parenting, the other definitely is.

[1] https://idioms.thefreedictionary.com/swear+at
Soylent is not healthy. Does anyone remember how Rob Rhinehart gave himself heart palpitations? How he hired a bunch of marketers, branders, engineers before any nutritionists and medical advisors?

https://soylent.com/pages/careers

He is still making the same mistake by not prominently showing nutritional consultants, medical experts and hiding behind the claim that this is a nutritional supplement.

Please correct me if Soylent has changed their MO of "move fast and break things" with people's nutrition. I would love to be wrong.

edit: The idea of a fast, easy, nutritious paste is great. Nutrition, however, does not often fit into a piecemeal ready to eat box for all your meals. I ended up taking personal nutrition seriously when I realized my dietary choices were undermining my health. You only get one run at this life. Please take the gravity of your health and who you abdicate your health decisions with the respect those consequences deserve.
Default OpenBSD Web Server
It drives up the price of real estate, all of it. Which means that for those Canadians that bought - it's a huge segment of their net worth. And they vote.
Glenn had a 3 hour long conversation on a podcast a few days ago where he laid out the problem really well:

Journalists have essentially become socialites. They don't want to publish articles that will rock the boat, because the people they are friends with are the ones that own that boat, invite them to parties, and are a part of their friend groups.

The reporting around this story has been absolutely unbelievable to me. This story seems like the type of thing that would normally make peoples' entire journalistic career, and yet the journalists, the people who are supposed to be a part of our protection and sense-making system are actively trying to suppress it.

It's actually surreal to see this happening.
> We are witnessing the biggest concerted censorship effort in the history of the USA.

Bigger than the Office of Censorship, deployed during WW2 to help propaganda efforts? (https://en.wikipedia.org/wiki/Office_of_Censorship)

I seriously doubt that. The Office of Censorship was regularly opening private mail from USPS and purposefully destroying private mail that was unsavory to the war effort.

-------

Historically, the practice of postal censorship extended back to the Civil War: with both Confederates and Union governments censoring the mail within their control.
That book was a delightful surprise.

I never expected that the chapters about giant, intelligent spiders to be the parts that kept me hooked. I'm not sure I could have cared less about what happened to the humans.
Is there anything worth reading by the Intercept excepting Greenwald?
I wonder if his come-to-Jesus moment happened before, during, or after his recent podcast with Joe Rogan.
Can we take oath on Quran? Kaffara (expiation) for breaking oath on Quran
Maybe that was the case as soon as it was legalized, but by 2017 dispensaries had deposited nearly $1bn into checking accounts at credit unions. In CA, my dispensary takes debit card.

https://www.nytimes.com/2018/01/04/magazine/where-pot-entrep...
The article is USA-centric and completely ignores how the railroad and timezones come from the UK
What do you make of the idea that independent journalists on the web being the future?
This is mainly for developers, ie people porting their software and distributions to run on RISC-V, or doing builds, CI and similar.
The first two of the three hours of him being a guest on Joe Rogan yesterday were brilliant. I've never heard someone so eloquently tear down the shiny facades of what passes as
high-brow "journalism" these days.
How is not publishing an unverifiable story "censorship"? That's what we trust real news organizations to do.

And saying that they should at least publish the controversy is absurd -- first of all, the Times did publish the controversy days ago [1], and second of all, it basically allows the peddlers of these unverifiable stories to dictate the news.

1. https://www.nytimes.com/2020/10/25/business/media/hunter-bid...
It would be so very, very interesting if Trump were to pardon Snowden.
With more than 40 states reporting an increase in Covid-19 cases and many in the Midwest seeing record hospitalizations, no surprise

Trump 2020
who defines what is misinformation and by what standard? it seems any opinion that doesn't conform to mainstream ideologies are now labeled as misinformation.

the whole point of his article he published is you don't shut down opinions and works of other journalists just because you don't agree with it as an editor.
That's some pretty weak censorship if there are public YouTube links to it.

The only way this will make history is if it pans out to anything besides what everyone already knows, which is that Hunter Biden is an addict and has been profiting off his family name.

Any evidence connecting that to Joe is very weak so far.
Why do you think moon is harder than bottom of the ocean?
right but the distinction - made specifically for crypto - just leads to an arbitrary pointless discussion about what things have value at all. The people working on a Google product that will be allowed to live for 9 months? The people at the adtech startup? The defense contractors?

Its tiresome and unnecessary. Instead of talking about stacks, say crypto once and everyone loses their minds.

The only distinction is something you respect verses something you dont. There isnt any underlying specific or accurate distinction from other industries to support it.

The question is about employment or, by proxy, making money.
What are you talking about? MDN is not being retired nor sunset. They’re only changing the underlying technology. It’s completely fair game.
Fundamentally, investments are a bet that the future will be richer than the present.

If there aren't enough good investments now then that's an indication that the market believes there are major structural problems with the economy that will prevent the future from being richer than the present.

That's a far, far, more serious issue than just a question of what the kind of people who expect to receive passive incomes will do with their time.

Obviously, the pandemic is having a major current impact, but as you say, there has been a shortage of good investments since at least 2008.

I believe the underlying issue is a misallocation of resources into rentier economics and not enough into productive growth. We've collectively put far too much money into monopolies that squeeze larger percentages of money out of people and not enough money into innovation that improves the human environment. We need more of the original Google (i.e. the revolutionary search engine) and a lot less of the current Alphabet (i.e. the rentier advertising monopolist).
When William Roper argued that he'd "cut down every law in England" in order to get the Devil, Thomas More responded with: "And when the last law was down, and the Devil turned 'round on you, where would you hide, Roper, the laws all being flat?" ...

This is where the entire mainstream center-left/left news establishment, along with the DNC, ended up after 2016. Trump broke people's brains. It's as simple as that.
It is a real market, but it's a captive market.
That’s not a requirement, that’s the goal. In theory you could have a self sufficient base with 0 people and AI, or 100,000+ people for long term genetic diversity and an automated wonderland, or ...
How much help you get from a contact or referral depends on where that contact is placed. Sometimes you just get your resume put on the short list. Sometimes you skip the entire process. Regardless of company size or HR policies, a hiring manager who wants to hire you will do that.

That has happened to me more than once, and I have heard the same from former colleagues who literally walked in to jobs at Google and Netflix without any interviews or HR, because they knew the right person and had a professional reputation that spoke for itself. You don't suppose Google interviewed and tested Rob Pike, or Microsoft whiteboarded Anders Hejlsberg, do you?
Please elaborate on what you perceive to be holes in this story.
The Penguin Book of Curious and Interesting Numbers

https://www.amazon.com/Penguin-Book-Curious-Interesting-Numb...

The caveat here is "for some value of 'interesting'."
Thanks for thoughts here.

One thing we continually hear is that the familiarity, trust, ecosystem, maturity, etc. that folks love about Postgres is a huge boon and one deciding factor for their adoption of TimescaleDB.

Just to clarify: those benchmarks about InfluxDB vs. TimescaleDB were fully redone just 2 months ago (August 2020) with the latest versions of both, so should be quite up-to-date. In fact, since the ~year since our last benchmarking, TimescaleDB's performance _relative to InfluxDB_ only significantly increased.

"Version: TimescaleDB version 1.7.1, community edition, with PostgreSQL 12, InfluxDB version 1.8.0 Open Source Edition (the latest non-beta releases for both databases at the time of publishing)."

https://blog.timescale.com/blog/timescaledb-vs-influxdb-for-...
This is information that is trivially verifiable and has been verified by numerous sources.

There's already been leaks such as a video of Hunter Biden smoking crack while receiving a footjob (edit: if this seems crude, I'm mentioning it as something that makes it very clear that the info is real) so unless you think it's a deepfake - or that they hacked it from his iCloud account and made up the story about the laptop repair shop - then you cannot deny the veracity of the story.

It's also been corroborated by people like the aforementioned Bobulinski. If this were truly a false story it would be trivial for the Biden campaign to deny the allegations.

The reason this story is not being reported is not because it's not "verifiable"; even ignoring that it is verifiable, the media had no trouble publishing the unverified story of Trump's tax returns, the unverified and now completely debunked Russia collusion hoax (if you're not read up on it, please don't reflexively downvote - with what we know today it is now certain that it was actually a manufactured hoax and not just an innocent misunderstanding), etc. So there is absolutely a double standard at play and it's very plain to see if you go look for it, but if you just stick to CNN and other mainstream media you will literally never see the full story (or even a fraction of it).
Not a single correct thing in that, I believe! Life on Earth has evolved to live in hundreds of dissimilar environments. Heavy salt is toxic, yet fish manage the ocean. Yellowstone has life in mud pots at hundreds of degrees. Air doesn't exist underground yet bacteria thrive there. Hell, there are living things on the surface of the space station.

To get people to tolerate more salt, we'd have to have a fish's ability to regulate it. Ok, genes for that. Air issues? Filters, microstructures to migrate particulates out, baffles (like many creates already have). Deep-ocean pressure? Only a couple of issues there, and certainly life thrives at the bottom of the ocean.

It's not optimism; its simple observation of what we have already on Earth in existing life forms.

And 30,000 years changes not a thing. The log of 1 Trillion base 2 is 39. In 40 generations of space colonization, that's 40 times 30,000 times however long it takes to rebuild the capability on each colony. In a dozen million years the galaxy would be covered. Its 20B years old. So, nobody's tried it yet.
Oh many people know it’s coming, and have simply accepted there is nothing that can be done.

Solutions that require the cooperation of the entire human race will never work, yet that is what keeps being pushed upon us.

The only real thing that can save us is for a small group to come up with some kind of technology that can make sweeping changes on a massive geological scale and ultimately reverse global warming without humanity having to do anything.

People aren’t going to change their lifestyles to save the world. Many people don’t even change their lifestyles to save themselves when it becomes medically necessary.

Personally, I’ve come to accept this is the end. If I must die to global warming, at least it will be an interesting death, I could have been shot and killed by a mugger or killed in a car crash instead.
I just Googled his name. I'm in the UK so this probably isn't perfectly representative of the US, but I'm struggling to see a historic censorship effort. I'm seeing articles from WSJ, The Times (UK), Fox News, Spectator, Politifact, NYPost, Washington Post, Yahoo News, MSN, Real Clear Politics - in addition to loads of YouTube videos like the one you linked.
Do you have anything to support this accusation?

I've been watching him closely for several years and it seems the mortal sin he committed was his failure to join the Russiagate bandwagon. In the end that was clearly the correct choice, but the liberal media no longer tolerates anyone who has the audacity to undermine their chosen narrative.
It turns out that beachfront property in Siberia was a great deal!
I'd like to see all of the critical statements and related content of Joe Biden that he wanted to include.
By growing big moobs.
No. But a native iOS version will be even less (aka not at all) optimised for macOS than a catalyst app. My point is that devs using catalyst don’t respect any of the macOS idiosyncrasies so why would they when they write iOS apps?

An Electron app would still be better than a iOS version optimised for a big thumb.
Those siberian methane craters make me second guess whether any of that land would be habitable either.
Elon's estimate is that 1 million people are needed for Mars to industrialize sufficiently to become self-sufficient.

A good reference is Casey Handmer's blog or book.

https://www.amazon.com/How-Industrialize-Mars-Strategy-Self-...

https://caseyhandmer.wordpress.com/2020/08/23/progression-of...