skysight-inc/HackerNews huggingface dataset:
> As I understand it, the Church was willing to let go of the Ptolemaic model in favor of a model of Tycho Brahe, which supposed that the sun revolved around the earth, and the planets around the sun, which preserved the apparent lack of motion experienced on earth. They also told Galileo that if he could furnish empirical evidence to support his model, they would have to re-think their interpretation of the Bible. The letter from Bellarmine to Galileo is preserved.

This is close, but a little off. First, the (Catholic) Church had little problem with heliocentrism, provided that it was phrased as a hypothesis. Copernicus was even a Catholic priest when he published his heliocentric ideas, and the Church allowed full publication as long as he called it a hypothesis. The religious authorities that had theological problems with heliocentrism were almost all Protestants. Martin Luther was extremely critical of Copernicus and apparently applied one of his many insults toward the Pole. Calvin and other reformers were also quite critical.

The Catholic Church wasn't (and even today isn't) too concerned with literal interpretation of scriptures, but the Church of the time was very into Scholasticism, Thomas Aquinas' fusion of Classical Greek philosophy (principally Aristotle's ideas) with the theological, moral and even epistemic and metaphysical teachings from the Bible. When the Catholic Church got upset at Galileo, they were upset that he was contradicting Aristotle, not the Old Testament.

And Galileo was wrong. First, the Copernican model of heliocentrism held that orbits were perfectly circular, and even preserved epicycles to correct for the observational deviations from the model. Occam's razor would seem to say this made it a worse theory than Ptolemy's. Additionally, Galileo made a pretty serious mistake when calculating the distance to stars based on his telescope observations, underestimating the distance to the nearest stars by around 1000x. The Church correctly noted that if the stars were as close as Galileo proposed, then measurable deviations in their positions and/or sizes should have been observed from earth at parallax positions; however, the star field remained fixed. To the Church, extraordinary claims necessary to overturn Aristotle required extraordinary evidence, and Galileo failed. Not only that, but he was fairly arrogant about it, insisting he was correct when his theory was clearly contradictory. I strongly disagree with the Church's decision to punish Galileo, but the Church was in fact defending science, both consensus and the scientific method, albeit overzealously.

When Kepler published his heliocentric model that incorporated elliptical orbits tuned using Tycho Brahe's observational data, the reception was quite a bit better across Europe. However, Kepler himself ended up excommunicated from his own Lutheran Church because he believed the moon was solid, which allegedly contradicted the Old Testament, though Kepler appears to have been devout and dedicated much of his life toward reconciling Biblical and scientific truth.
I tried out neovim because of VSCode. The VSCode vim plugins are generally unsatisfying. They’re vim emulators at best. The plugin that uses neovim as a server is amazing.

I tried running it with neovim stable, but it always warned me that was unsupported and I got occasional bugs that required a VSCode reload. Thus, I’ve been on 0.5 nightly for a while. I didn’t know why the VSCode plugin demanded it. I think after reading this post, it’s the LSP support.
My guess is framing it as a $ per person per month came from whoever pointed the report out to the journalist, possibly one of the interviewees (Comptroller, Legal Aid, Councilmember etc). From there the comparison to rent is pretty natural.

I don't think this is bad reporting or anything, I was commenting to help people avoid getting into the trap of thinking in the most obvious framing after skimming a headline.
Welcome to Unreal Engine 5 Early Access
But it’s not per-tent is it? It per-tent-and-services-and-meals-and-sanitation-and-project-overheads.

That’s misleading.

> Numbers are numbers.

But the number isn’t what they say it is.

The phrase per-tent either intentionally or unintentionally misleads you to think that’s the cost literally for the tent and should be compared against rent.
Reminded me of Colorful Notions[1], a BBC documentary from the 80s. I found it illustrated a lot of the weird quirks of colors with rather nice demonstrations.

[1]: https://archive.org/details/ColourfulNotions
Not sure I follow. It sounds like the experts in your example are able to effectively identify fair reviews based on their merit. This would need to be the case for people to pick out unfair reviews (and therefore deter reviewers from writing bad reviews). But it that's the case, anonymity shouldn't incentivize anyone to write bad reviews (since bad reviews would be identifiable and dismissible on their own). If anything, I would think that de-anonymization (implicit in this case, since reviewers are presumably nominally anonymous) would be more likely to empower cult-of-personality effects (or in general, would incentivize looking beyond the merits of a review, to get into an influential person's good books), making bad reviews more influential than they otherwise would be.
There is a great difference between saying "this is Chinese/Bill Gates bioweapon" and "Possibility of the lab origin could not eliminated".
The NPR title esp “High cost” is somewhat clickbait; the current title just gives the number outright.
A.I. Is Solving the Wrong Problem
Yeah and you literally can’t breathe without risking being exposed to benzene. It’s in many adhesives, paints and petrol.

If you want to adopt a zero tolerance policy for benzene then you’d need to ban petrol. Or stop breathing.
I'm most excited by the new UI.
I sure hope no one is throwing out their skincare products.

- 2 ppm is a “best guess” on a safe limit. It’s not like 1 ppm is benign and 3ppm means you’re dead

- 2ppm is an incredibly small quantity of benzene. 3x a very small quantity is cause for concern (why is it there), but not much of a health hazard

- your roasted coffee has a ton of poly aromatic hydrocarbons in it, some of which are carcinogenic and nobody worries about their daily cup of coffee

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4933506/
Good luck writing a data structure more complex than a vector, like a b* tree, with that approach.
Physically no, but the amount of emotional pain endured from reading my code cannot be quantified.
Show HN: Find Emails for Your Niche
This project came out of my own need. I’m a builder and struggle with the early stage of validating ideas with a relevant market. I’d browse Reddit and Yelp, but just wanted direct emails and that wasn’t an option via Yelp, so I found the emails myself for 4M+ US business listings on Yelp. Since this seemed valuable for other solo founders, I built SumoLists for anyone else that struggled with seeding early discussions and finding product market fit.
I look forward to reading this. The person who stepped into the place of my grandfather (both died young) was stationed in Iceland and later Burma. I didn't realise this until I was a lot older and I think he would have probably told people he hadn't traveled much.
That's a LOT of current. At 5 volts that's 48 amps.
Didn't apple do exactly this with maybe sequoia around it's iTunes store to encourage innovation?

Also, dividends generally can't be stopped. The expectation is that you continue and eventually increase them. Share buy backs aren't.
It's been done before (http://pepijndevos.nl/2019/07/18/vhdl-to-pcb.html see also Hackaday), but not exactly a standard use of yosys.
I disagree. The article also clarifies why that price seems higher than it actually is (e.g. the program may reduce costs of policing elsewhere in the city by providing an orderly source of food and water (which that cost also includes)). It’s a more nuanced look than what the OP’s title suggests.
Any evidence that it came from the lab?
Picture someone you really dislike, for some good reason. Now imagine you hired that person before they did whatever, or before you found out. Now you're stuck with them. Now your company is known primarily for what they did and you are losing business.
Because there's no such thing as down-to-the-metal portable assembly.
Stephen Hawking’s office and archive gifted to UK to settle tax bill
QA can be a big differentiator between competing companies that share upstream suppliers. It could be that one sunscreen maker is testing for crap/contaminated precursors and another isn't.
What's the solution then? Utah built apartments for everyone. That seems to have worked.
Is there an option for BSD users to use their own toolchain instead of chibicc or the included version of GCC. TCC, as impressive as it was, was never made to be portable. Portability was apparently not a goal. After all these years, it is still a WIP in pkgsrc. Correct me if I am wrong but with a chibicc solution cosmopolitan will still be "Linux-centric" because anyone compiling on Linux will have the option to use an optimising compiler instead of chibicc.
Are you my old advisor? If so, you are correct as usual, sir. ;)
Exactly. If you're going to base your interconnect on an industry standard, you have two options as far as I'm concerned:

A) Follow the spec

B) Make your off-spec interconnect physically incompatible with standard devices

Going off-spec with a compatible and physically indistinguishable connector is an "attractive nuisance," to use the tort term.
Have you seen neogit? https://github.com/TimUntersberger/neogit

It’s not feature complete but I’ve been using it for a few days and have been happy with it, as an ex-magit user
C does not have that property of not having gotchas whatsoever due to how undefined behavior is handled. (Or rather not handled) plus compiler and architecture defined behavior.

If you can spot undefined and other platform defined behavior always, someone probably would want to hire you as a security specialist.
Oh, that's awesome.
Agreed! I use C++ for small scripts/tools and love it. Granted, I first spent some time writing a library of convenience functions like starts_with(), ends_with(), contains(), get_file_contents(), read_csv_file(), etc. that so many languages have built into their standard libraries, but to be honest, even that part was a lot of fun!
We have laws because there are dishonest people. You might as well ask why do we have laws against stealing? I'm an honest person and if I go take something from someone's house without asking, I'll just bring it right back with no harm done. Some people aren't honest, though.
Here is probably BEST explanation of WireGuard parameters:
https://stackoverflow.com/questions/65444747/what-is-the-dif...
Luckily, they were able to land the plane in Minsk.
Native of Thar here. Not from a farming family but it is extremely likely that this is for farming. Land tend to be arid and barren so selected passages that are low lying are cultivated just before monsoon season in the hope that water logging in the monsoon will irrigate it to get some crop.

I also translated the only book about the culture of Thari people from that region. Pdf link for anyone interested: https://github.com/ketancmaheshwari/dhati-book/raw/master/ma...
I wonder if there's already a tool that clusters papers by similarity or else how do the reviewers reject a paper on such ground. How do they find it? Do they know them all by heart? Maybe we (the community) can help by creating an open platform that scraps openly available papers and automatically finds and sorts similar ones.
While I've never had an experience that bad, I've certainly peer reviewed utter garbage from one Chinese professor, who was publishing something like 200 papers a year.

I don't care how many graduate students you have, there is no way all of that is original research. And in my case, it was an obfuscated version of a very well known theory that any freshman would know.
I’m dying for a better 3d printing community. I recently took it up with my son, and finding good content isn’t trivial. I really enjoy some of CNC Kitchen’s content on YouTube, thingiverse is neat, but when it comes to sharing work, ideas, plans, files, etc - I’m not having much luck.
Agreed. It's room and board plus. It's also public safety.
Show HN: I built a platform to deploy open-source Docker containers without code
I thought it'd be nice if my friends and elders can run Docker containers as easy as using Facebook.
The idea is for them to fill in some details, click Deploy Now, and the app should be live in a few secs.

https://www.casadila.com

Video introduction: https://youtu.be/RYLZsBI3Wus

Video example of how a Hello World app is deployed: https://youtu.be/6TEAFajMxus

Step by step guide to running a WordPress instance:
https://www.casadila.com/docs/how-to-set-up-wordpress

I've just opened this up for beta testing.
What's your thoughts? Is this something you might use? What features would you like to see?
He's talking about all the stuff to set up to actually watch the stuff you pirate. Like, on a TV, from your couch, using a remote, without fussing with an HDMI cable to your laptop every time. Or setting up your kids / SO to watch on a tablet, phone, etc. Just getting the files without getting caught is only like a quarter of the battle.
Some of them are the creators of Manta, an object storage based on OpenZFS.
Right, because people don't use smart editors that fill in the repetitive preambles.

Seriously, are you talking about C, a language where you have to write code to access any matrix optimally by hand always... (or an advanced library to do it, better than BLAS, which ffmpeg does not even use)
Seems that this hypothesis was already considered: http://www.germanstrias.org/news/215/extracellular-vesicles-...
While "it was an accident" might sound more plausible than "purposely engineered", it is not. It still fails the requirement of requiring a "cover-up and the silent, unswerving, leak-proof compliance of a vast network of scientists, civilians, and government officials for over a year."

If the virus had been sampled in the wild and taken back to the lab from whence it escaped, you'd still have to overcome the weight of the unlikelihood of the above vs the bog-standard, well-known, zoonotic origin.
Well IBM+Microsoft but really... because 90s and x86.
Backup:

https://archive.is/z3szt
I would guess Slack is.
If you can generate a larger number of these portraits, then if someone gives you a selfie you can find an image that's pretty similar to them. Would be good for a laugh.
Is there a documentary or a book i can watch or read to learn about these events? Thanks.
They sold at least 1.3 million steam controllers [1]. That's relatively small compared to the 3 major console's controllers, but it's still a lot. IIRC the only place Valve officially sold it was on Steam itself. Based on forum posts from the time and Valve's Index shipping FAQ, they could ship it to the USA and Europe. While you can't buy it there anymore, its store page is still up [2]

[1] I can't link it directly, so look for "Steam Controllers are played with a diverse set of games" https://steamcommunity.com/games/593110/announcements/detail...

[2] https://store.steampowered.com/app/353370/Steam_Controller/
It seems recently they uncovered evidence that patient 0 never visited any wet markets. Among some other head scratchers. Fauci says it's a coin flip, 50/50 odds it came from a lab.

More research is necessary, but it's worth keeping your mind open to new evidence.
try this https://dl.acm.org/doi/pdf/10.1145/3429776
"...publicly executed..."?
That’s not how rent works. Just because the landlord’s costs go up doesn’t mean rents go up.
Supporting something for business for years is just not something Google has in its DNA.

Microsoft still hasn’t shut down Lynx yet.
This seems absurd. Is there a reason why Microsoft can't build a feature into Windows that tells you what USB spec a cable is using? (And details like transfer speed, power, etc.)
I find it a bit disconcerting that we're talking about delivering 240 W over a cable that consumers are unlikely to differentiate from a 15 W cable (i.e. USB-C specification) or even from a 2.5 W cable (e.g a USB cable they would have used fifteen years ago).

Yes, exactly! It’s foolhardy.

And maybe unnecessary -- haven’t Apple just shown that you can get amazing performance with very low power requirements? And shouldn’t we all be trying to minimize power usage, to try to reduce CO2 emissions, mining of rare and toxic elements, plastic waste, etc etc etc?
They make sense because they are directly under your fingers, so you don't have to move them all the way over to the arrow keys and back just to move around.

jkl; would make more sense, that's the only oddity.
I do like the idea of a tool named plumber with leaky abstractions.
I think its an admission that the near term benefits are from applications of existing tech, not AGI, and they have hired for folks who want to do research, not people who want to do the grueling work of making a startup.

This is fine though if OpenAI actually has an edge. I don't think they have a meaningful tech edge, you can see folks like GPT-Neo fully reimplement the ideas in papers. I also think they see this since they're looking to make a small amount of investments, and the big benefits of things like the GPT-3 API are for low experience/funding projects.

But maybe they have an edge in evaluating AI startups, and an edge in advising them beyond the typical VC. And if they do have a good repeatable edge there, this actually seems like a pretty interesting way to fund a research lab.
Nobody like nuance unless it supports their narrative. I know a guy who hated Obama who said he played too much golf. When Trump started playing golf and exceeding even Obama's outings, he said, well a man who works hard needs a vacation. That experience taught me that regardless of political affiliation most people employ nuance when it suits them so they can clearly think in shades of grey. But our problem is that we insist on taking a position and pursue winning above all else.
You mean the changes that made the standard deduction larger than typical mortgage interest deductions?

It’s not that the deduction went away, it’s that everyone got a bigger standard deduction so no need for the mortgage interest.
Any argument that starts with "I don't care about safety" is a bad idea.

We could use more safety even, like automatic race condition analysis in language and more.

Conservative extensions of C and C++ exist, and they're not very popular, just check how popular D is...
The US health industry funded it
(Posting top-level so it isn’t missed several layers down)

For folks that are interested in this kind of thing, Frank Crow’s 1987 article “The Origins of the Teapot” [1] has some great stuff in it (including a small scan of Martin Newell’s graph paper for calculating the points).

[1] https://www.computer.org/csdl/magazine/cg/1987/01/mcg1987010...
I've never heard the foundation until now. I'm on octal side since here's HN.
Hey dang. I think this post need to be taken down. I've followed this drama before and after reading a lot from both sides, it's pretty clear in my eyes that there is an ongoing harassment campaign from Pasquale. I was really shocked to see this getting so highly voted on HN.

I think this post covers a lot of what is happening - https://savingjournalism.substack.com/p/vcbrags-pasquale-mit...
You think someone looking for a job has the resources to move temporarily 100 miles away so that they get the opportunity to apply for a job?
>One hypothesis requires a colossal cover-up and the silent, unswerving, leak-proof compliance of a vast network of scientists, civilians, and government officials for over a year.

One hypothesis merely requires the above in a state known for disappearing or genociding the politically inconvenient, which reduces down to humans having a self-preservation instinct.

People seriously discount the incentive of life/freedom extension through abstinence from poking large predators.
I don't understand why it's supposedly counter-intuitive that the fastest code is also amongst the shortest. Makes perfect sense to me?
That seems obvious, doesn't it??
I'm super impressed by what Pallet[1] is doing in this space.

I think LA is talking with Pallet to implement their temporary housing, which would be amazing.

[1] https://www.palletshelter.com
What about long-term studies for the actual COVID?
Satya Nadella teases 'the next generation of Windows' in Build keynote
Recteq pellet smokers also use a PID for temperature control. Probably not the only grill to do so, but it was one of the first.

https://www.recteq.com/smart-grill-technology
> Hugh Hoppe

Hugues (though most people pronounce it fairly close to “Hugh’s”, so maybe that’s what stuck for you?)
RIP Eric Carle, Creator of the Hungry Caterpillar
I said false positives are an issue in the context of a "dumb" real-time kernel-side scan. App Store submission is different. They can afford to have false positives and have a human look at them to see if they look suspicious.

There are 26 fixed bits in the problem instructions, which means a false positive rate of one in 256MiB of uniformly distributed constant data (the false positive rate is, of course, zero for executable code, which is the majority of the text section of a binary). Constant data is not uniformly distributed. So, in practice, I expect this to be a rather rare occurrence.

I just looked at some mac binaries, and it seems movk and constant section loads have largely superseded arm32 style inline constant pools. I still see some data in the text section, but it seems to mostly be offset tables before functions (not sure what it is, might have to do with stack unwinding), none of which seems like it could ever match the instruction encoding for that register. So in practice I don't think any of this will be a problem. It seems this was changed in gcc in 2015 [0], I assume LLVM does the same.

[0] https://gcc.gnu.org/pipermail/gcc-patches/2015-November/4334...
Will people ever stop complaining?

If it started making physically different cables or sockets to add new features, people whine how nothing is compatible anymore and if it stopped adding new features to stay compatible, you call the standard dead and not forward thought.

Instead it's gradually upgrading the standard with the same physical socket, so that at least some compatibilities are kept and it's still moving forward.

Can it be better than that?

A bit of confusion on which version you need is better than not being able to plug it in at all.
The WAV format is not mixed-endian; everything that’s actually a number is little-endian.

The fields the diagram in the article marks as “big endian” are ASCII text— four-byte strings with specific content (“RIFF” for the first ChunkID, “WAVE” for the Format, etc.). If you wanted to treat those as integers in your code, you’d need to treat them as big-endian so their byte order doesn’t get reversed, but they’re really four-byte sequences, not numbers.
Thinking how much products have improved due to how cheap it is/was to manufacture in China for world wide sales.
And the massive wealth gains made by the regular people in that Country. I'm supper excited what what India will do in the next half century.
The potential art and innovation that will come out of that place is staggering. Millions of people will be lifted out of poverty and live up to their intellectual potential.
OpenHD - HD video, UAV telemetry, audio, and RC control
So what? How come it should be my concern to include everyone, as if everyone was entitled to use my service?

A russian only IRC channel excludes everyone not speaking the language. A Playstation exclusive game title excludes Xbox owners. An OS only targeting x86_64 excludes people with only ARM and i386 machines. An Android only app excludes iOS users. An OS without certain drivers excludes tons of users and use cases.

If I purposefully want to target Desktop users, so what?