skysight-inc/HackerNews huggingface dataset:
>Also, how would you render a page with 800 nodes with user content, it is still a question. I would like to hear and learn.

It would be trivial with any site using a relational database. The two basic models used are nested sets[0], which optimize rendering over insertion and deletion, versus the much simpler relational model (rows with id and parent id, sometimes root id), which is much easier to insert and delete from, but requires recursive queries to render an entire tree from any branch other than the root. The vast majority of threaded forums use the former model, many larger sites use the latter, and rendering large threads isn't an issue either way unless maybe you're at Reddit scale, which most forums including HN aren't.

Hacker News doesn't use a relational database, it uses flat text files (limiting it to file I/O speed for data not cached in RAM), and it also runs under a single thread with limited RAM. It likely wasn't designed to operate efficiently at the scale that it currently does, and the increasing size and velocity of threads is pushing it to its limit.

Edit: looks like the stone passed.

[0]https://en.wikipedia.org/wiki/Nested_set_model
This article is exceptionally naive to the point of propaganda and it is both interesting and sad that other comments to that effect are downvoted.

This is simple groundwork to ensure that CCP can dictate what people are allowed to engage with on the CCPs terms. “Positive” here is whatever the government says it is.
That’s all very nice sounding, but there’s a kind of gritty assembly language that this all compiles down to: “I want the high-speed electronic dissemination of information shaped like this.”

It’s an open question whether or not it’s possible to avoid shaping the firehouse in a modern liberal democracy, but you could go your whole life and never meet a person truly disinterested in bending it towards their particular tribalism.

The whole time I was at FB I had two groups of people, each screaming in one ear, that we were not doing enough to suppress the “other” people.

How do you put shit on a global electronic network without “gaming the system”? Have no bias? You got that down we should make you king.
> citation needed

Uh, the US constitution and a few centuries of case law?

> perhaps, but how much pressure do you think they could take, if pressured to take down your content by other private individuals & corporations?

The one example host I gave has been around 20 years. I trust that they have a good legal team and have faced mobs of angry people before, and that they'll continue to be around for a while longer.

One problem that I didn't bring up in my original post is that as soon as someone can be heard on twitter, their content is subject to algorithmic manipulation. So someone's fringe opinion could be broadcast to thousands or millions of eyeballs and made to seem like much more of a mainstream opinion like than it actually is.

In a perfect world, where no manipulation is possible, I do agree with you that making sure people can be heard is the correct solution. But until or unless we get there, my opinion is that letting the platform have leeway to moderate content is the best path forward. If people tweeting about covid lab leaks (which I'm still not sure would be considered a non-fringe opinion in 2022) get caught up in that, then that sucks for them, but the alternative is worse. They are still free to set up their own site to discuss their theories.
For all those saying govnt should control platforms like this bear in mind that the free market is working even in this case. A single person decided to take a massive social media private only after a few years of it being a bad actor (see anti free speech sentiment around Twitter.) In a socialist/state-run world any regulation would take years to pass to only then cripple the platform and make it a worse version of itself in many ways maybe except the primary goal of the regulation.

A non-public Twitter will have less pressure from the outside to "perform" and not taken hostage to follow the current dogmatic norms of the population allowing it to undergo much needed and necessary changes to make it a better platform.
>Because if Musk said "I have no problem with Trump or Nazis on the platform and would unban them", he wouldn't have nearly the same support as he does now.

This remains true after he acquires it. The claim that one of the most image-obsessed investors in the world is going to make changes that are obviously unpopular seems dubious and frankly paranoid.
TikTok also figures out your racial identification and political orientation if you let either actively or passively
If gambler’s fallacy is true then Hypothesis Testing is a fallacy as well and we are wasting our time doing non-infinite experiments to prove our claims.
Definitely! That's what my goal implementation will be compiled to, anyway. I use Hugo, a Go static site generator, to build the markdown posts into the site. Adding footnotes is just a matter of figuring out how to use the right syntax in the markdown, output the right anchors in the HTML, then sprinkling a little CSS on top.

I'm 99% sure Hugo can do this, I've just learned to be wary of putting things in between myself and actually hitting the damn publish button.
No.

I think long ago there may have been some bug that allowed it with a hacked repo, so it's not a ridiculous thing to consider, but no git won't let you and any way you could would be a major CVE.
In general, more free speech is always preferable to less free speech. If you could stand on your proverbial soapbox and say something in the town square then you should be able to say the same thing on Twitter (modern day town square) without being censored. No one knows exactly what Elon will do but I think whatever he does will be a positive ... IMHO.
It’s not prioritization until it hurts
The link you included seems to have nothing to do with our claim that Google is using data from their office apps for advertising. It looks like it was about people explicitly granting vetted third-party apps access to the content of their email. What's the connection?
You're arguing as if "platforms" exist in a vacuum, sealed off from the the 'free expression area'.

How much do you think Twitter matters?
It fits the current Western media narrative but misses the the point if you view every CPC action as security against threats to its control.[1]

They genuinely care for people and are doing this for their people's best: it comes on the heels of similar laws targeting addictive online gaming and restricting students access to this around a year ago. It's not about a battle between big tech and government for control (a decidedly Western projection), it's more China being innovative about the real threat to people's well being that tracking, and optimized recommendation can do. We know the threat in the West, just our system cannot do anything about it, because of the "freedom" of liberal democracy's lobbying system's and free market principles. The central government is acting on this because they can. Like most everything CPC does, it is an experiment: e.g, Hainan FTP is the nation's "biggest testing ground for addressing institutional weak links" and "Hainan plays the role of a testing ground for China's opening-up and helps ensure economic security" [2].

If you want to consider second order affects of this flex/ability, here's my take: They have the mandate, the political will, and the real power to enact these experiments / innovative reforms and this is another. Their governing system is constantly evolving. That flexibility is why I think they will win, if you want to compare governing systems: they can simply afford to take more risks, and thereby iterate/zero-in on more correct solutions by exploring the state space of governance, more effectively than less flexibile/more brittle/more stymied-by-existing power-players, "Western liberal democracies". It's good for China, and sad for the West, but I think it's a teachable moment for the West: that I hope can encourage/inspire the West's own period of "reform and opening up"

[1]: Tho understandable from a Western PoV given combative rhetoric of late--it does seem insecure, right? Tho that point is more a voice that wants to be in command of how it is narrated, rather than have Western propaganda (driven by the West's own insecurities about China) misrepresent it

[2]: https://www.globaltimes.cn/page/202204/1259272.shtml
As usual the NYT tells half the story to advance an agenda. Ten years ago you coulda asked about Area 51 conspiracies and gotten the exact same response rates.

If you ask leading questions you’ll get the answers you’re looking for. The poll is bad and the data is meaningless if you’re trying to find out what people think. However if you’re trying to push a specific agenda, and convince a large part of the other 85% that many “others” are crazy and need to be “re-educated”well then it’s a very useful poll.

You’ve been had.
You definitely have a point. SpaceX and Tesla were also near death in 2008.

I feel like there are only so many moonshots you can pull off before you get a Waterloo as you said.
If authorities were never “undermined” you would still be drinking cocaine, giving your kids cough syrup laced with heroin, spraying people with DDT, and also smoking the cigarette brand your doctor recommended.

But what would the downsides be?
I've noticed the same thing, but (like n=2, so take it with a grain of salt) even for authors whose other writings I enjoy; I wonder if there's something weird with how they structure the incentives for writing there such that this is what you get
dead: no activity since mid-2017: https://github.com/GalliumOS/galliumos-distro/graphs/code-fr...
Yeah, I know I was being dismissive. Sorry. But I feel and understand the pain, too. I know if I have to make a safe function that can operate over any kind of data then I would have to accept a void* (or uint8_t*) and a size, and trust the caller, which at the end of the day is what this is all about. A way to fix it would be to have some sort of generic values and a way to interact with them. I get it.

On the other hand, "trusting the caller" is also how the world operates today (like files and sockets) so any improvement is a "nice thing to have" (depending on the degree of complexity it carries).

Like: constructors/destructors sound like a good idea! Fast-forward 20 years and then you have the rule of 3, of 5, etc.

The line of thought is that if Generics increase my firmware size then I wouldn't use them if possible. If I don't use Generics (if possible), then I probably won't need other things. I definitely don't need async. The language is growing to a height and depth I don't really care.

But if you say that there's no escape and there is little to remove and this is the way it is, then I take it for granted. I can only hope there isn't much to add either so I can catch up someday! Perhaps I have to look elsewhere.
Mostly for support. Companies give trainings on using B2B software so if users are coming with basic questions you can push back to company contact/manager/buyer with: "wtf" your people are trained on using application. Rise the support fee or sell additional training.

For B2C you cannot have any expectations, even if user knows how to use computer or understands basic English or has good enough eyesight to read any text on your site.

Well what we see for B2C companies is usually that they just don't care and you don't get any real support but that is a different discussion :)
My experience with this, and I'll stress that I'm sure it varies by device, is that using the Mr. Chromebox firmware to install GalliumOS works great, until you allow the device to be put to sleep or run out of battery. Then the firmware is restored to the original, without any user request.

This blocks you from booting your Linux environment again but is otherwise non-destructive (you can just run Mr. Chromebox again to get the necessary firmware re-installed)

(My device is a HP Chromebook 14")
Both that — and the opposite — in different sentences.
We detached this subthread from https://news.ycombinator.com/item?id=31025090. (Not for moderation reasons—simply to prune the thread so the server isn't quite as overwhelmed.)
Being incredibly generous, barely 20% of the US population even logs onto twitter.
> Because moderation here works quite well

I think that probably stems mostly from Hacker News avoiding controversial subjects in general. When they do slip through, the moderation can be pretty bad, particularly when it comes to new accounts. I've seem innocuous comments shadowbanned for voicing fairly milquetoast heterodox opinions (with shadowbanning in general being a pretty unpleasant action). Usually that isn't an issue with accounts that have been here for a long time, but since Hacker News doesn't allow people to delete comments, you have to be comfortable with having that comment tied to you for decades to come (not always the safest thing in this environment).

The whole thing ends up exerting a chilling effect on alternative opinions.
Yeah but that's not the same. UTF-8 is vastly more efficient for european alphabets (and imo, ends up being a wash for non-european ones), while not pandering the seductive lie of UTF-16 that 1 character/rune == 2 bytes.
It really shows up in memory usage of large pieces of text, speed of Regex etc.

Unfortunately the NT codebase is old enough to have made the wrong choice regarding this.

I wonder if such a a transition would be possible for .NET as well, because while technically you don't get access to the raw strings easily, there's tons of APIs that allow you to grab a pointer to the underlying memory in strings, which would immediately break if such a transition was made.
So what you're saying is illiteracy was a good thing? Perhaps we should bring that back /s
According to the mashable link, the world food program people just said, "it's complicated, let's meet," to shift responsibility, and then said went around saying he didn't follow through.
Chalkboard | Remote in the UK or EU | Permanent Full-Time | Mid - level and Lead Software Engineers | No sponsorship

PRODUCT: iOS and Android native mobile apps that give small/indie business people a second phone number just for work. It makes it easy for them to separate their personal lives from business with features like auto reply to missed calls, and extra tools to help them grow. Check out usechalkboard.com to learn more about us.

STACK: Swift and Kotlin for our mobile apps. GraphQL between our apps and the backend. Backend is Node.js, TypeScript, and PostgreSQL. We host with Heroku and Docker. Our Frontend is written in React.

FUTURE GOALS: We see a world with thousands of teams around the world using Chalkboard to communicate with customers and each other. On the move, in retail locations, out in the real world.

TECH PRINCIPLES: We have a mature test suite and endeavour to maintain it as part of our development process. All code changes are peer reviewed. We think the best features are a result of tight collaboration between product and engineering. We use the best tools for the job, but they need to be proven.

TEAM: Small but mighty experienced, there’s 14 of us (and growing fast!). We’ve got an engineering manager, product manager, product designer, and of course our seven other Swift, Kotlin, and JavaScript developers.

TO SUM UP: Join a financially secure start up, with a grand plan, a small but experienced team, quality tech, sound technical principles, and a well-written codebase. Help millions of small and local businesses to operate, grow, and thrive.

FOR YOU: up to £55k for our mid-level developers and up to £70k for our lead developers.

ↆ Below, you find much more info and apply to join the team
https://usechalkboard.com/careers#current-vacancies

:)
It's a fundamental fact about the theory of primes which has practical applications such as

https://en.wikipedia.org/wiki/RSA_(cryptosystem)
Ye gods I miss the days when I could watch "Ben Cooks part 1" and actually have the suggested videos be "Ben Cooks part 2" and "Ben Cooks part 3".
This is not surprising at all given that Ivermectin is a safe medication and most cases of Covid-19 clear by themselves in a few days. So if ivermectin doesn’t help at all you’d still see what you’re seeing.

The surprise might be that Covid-19 is not like Ebola or the Black Plague and although like these diseases it can cause very serious illness or death, unlike these diseases it does not do that in the vast majority of cases.
The Gambler's Fallacy has worked out poorly in the past, but doesn't that mean it's due?
Very true, but I'd paraphrase it more positively: If the deployment cycle is long/complicated/expensive enough, everyone is happy if a whack workaround exists and it's not breaking everything. Not all bugs are actually critical and have to be solved the next day.

And I'm saying this a developer, where we would (and have) gladly sometimes fixed the bug during the 1h call with the customer, but until it was being rolled out... weeks, maybe months.
For the AWS crowd, I’ve moved most of my sites to Amplify Console - almost exactly the same feature set, will full integration with the rest of AWS.

Next.js has a slightly more convincing reason to use specialised hosting - Vercel has tight integrations and a few platform specific features.

For most apps that compile to static data, Netlify is pretty swappable with any other system.
$4.5M to Build the Metaverse for Enterprise
I'm not sure it is a _false_ dichotomy though. GP is basically saying there are two options.

1. Absolute free speech

2. People who have the power to censor, and abuse it

You're basically just adding a third option

3. People who have the power to censor, and don't abuse it.

I think many people would argue that #3 is impossible, and an unachievable ideal. At the very least, nobody is ever going to be able to agree that power isn't being abused in #3. In which case, GP's original 2 options are not a false dichotomy, and are simply the reality of the situation.

edit: formatting
Do you think they just let anyone publish in a newspaper? Outside of cable access, you couldn't just hop on TV previously either.

This is entirely a social media age problem. This isn't "OMG, we're censoring" it's "we're applying the same limitations that have always existed on a new medium" - which is people deciding on what is in good taste (to them) and appropriate for their platform (to them).
There is certainly a 3rd-party tracker on the archive. NYT's goal with the acquisition was not the billions of dollars in ad revenue a free-to-play word game brings in :) but widening their subscription marketing funnel.

I'd guess they want to quash competitors, and also face pressure from Legal to defend the "Wordle" name.
Wait what? Computer science encompasses mathematics. Any proof that can be validated by following a known set of reduction steps until axiomatic statements are reached (i.e. any proof worth the paper it’s written on) can be verified just as well by a computer as a person.

For your specific case:

definition infinite_primes (n : nat) : {p | p ≥ n ∧ prime p} :=
let m := fact (n + 1) in
have m ≥ 1, from le_of_lt_succ (succ_lt_succ (fact_pos _)),
have m + 1 ≥ 2, from succ_le_succ this,
obtain p `prime p` `p ∣ m + 1`, from sub_prime_and_dvd this,
have p ≥ 2, from ge_two_of_prime `prime p`,
have p > 0, from lt_of_succ_lt (lt_of_succ_le `p ≥ 2`),
have p ≥ n, from by_contradiction
(suppose ¬ p ≥ n,
have p < n, from lt_of_not_ge this, have p ≤ n + 1, from le_of_lt (lt.step this), have p ∣ m, from dvd_fact `p > 0` this,
have p ∣ 1, from dvd_of_dvd_add_right (!add.comm ▸ `p ∣ m + 1`) this,
have p ≤ 1, from le_of_dvd zero_lt_one this,
absurd (le.trans `2 ≤ p` `p ≤ 1`) dec_trivial),
subtype.tag p (and.intro this `prime p`)

https://homotopytypetheory.org/2015/12/02/the-proof-assistan...
My commercial, charityware ($3.50 to charity of every purchase), MIT open source software Video Hub App sells for $5 with about 100 customers per month. 4,000 purchases over 4 years since the launch. Unsure how common it is, but I want more people to be transparent about their products, so others can know the distribution of possibilites.

https://videohubapp.com/en/

https://github.com/whyboris/Video-Hub-App
Make Twitter more popular by turning it into the same algorithmic garbage as every other platform.
It's also logically inconsistent. Of course you want people to have the freedom to yell fire in a crowded theater. What if there was a fire??
The Marketplace 100: 2022 (A16Z)
w3schools isnt perfect but they are god for html and css syntax.
But there is!

https://radscan.com/nas.html
Google has reinvented Soviet bureaucracy.
Researchers rejuvenate 53yr-old woman's skin cells to equivalent of a 23yr-old’s
Hover is a great experience on desktop, but it annoyingly requires having a separate solution for mobile. Right now 60+% of the traffic on the site is from mobile devices, so figuring out something (hopefully simple and very lightweight) that works for both mobile and desktop is the goal.

Your suggestion is noted, though!
I installed Gallium several years back, on a chromebook that didn't support any of that (at the time, at least). Gallium was also the only distro I found that worked out of the box with full hardware support (audio, webcam, etc).

Other commenters say that those drivers are now in other distros too, so Gallium may no longer have its original USPs...

Running other OSs on my chromebook is a bit of a pain, because every time you boot, you get a BIOS screen warning you about non-google software (and offering to wipe everything!). Also, (and maybe unique to my chromebook model), it has a nasty gotcha: if you ever let the battery drain empty, then the firmware loses its settings and it will no longer boot at all :( That one was fun to diagnose and fix...
I do think that Twitter's been getting steadily worse, but I'm not convinced that means they'll be less valuable in the future.

I think if I were an investor, my thought might be that Musk might not be necessary to realize that growth (again, speaking in the long term, not that the current price is wrong). But I'm not an investor, I don't really know Twitter's numbers.

I guess the caveat I should give is that if I were an investor and I thought Twitter was falling and that Musk couldn't save it, this would be a particularly good opportunity to jump ship. So that could also be an angle I'm not thinking of.
TPUs are for DL, not matrix factorization, even if you might want to try that out since you have TPUs sitting around. The trend in DL has for a decade now been to ever lower precision (and many expect binary at some point and a shift away completely to spiking); why are you convinced that it will not just stop but completely reverse and go all the way to like FP64 or FP128 or something?
This feels more like hes trying to make the Twitter stakeholder lawsuit go away by announcing an offer (who wants to be suing their new boss?) than an actual acquisition attempt.
I assume Musk needs Twitter to be profitable, but as somebody trying to sell cars, and satellites and big solar projects and space launches around the world, the platform can help him in other ways too.
Can you please state your argument along with pasting the definition? I dont
This has exactly the same maddening maladaptations that forced me to switch browsers for a reasonably adequate Facebook "experience". JavaScript that breaks in older or less popular browsers is not something I think needs to be promulgated even outside Facebook.

Disappointing.
Handing anyone your API key to use as they want is just asking for trouble. I'm shocked some people think that's an ok pattern to do...
Can you please state your argument along with pasting the definition?
That doesn’t follow. In an illiberal country they’ll just ban any large platform that allows anything. How would free speech absolutism on a platform or in some other country have any impact on a state like that?
I avoid mentioning it by name, I don't want to engage in obnoxious self-promotion. But if you search for my HN username on most podcast platforms it'll be the first result.