skysight-inc/HackerNews huggingface dataset:
With small enough sample math tells you exaclty how little confidence can you have in a given result.

And for a group of 1500 people it tells you how much confidence can you have. And it was more confidence than they demanded before starting the trial.

> Don't you agree that stopping an experiment once we get the result we were hoping for and are looking for from the start does raise doubts regarding the conclusion?

If you have a novel disease that's 99% fatal. And then you test a treatment that results in 30% people surviving 99% fatal disease. And you gathered enough data that that math tells you is enough to confidently claim that it isn't just a fluke.

Does stopping the trial and giving the medicine to the half of patients that you were keeping as a control group makes people raise doubts about efficacy of the drug or does that just make you not be called a second doctor Mengele?

Did they stop fluvoxamine trial? Or do they just mention that the effect was so strong that they could?
"In general we need to take people at their word and not supply our own beliefs"

You will have a difficult time navigating the real world if you approach public personas with such a trusting approach.

"I just want you to know I’m not a pedophile" Jeffrey Epstein

"I did not have sexual relations with that woman" Bill Clinton

"I'm a benevolent dictator." Harvey Weinstein

In my opinion, Wu is a public persona, too, because the majority of her income directly depends on the public's perception of her. Also, her influencer marketing with the Creality printer brand is probably conditioned on her presenting in a certain way. So regardless of whether she dresses that way for guys or for girls, I'd argue that my point still stands: She made a calculated decision to publicly present herself in that way and given that she appears to be highly intelligent, she was probably aware of the consequences (including male attention) beforehand.
It's true foreign ownership of US stock has risen, but US ownership of foreign assets has also risen roughly in line. That's globalisation working in both directions. Right now there is an imbalance, but that's due entirely to the strength of the US dollar inflating the value of US assets. What's actually happening is the opposite of the currency crisis you fear.

The USA today is not even remotely comparable to Russia in the 90s. That's completely absurd. The US is attracting so much foreign investment precisely because it's economy is in a very strong position. How can consumers buying Chinese goods be a sign of strength in China, but investors buying into US companies be a sign of weakness in the US? Meanwhile US companies and investors are investing heavily abroad. That's not weakness, it's integration.
U.S. Ban on China Telecom Signals Broad Concern over Beijing
Show HN: 1-Click serverless hosting tool
If this is where you're at, make sure you check out the famous Gilbert Strang's "Highlights of Calculus" series from MIT's OCW. He really boiled it down in those. [1]

1. https://www.youtube.com/playlist?list=PLFW_V3qDH5jRyfpD9uiq6...
zram*

zram is the compress-in-memory like you have in Windows and ChromeOS and zswap is the compress-on-disk in case you want to replace SD cards.
I think the author is not doing a good job of presenting the research program behind ever larger language models.

Many researchers are interested in the effects of scale on natural language understanding tasks and generalization. One of the surprising results of large language models is their performance on GLUE or the like without needed specific training indicating they are extremely good at generalization. In the NLP community we do want to understand how far we can push this since generalization is an important aspect of modeling how we understand language. The fact is we dont know how much we can push this , and that very fact is very interesting to me and many others. I think many researchers involved in this would acknowledge that this research program may not provide direct and interpretal insight into many language tasks... but that is sort of missing the point.

I am also skeptical that you would have initiatives like DistillBert and other attempts at smaller models that are as effective without the larger ones.

Also the amount of money required for training these large scale models is available to researchers through public research funding. Researchers in other disciplines regularly have million dollar research programs.

I do wish the author of this article had taken the time to present the research program of scaling large models clearer as it reads as a shameless ad for huggingface (use canned models instead of pushing for the limits of research) which doesn't really apply to research in NN design anyway..
> That's a peculiar observation, it's like saying Rust's borrow checker is magical because it needs language-level support. I mean, that's the point.

You can’t do borrow checking without language support (I think, at least not without a significantly more expressive type system) whereas Result is pretty much just a type, the features it uses are mostly non-exclusive, and those which are, are very much intended not to remain so (e.g. the `Try` trait for the `?` operator).

> Zig errors are composable: https://ziglang.org/documentation/master/#Merging-Error-Sets and later sections.

Not really? That’s just merging error sets, but you can’t say that you’ve got an error which originally comes from an other error, except by creating its dual and documenting it as such. Essentially your choices are full transparency or full type erasure.
Radio is a one way medium though. HN missed an opportunity to sell users on it but adding it as an opt-in/invite feature instead.
But at 50 to 100 MBytes/s on a multi Gb/s line I find it better, it's less the download than the time to install that bother me.

Interestingly I found myself using ultra minimal distro vm, and installing nearly nothing on them (qubes os) and just shard the apps: the startup / update of the main gui linux is trivially fast, each vm only has a little subset of apps I care about, and when I trigger a many-vm update they do it in sequence and just update their own subset, meanwhile I can fully use the other vms.

Also I tend to use stable-like distros now like debian and barely see updates coming in anymore, compared to my fedora youth when there was several updates a day, some breaking everything.
>and very few implementations try even half-baked user-agent sniffing to try to emulate the platform

well, to be fair every tutorial on JS for the last 16+ years or so has said avoid user-agent sniffing but only detect capabilities, not to mention freezing of user agent string will make this point moot. Problem of course being that you cannot detect how the specific browser makes a select work with capability detection.
HN is not a “greatest 80s hits” radio, though. Users submit links and users vote on them. There is nobody making editorial decisions about what goes on the front page, beyond extreme cases. Sure, there is some tweaking, but in the end it’s all stories posted and upvoted by us, collectively. So it is entirely pointless to whine about the content: it is what the community wants to see.
> suggestions accepted, modified and accepted, or dismissed. This information may include personal data, including your User Personal Information

Seriously wtf, my legal department will have a heart attack if they read this.
Wow, I can't believe this is happening only now. This is such a great idea. Autonomous boat driving is likely a lot simpler than car driving. Mostly because there are only few other boats, each with their own inertia, no roadwork, little tunnels, no pedestrians... This is definitely part of the future...
I would be even more concerned about licensing and copyright at this point. We might see some interesting legal discussions around this, given you probably (I did not check the terms) give consent to Github using your code for other purposes beyond querying their model.
FCC revokes authorization of China Telecom's U.S. unit
Two Chinese Supercomputers Break Exascale Barrier
Hearing aids are designed to increase sound where the person can't hear as well. Sounds are faint? Hearing aid is a good choice. No therapy needed. Downsides is it that it amplifies noise too, requires batteries, maintenance.

Cochlear implant are designed with electrical signals directly to nerves but needs therapy to understand. Its akin to a legless person learning to walk again with new metal legs. Has similar issues as above with noise, etc, but the nerves are stimulated directly which allows more accurate hearing but not 100%. A major downside is that you lose 100% natural hearing in that ear as the nerve stimulation wires go inside the cochlear, effectively blocking any sound from going in. So imagine you lose a foot, and they offer you a metal leg to walk again and that requires therapy. Its a tough choice for some: some natural hearing or accurate but stimulated hearing.

Then the ear implant. Or really a natural cochlear implant is akin to attaching a new human leg to a legless person. Still, there's therapy needed. However, the cochlear is around the skull. So it's not as simple as taking it out and reattaching it. A lot of research is being done with promising results.

Later, the bionic cochlear, a complete electrical replacement of cochlear where you hear as well as a dog, but that's a dream.
I Built a Raspberry Pi Super Computer
It’s not a list of URLs, but an EXE outright.

The ACPI table responsible for it is WPBT.
This was one of the weirdest parts of the engineering course.

There's so many wrong explanations of why planes fly, and we went through them.

It's not equal-time-to-the-end-of-the-wing, and it's not pushes-flow-down-so-goes-up.

It's a good time to do some critical thinking, though:

1) We observe that planes can fly upside down. Does the theory under evaluation explain this?

2) It's hard to take off behind another plane that's just taken off. Why?
> there's U+E0001 (LANGUAGE TAG) and U+E007 (CANCEL TAG) and you can put a language code between those, e.g. "\uE0001ja-JP\ue007".

"ja-JP" part is also written in tag characters, so it's actually E0001 E006A E0061 E002D E004A E0050 E007F and doesn't render even in unsupported environments.
IMO the most jarring issue that comes from Han unification without proper language setting isn't with the glyph variants, since you actually encounter these variants and more in everyday life (albeit more rarely than your national standard ones). The more jarring issue is when your software selects a font meant for the wrong language, and the font for the correct language as a fallback. Then you may encounter serious style issues where your text is pockmarked by glyphs for another language; you have a similar phenomenon with European language using Latin alphabet with unconventional accents. But note that it takes way more effort to ask a CJK foundry to cover all codepoints for all languages than to ask a Latin font designer to cover all languages, so you would be hard pressed to find fonts that actually do that.

Without Han unification, this wouldn't really be a problem, but Han unification is to a large extent the same philosophy pursued with unification of Latin scripts (and other scripts)
Try tabnine? It doesn’t generate so much nonsense because it’s all generated based on only your own codebase.
> wonder if the rest of us use technology in an unbiased experimental manner without regard to the consequences?

There aren't bloggers out there implying the rest of us are sagely engaging/disengaging with the technology.

I think GP is annoyed by attributing unwarranted wisdom. Maybe it is a result of wisdom, but those bloggers certainly aren't giving good arguments for it.

What would we observe differently if it were regular technophobia?
The author edited the article and corrected is_empty to is_not_empty.
I see this too!

I think Edwin Brady also does.

Idris code is short and clear.

There is much less of it – for instance, as a kind overly specific example, serializers/deserializers and API code can be automatically generated from the model definition.

Idris code tends to sort of “fold in” test code into the function definitions themselves, so you do less work AND it’s much more rigorous.

Then there’s the compiler IDE interface which is explicitly intended to be an upstanding citizen in developer workflows.

I also want to mention how easy it is to write Idris compiler backends for any given language. This is on purpose, and is made possible by what Idris is: It’s dependent types, and dependent types is automation of the automation.

So it’s not a question of “making muggle developers eat their formal vegetables” or the like. It’s that when the automation of the automation hits, it makes work so much faster and more efficient and more pleasant that it outcompetes the slop because slop is slop. Idris might be that automation; It might not. We’ll see, right?

I’ve picked this hill to die on. At least one death, of something. Maybe just a feeling or a hope, but something.
Fischer being the cunts they are.
Better submit an URL and your post as a comment :)
And most evidence for failure will quickly remove itself from the surface of the earth. /s
> Is there a reason unicode doesn't have such a builtin lang tag?

It does, but they aren’t widely supported and their use is not recommended, see http://unicode.org/faq/languagetagging.html and https://datatracker.ietf.org/doc/html/rfc6082. The recommendation is to use markup languages instead to carry that information.

The reasoning is that anything related to styling is out-of-scope for Unicode (except where needed for round-trip compatibility with other character sets), or else people will also want tags for bold, italic, monospace, or (expressed semantically) for emphasis, code, etc. That’s what markup languages like HTML are for.
I'm grateful for han unification because I can search Chinese words I only know in Japanese.
I was disagreeing with the premise that Hacker News is, or should be, very narrow in scope. Though I'll grant you that there are certainly degrees to this. There are regularly posts that make me wonder why they were posted to HN when I first see them here - and yet, these often manage to enrich my day.

There are risks to making too many rules about who gets to be a member in your club.
> In biology you get things like Theranos, which is the sort of long term scam that's much harder to pull off in the software world.

It's funny that in the biomedical circles, it's been remarked that Theranos is what happens when the software world (Silicon Valley) try their hand at biology. You can't fake it to you make it here, if the science doesn't work it doesn't work, no matter how much VC funding and employees you throw at the problem.
> Personally, I expect this to be attacked as well, but am hopeful!

At least it can't be called a "horse dewormer".
With the way Sunday sailors are piloting their boats? Man, I dunno...
I'm wondering how did they evade US imposed sanctions? Did they ordered the CPUs long time ago? Are the CPUs using an old process node? Something else?
I love these theories that seem to explain things and then fall short just like that.

"So how does an airplane fly upside down?" An the theory goes out the window.

Relevent XKCD: https://xkcd.com/1145/
"So why the sky is not violet?"

Actually things like that is what got me interested in physics. My physics teacher asked "so does lightning strike from the sky, downwards". Everybody in class agreed. We all "know" this. We all "seen" it in cartoons. We were learning about electricity (electrons) at this time. "But if electricity is electrons moving, ground obviously has more electrons that the sky, lightning must go from ground to the sky". I was so fascinated about actually "learning" something new. Remember running home to tell my father how clever I was now.

Lightning is much more complicated that this obviously: https://youtu.be/RLWIBrweSU8?t=77
This is great news! This is a wonderful project, and the fact that it wasn't accessible from Germany made me profoundly sad and angry.

I hope the responsible copyright lawyers have a hard time sleeping because of this and consider changing their line of work. If you are blocking people from reading books in the public domain, it is a good indication that you are one of the bad guys.

Even worse, they only blocked people from Germany that didn't know how to use a VPN. German courts really don't get how the internet works.
Works great from my experience. What's missing and why I'm not using it atm is DNS64 and TLS support.
We'll match or outpace Moore's Law, says Intel CEO Pat Gelsinger
The photons we observed from the death of the star experienced no time between coming from the star and arriving to us.
Deno Deploy Beta 3
In that case the 2nd theory must be correct but they say its incorrect for some reason. Which doesnt make sense to me at all.

They say it's incorrect because it doesnt account for the airflow on the top. Well the flow on the top doesnt strike the wing (except its forward facing part, the wing is pitched 'up' slightly) so it doesnt push it down. But the bottom flow does push it up (it strikes the whole surface of the wing).

Really cant see whats wrong with this simple explanation.
I don't think GP is really suggesting anything, just trying to make a clever comment with no substance.
Entirely agree about political stories and rust projects du jour (I’d go as far as associating out-of-topic posts on $random_software about how it’s be much better in rust).

Just ignore/downvote/flag and move on, though. Nobody is forcing anyone else to read anything, and it’s normal that some people here are interested in things in which I’m not. None of us is the arbiter of what should or should not be on HN. Not us mere posters, anyway.
That guy does some amazing work. One thing Horizon needs IMHO is a larger development team to ensure it continues on its path.
Suppose you're blind and use a screen reader. How does German sound when pronounced by an English text-to-speech engine, or vice versa? Which should be used to read out that "single text field" that contains a mix of languages?
This might be a dumb question but, isn't this something that could be implimented using CSS grid? Not being able to use semantic elements does suck though
How Pokémon Go scales to millions of requests?
>Yet they did host comments, if not exactly in 1990 in hacker news form, then in many years before section 230 [...] Lawsuits happened, but they were de facto not very effective in getting information taken down

But lawsuits still cost defendants millions in expensive attorneys' fees to fight them in court. E.g. Oakmont's $200 million lawsuit against Prodigy. [1][2]

So it's missing the point if people only emphasize that 1995 Prodigy didn't remove an anonymous user's comment about Oakmont. In other words, leaving the dangerous comment up isn't really "winning". Instead, it's not having to deal with lawsuits at all from future "Oakmonts" that Section 230 clarified.

So would HN exist if Paul Graham had to deal with repeated $200 million lawsuits because anonymous posters kept writing "Facebook is a cancer on society..." ? It doesn't seem worth the liability risk without Section 230.

[1] https://itif.org/publications/2021/02/22/overview-section-23...

[2] https://en.wikipedia.org/wiki/Stratton_Oakmont,_Inc._v._Prod....
> It's true if the layout has changed since last size read

For elements that don't yet exist in screen and want to be "custom-rendered" this will be a change in size.

And while there's no element, you can't pre-calculate its size because there are no useful browser APIs for that. And you can't effectively control layout behaviour in the browser when you dump an element into it. And...

> > you can't batch-render anything

> Not sure what this means? Why can't you batch-render on the web?

There is no good way of telling a browser "pause rendering on this particular set of elements" and then "render these particular elements in one go". Any change you do to an element is immediately passed to the renderer.
Hate to break it to you, but DNS level blocking won't help you either. Lots of this kind of spying is done through fixed IP addresses.
"To begin with, titanium is an extraordinarily rare and expensive metal"

Titanium is the ninth most abundant element in the Earth's crust. Titanium ore is literally cheap as dirt. Titanium metal may be expensive, but it's not because titanium is rare.
> no pedestrians.

Actually there are plenty of Single sculls, kayakers, paddleboarders, etc. in most canals in the Netherlands.

But indeed the reaction time you need is still a lot slower than with pedestrians jumping in front of a car.
> The bill eliminates Section 230 for making a personalized recommendation of information that materially contributes to a physical or severe emotional injury.

IMHO that’s purposely worded to limit the bypass to people, not companies. That’s why the SV rep supports it. It’ll allow people with no money or chance of winning to sue tech companies and that’s it.

Paraphrasing someone that commented on HN once and I totally agree, services providing reverse chronological feeds should be considered platforms while services providing algorithmic feeds should be considered publishers.

There should be no qualifier. Anything that’s a personalized feed should be considered publishing and companies should be liable for promoting that content.
Expanding on that, the downwash theory is the easiest to understand in my opinion. If you think about the flow of water over the back of a spoon then imagine increasing the amount of the water flow and the size of the spoon until you could eventually feel the force pulling your hand opposite the direction the water is deflected.
Can't this be solved somewhat by adding a "cjk mode" zero-width character, like we have right-to-left/left-to-right embedding characters? Yes, yes, it's yet another standard, but there doesn't seem to be any way to indicate in the text stream itself what characters to use otherwise.
They don't do so at the same angle of attack I'd wager. Meaning to fly upside down they have to control pitch in a way that turns the wing to the exact needed angle. Same way they have to control pitch when flying normally to achieve lift.

This pic of real jets doing that side by side confirms what I'm saying (nose is pitched up on the normal-flying plane and 'down' but still up relative to the ground on the inverted one): https://imgur.com/loVcrgO
I've read a debunking of that as well, which was basically that the study uses poisonously high levels of HCQ (much higher than normal or required), and that it uses no zinc. Zinc is the actual virus killer, HCQ just lets in into the cell (it's a zinc ionophore).
Why do placebos work? Scientists identify key brain pathway
> ??? Is it common that people think he is Asian for some reason? What a strange paragraph to include...

I agree, the paragraph is strange and at best reads like a non-sequitur.

Then again I always associated the username "dang" with the word "dang", which I thought it was an amusing (and appropriate) choice of name for a moderator.

https://dictionary.cambridge.org/dictionary/english/dang
The math behind it is a little beyond me, but http://www.ericharshbarger.org/dice/go_first_dice.html

The dice they have for sale:
https://mathsgear.co.uk/collections/dice/products/go-first-d...

(No affiliation, just the same site from the original article.)
Even in Latin script languages you have issues if you don't specify a lang tag. e.g. a font's 'fi' ligature may omit the tittle on the 'i', but it is necessary in Turkish. Or you are using a font without coverage for French and your browser renders œ in another font.

The CJK variant issues under not specifying a lang are indeed present in Latin but to a smaller extent.
I don't know about China, but in Vietnam there are 14 family names which account for about 90% of the entire population.

Roughly 40% of all Vietnamese people are called "Nguyen", which makes it one of the most common family names in the world.

https://en.wikipedia.org/wiki/Vietnamese_name#Family_name