skysight-inc/HackerNews huggingface dataset:
Note that Magic: The Gathering is Turing Complete

https://arxiv.org/abs/1904.09828

Something being Turing Complete just that means in principle it could be used to solve any computation problem. But this may require infinite memory or infinite time.

printf() is Turing complete as an other example.

https://www.ioccc.org/2020/carlini/index.html

The paper showed that Transformer with positional encodings and rational activation functions is Turing complete.

Rational activation functions with arbitrary precision make sure that you are in the smaller countable infinities, where floats run into that cardinality of the continuum problem.

While all nets that use attention are feed forward and thus effectively DAGs, they add in positional encodings to move it from well-founded to well ordered.

While those constraints allow the authors to make their claims in this paper, they also have serious implications for real world use as rational activation functions are not arbitrarily precise in physically realizable machines in finite time and you will need to find a well-ordering of your data or find a way to force one one it which is not a trivial task.

So while interesting, just as it was interesting when someone demonstrated sendmail configurations were Turing complete, it probably isn't as practical as you seem to think of it.

As attention is really runtime re-weighting and as feed forward networks are similar to DAGs it is not surprising to me that someone found a way to prove this, but just as I am not going to use the C preprocessor as a universal computation tool as it is also TC, I wouldn't hold your breath waiting for attention to be a universal computation tool either.
10 million people are dead. I find it hard to believe how anyone could not be at least mildly interested in obtaining more details about the origin of Covid-19, whether it's from the market or the lab or somewhere else.
YouTube seems to have some sort of multi-armed bandit approach going on because I’ll frequently be presented with a topical video with few subscribers and few views on my home feed.
Closing the borders wouldn't have been seen as racist, it would have identified as a valid tool to stop the spread, and we would have had an extra 2 months early on in the pandemic preventing the spread in a major way.

https://www.cbc.ca/news/politics/covid-coronavirus-pandemic-...
At least here where I live, Foodora and similar have ruined what was left of the Google ratings for any place offering take-away, because there's ton of 1 star reviews which concerns the transport.

At least viewing the most recent comments and reading the comment that goes with it helps figuring out if it might be a decent place or not... at least sometimes.
Sense of humor cuts right through a lot of obstacles. Plenty of women will feel attracted to you if you can make them laugh often.

But, of course, you have to meet up first, and the Tinder generation may not pass this first obstacle.
Their findings are that the book bannings are really for the purpose of

Virtue signal by people in positions of institutional power to voting-age parents interested in school choice, parental rights, and wedge social issues to the detriment of non-voting age students
Reject and exclude topics that challenge a perceived status quo from the public discourse (e.g. non-heteronormativity, non-cis identity, non-traditional gender roles, and non-Judeo-Christian books are targeted

and that

Fortunately, book bans are widely unpopular amongst parents across the ideological spectrum.

It would make sense though given that reading can be transformative for some people but realistically I think most folks are worried about everyday problems like teen pregnancy and substance abuse or getting into fights - and to your point if they are off reading unbearable moral philosophy in some library they aren't out screwing around.
That’s exactly how it works today, Apollo logs into Reddit as you via OAuth. When you add an account you follow a pretty standard OAuth flow (Apollo sends you to Reddit, you log in, Reddit asks you to authenticate Apollo, then sends you back). But Reddit knows it’s you, and they know you’re using Apollo.

In fact heres the post where Apollo switched to OAuth some years ago: https://old.reddit.com/r/apolloapp/comments/44rd9g/apollo_be...
Something is afoot over there. I updated and then removed all comments, like, everything on my account, and then deleted the account a few days ago. And now its back with the previous comment I updated everything to intact. They did some form of rollback.
Thank you from a mobile browser user!
I knew LLMs were good at generating bullshit, but I didn't realize they were already beating top human performance at the task.
Hmmm...so it only counted 1.6% of the books as explicit because they had "publisher-provided" maturity ratings of 17+.

I wonder how many books that had explicit material within them were not properly labeled as such by their publishers? This seems like a very subjective standard that would be very easy to manipulate.
Sure its evolutionarily possible to insert 12nt. Inserts are not common though. Whats key is that the insert -in a 30kbp sequence was at exactly a position that would give it functional properties to allow the virus much higher tropism for human tissues. Furin cleavage site appear to selected against in bats.

There is no known source from where it came from, coronaviruses often recombine, but there is no other known sarbecovirus from where the fcs could have come from.

Bob Garry tries to explain away his documented "I cant think of a plausible natural scenario for how this 12nt insert occurred" in an interview here.

https://youtu.be/4-FhwghrSLs

What is often totally ignored by virologists and evolutionary biologists with potential funding to loose if a kab origin is proven is that the WIV was partner in a proposal to insert exactly the sort of furin cleavage site we see in SARS-CoV-2

https://theintercept.com/2021/09/23/coronavirus-research-gra...

Then like magic (a unicorn as Bob Garry says) a SARS-related CoV appears, appears down the road from the lab, that is highly infectious to humans, with the first ever furin cleavage site in a sarbecovirus, which even Zhengli Shi says was a recent inroduction to humans: "almost identical sequences of this virus in different patients imply a probably recent introduction in humans"

https://www.biorxiv.org/content/10.1101/2020.01.22.914952v1

Lab escape through a lab acquired infection with a SARS related virus is by far the most likely scenario and should be the default hypothesis to disprove.

Natural origin scenario requires a series of events to occur, each very unlikely.
Maybe 20 years ago now, I wrote a simple email-to-sms script that I ran from procmail. To send the email out as SMS, it connected to a Verizon web site. This was before Verizon provided their own email-to-sms gateway.

I wrote and tested the script under OS X and it worked fine. I then moved it to my Linux server on the same network and it couldn't connect to Verizon's web site.

After using tcpdump to figure out what the difference was, I noticed that Linux was setting the ECN bit. Verizon had a firewall in front of their site that was apparently dropping packets with the ECN bit set. ECN was only a couple years old at that point. I think I figured out that it was due to an out-of-date Cisco PIX firewall on the Verizon end, but I'm not sure how I would have figured that out.

The solution was to disable ECN on the Linux box.

https://en.wikipedia.org/wiki/Explicit_Congestion_Notificati...
Perhaps not, but for people in most other countries, the idea that some public schools will just ban whatever they want in an ad hoc fashion amounts to the same thing as saying that it’s the government doing it.

From an international-vs-US perspective, education being state-run or locally-governed is really more of a technicality than anything, because education policy is largely a national concern.

In many (or most?) other developed countries, there is a public-private divide where there is a pretty well established expectation that the government doesn’t ban things it deems “merely immoral”, an expectation exemplified by the separation of church and state. Private institutions on the other hand are given more leeway on that front, because their services are opt-in.
You are teaching me way too much about an expensive hobby I am afraid I’m about to acquire.
"Books banned in the US" has two correct readings (regarding banned books by governments):

1) "Books that were banned, somewhere within the US"

2) "Books that were banned, across the US"

In this case, at the behest of state and municipal governments, there are books that fit into reading one.
https://archive.is/p0h18
I tested with 6.4.0-0.rc6.48.fc39.x86_64 + f31dcb152a3 revert and all 10000 iterations succeeded (same hardware and environment as my previous post).

To guarantee that there's absolutely no other difference between the two tests, I took the source RPM, added the commit f31dcb152a3 diff + `%patch -P 2 -R`, and built the kernel RPM with mock.
There is a footprint wizard, like EagleCAD had. That's usually where to start if it's at all possible.

I personally don't think I'm good enough at KiCAD to draw one from scratch. I could probably make it okay, but it wouldn't be professional quality. Life goal is to be able to meaningfully contribute to the project library globally, they have high standards.

I managed to draw a USB port that was probably the trickiest one I had to do. It was really the same as eagle, I had to place pads, give them proper numbers, define through holes (it let me do slots, even with an offset which was way better than Eagle), and then it just let me connect it to a USB-C symbol in my schematic no questions asked.

But making a custom symbol was also the same as Eagle. Same process, label pins, define directions, place labels...

The only difference maybe is that footprints and symbols aren't forcibly associated, and connections are done via the pin/pad numbers.

With a datasheet of that low of quality you're better off measuring by hand though, I don't know a way around that one.
Plenty of loans, likely the vast majority, are not backed by collateral. Loans are created based on supposed ability to pay (from future income streams), not from swapping the value of an asset for cash.

Banks issuing debt is exactly how the supply of money grows. Central banks influence this process by setting the rate at which banks can borrow from them and various regulations and market operations, QE etc.

If someone has told you that inflation is caused only by government excess spending it is because they are pushing the agenda that government is 'bad'.
In my opinion, the author doesn't really think things through, it's just dropping some confident one-dimensional opinions without looking at multiple perspectives.

"The key thing here is social media sites don’t produce content. They merely host it. Millions of users create the content expecting it will be widely available. Locking down an API breaks that social contract."

"Merely host it" is framed here like it's no big deal. It's a huge fucking deal. Giant social networks are incredibly complicated to run, and it's not only technical aspects that make it so. You can hate these companies all you want, but let's not be ridiculous in suggesting that they offer little to no value.

Second, the idea that content producers produce all the real value on the network is incomplete. First because of the reason mentioned above: the network itself (the plumbing and operation) has tremendous value and there would be no content without it. Second, because freely provided content in itself offers no financial value, in fact it starts out as a cost (hosting and moderation). Only when monetized does this content provide financial value. I know that users don't give a shit about that or are hostile to monetization but that doesn't change the fact that a large social network needs to cover costs.

Third, the idea that any user of a social network has the right to download/access the entirety of all content ever produced on it, and this being some right or social contract...is made up bullshit. Most people have no idea what an API even is, have no weird need to do data digging, it's not a common need or expectation at all.

Fourth, the AI problem is conveniently dodged. At Stackoverflow, moderators angrily demand their data dumps back, completely ignoring the reason why they were shut down in the first place: AI. Yet nobody engages with the point that the entirety of Stackoverflow might cease to exist and become obsolete because of it. That includes all the content those moderators put so much work in to curate.

In both cases, you're on a sinking ship and protest to actively sink it faster.
This is a constant ask every time a thread about desktop UI design comes up. Everyone wants a new Visual Basic, nobody wants to use the alternatives. The VB language itself likely doesn't appeal to people nowadays but the building blocks the UI provided is still unparalleled and everyone has fond memories of how easy prototyping applications is with it.
Scientists Discover Phosphorus on Enceladus
I'm not too concerned about efficiency either. Growing with slow and spotty rural internet taught me the hard way that data locality is key.

Also, with enough data, having to get only what you care about is probably faster.
> If we work under the assumption that this was a lab-made virus that leaked, then they plainly must have actually created it. What's the point of having a real virus if you aren't using it to generate real data?

Assuming experiments had been completed by then they'd have, what, some figures for how infectious it was in humanized mice. Maybe months down the line they'd've written a paper showing that this splice made it 40% +/-25% more infectious than the strain it was derived from or whatever. So yes, there would be data, but it's hard to imagine it would be a meaningful data compared to what was already being measured with a) humans rather than mice, and more importantly b) orders of magnitude larger sample sizes.

> This isn't true. They would have information on how it was created,

The how would be that they ran up that DNA sequence and inserted it into a blank virus. There's nothing that knowing "how it was created" tells you that you don't already know from the DNA sequence.

> any work that they had done to devise a vaccine for it

They weren't working on that.
~975 are "Banned Pending Investigation" which is hyperbole for "Under Review".
Weird thing is I began comparing things like Uber Eats reviews and Google Maps reviews for local Asian restaurants, and I see things in Google Maps are reviewed substantially lower.

For example some of my favorite Asian restaurants in the city are rated 3.5ish while Uber Eats is rated like 4.7. It leads me to believe a lot of people are rating Google Maps restaurants also based on service. One in particular

https://www.ubereats.com/ca/store/china-lan-lanzhou-beef-noo... (4.7)

https://goo.gl/maps/GnLmwJNRjBHP9UnN8 (3.9)

This place is awesome, and personally have experienced bad service but don't really care, so I do understand the Google Maps rating, but do find the whole rating system not helpful for me as I'm interested in good food and willing to accept bad service.
> Irregular bans are ideologically driven.

> They are supplemental to and fall outside of the standard book exclusion process at schools and libraries. Standard exclusions prevent books that promote violent, hateful, or mature/17+” topics from being placed on school bookshelves while irregular bans do not have robust processes and can be influenced by interest groups or local officials.

Seems like when the book is removed from library using an opaque, bureaucratic process, it’s called “standard exclusion”, and when it is removed using different, more public and democratic process, it’s called “banning”. Otherwise, there is no difference in the actual outcome: whether it is “standard exclusion” or “banning”, the end result is simply that book is removed from library (or prevented from being added) all the same.

Therefore, I agree that the “bans” are “ideologically driven”, because the reason this democratic process of excluding books from libraries is called “banning” is indeed very much ideological.

This might also be useful to non-Americans, who aren’t necessarily intimately familiar with US politics and language games: no book have actually been banned in US in the standard meaning of this word. Every single book on the banned list is completely legal and typically easy to obtain and possess. Even in the schools where these “banned” books were removed from libraries, I believe that the students are entirely free to possess and read these “banned” books: I never heard of schools actually treating these books as contraband. This whole “banning” narrative is simply describing removal of books from libraries through democratic instead of bureaucratic process, and the choice of the word is meant to invoke mental connotations of some sort of authoritarian/totalitarian state.
AYYO's Odyssey: Reinventing retro with play-to-earn
What percentage of the investors were evaluating the pitch deck with the help of GPT-4?
Well, imagine you were sending your deck out to 100 VCs. Clearly, a GPT-4 tweaked deck would be more likely to land you the opportunity to pitch than if you wrote it yourself.

That's pretty incredible.

You don't have to base if off of "they'd definitely invest". That's dumb. Think about the advantage it gives you moving towards the possibility of investment.
Banning, in this case, means removal from libraries. Sometimes it is by state order, sometimes it is via independent action taken by the school district (although that is usually also in an attempt to adhere with state board of education guidelines).

The linked data source cited for this article provides ban classifications for each and every book they list as banned.
vimspector is a cool DSP for vim.

https://github.com/puremourning/vimspector/
Although this article is about nuclear power, in fact it may be an issue that applies to all US infrastructure. https://news.ycombinator.com/item?id=29489616

Also, I wonder if the US has accumulated know-how to lower the cost of nuclear power plant construction. Korea has continued to build nuclear power plants, and it is clear that it has the know-how to cut costs.
> Irregular bans are ideologically driven.

> Standard exclusions prevent books that promote violent, hateful, or mature/17+” topics from being placed on school bookshelves while irregular bans do not have robust processes and can be influenced by interest groups or local officials.

Overgeneralized.

For example, Lord of the Flies is on the list. The standard "violence" filters weren't enough to filter that one out, apparently.

One of the books is literally titled "Sex & Violence." Again, "standard exclusions" didn't filter that out.
Somewhat of a meta question for @luu - how did you come across this post today before you resubmitted to HN?

I ask as I ended up searching for this article earlier today and thought about resubmitting (but ended up not doing so). It just seems a strange coincidence, unless there's something we both saw that made us think 'evil bit'!
These are likely to be present also because of non-cryptographic reasons
Roll an N-sided die representing all possible locations for possible human/bat human/animal interactions.

What percentage of those facets are city centers near level 4 bio labs that research these types of viruses?
FWIW, I’ve tried to sign up and the email verification code has not been received despite having it resent multiple times and checked spam and confirmed the email address.
*writes down ideas for his next TikTok*
"Larry, you don't need any more money" - Steve Jobs

(https://www.businessinsider.com/steve-jobs-larry-ellison-201...)
Learning curves: https://en.wikipedia.org/wiki/Experience_curve_effects#:~:te....

More on the subject:

https://climateer.substack.com/p/learning-curves

https://www.volts.wtf/p/learning-curves-will-lead-to-extreme...

https://www.volts.wtf/p/which-technologies-get-cheaper-over#...
“The problem is, or rather one of the problems, for there are many, a sizeable proportion of which are continually clogging up the civil, commercial, and criminal courts in all areas of the Galaxy, and especially, where possible, the more corrupt ones, this.

The previous sentence makes sense. That is not the problem.

This is:

Change.

Read it through again and you'll get it.”

-- Douglas Adams, So Long, and Thanks for All the Fish

Any information repository eventually comes to face the problem that the phenomena it is describing is no longer the same, for intrinsic or extrinsic reasons.
Until relatively recently in the US, "banning books" was widely considered one of those morally reprehensible things that only authoritarian governments did, and people were outraged that the US did it at all.

It is legitimately weird how quickly that seems to have changed within the culture in the light of the moral panic over transgender "groomers" and the antiwoke movement. That, and the sentiment that the government should regulate or nationalize social media, or even make it illegal... and half the country seems to be in a competition to see how fascist they can become before the Supreme Court actually calls them out. It's like someone flipped a switch and suddenly all this dystopian shit was just ok with everyone.
Hugging Face partner with AMD to accelerate state-of-the-art models
They're the only one commenter on HN I noticed keeps writing "smol" instead of "small", and is associated with projects with "smol" in their name. Surely I'm not the only one who missed it being a meme around 2015 or sth., and finds this word/use jarring - and therefore very attention-grabbing? Wonder how much that helps with marketing.

This is meant with no negative intentions. It's just that 'swyx was, in my mind, "that HN-er that does AI and keeps saying 'smol'" for far longer than I was aware of latent.space articles/podcasts.
Data point: I don't really use it, being wholly unimpressed by its UI. But I don't hate it and fully support anyone wants to use it.

In logic diagrams you sometimes see three states: true, false, don't care. I'm in the "don't care" section of the reddit diagram.
The Spotify solution (premium users can use any third-party client) would have made lots of money with less uproar. Another bonus, solves the supposed issues with allowing NSFW content through APIs. Google, for one, take a credit card as proof of being 18+ in the EU (you have a choice between that and scanning an ID card).

Or if Reddit doesn't want to handle billing the users directly for whatever reason, require signin and charge the devs per user. Even some sort of grace period and reasonable prices per-request would have made a big difference, Apollo dev's hard blocker seemed to be conflict with existing billing cycles.
This reporter's entire beat seems to be complaining about woke beer brands:

https://www.wsj.com/news/author/jennifer-maloney

> Miller Lite Defends Marketing Chief Over Satirical Ad Criticized as ‘Woke’

> Conservative commentators target brewer for spot hitting past depictions of women in beer marketing
What prompt did you give ChatGPT to generate this?
I'm more annoyed that I had to deal with the change. The migration took a couple hours and I'm still not sure if I configured it correctly to mirror the v1 setup I had.

They also changed regions during the migration. My db (hosted in a different app) was in LAX, but the new machines were in SEA.
> Next week, the Directorate of National Intelligence is expected to release previously classified material, which may include the names of the three WIV scientists who were the likely among the first to be sickened by SARS-CoV-2.

Why publish speculation now, instead of publishing when there is actually something to report?
U.S. Intelligence Has Amassed 'Sensitive and Intimate' Data on 'Nearly Everyone'
Part of the appeal for me is not having to move my hand to the mouse and back.