skysight-inc/HackerNews huggingface dataset:
> My attitude is that if you really need them you should switch to e.g. OCaml or something that does them right.

I strongly disagree. I personally think there is no programming problem where types aren't useful. When I write code, I think in terms of types, and rarely in terms of anything else. Python is useful in tons of problems OCaml isn't such as data science, statistics etc. Besides python has a very large ecosystem which matters in order not to reinvent the wheel.
Floating-point time loses the ability to represent milliseconds, microseconds, and nanoseconds exactly.

C already has (since the 2011 standard) `struct timespec`, a structure consisting of a `time_t` representing seconds since the epoch (typically 64 bits signed) and a `long` representing nanoseconds. It's admittedly awkward for arithmetic, but it doesn't overflow for another 292 billion years. It gives about 200 times better precision than 64-bit floating-point (for the interval from 2004 to 2038).

32-bit signed time_t is still a problem, particularly for embedded systems that are difficult to update. (A lot of such systems probably don't need to know the current time.)

A 64-bit signed integer representing nanoseconds since the epoch doesn't overflow until 2554.

Floating-point time is likely to be good enough in a lot of contexts -- but the fact that it's non-standard, unlike `time_t` and `struct timespec`, is a big disadvantage.
Because it prioritizes exercises that are easy for a teacher to mark over exercises that develop real writing skills. Everything is broken down into elementary mechanical tasks and marked with rubrics. Writing is taught as if it were mathematics, that you can just follow a simple algorithm and you are done!

Turns out, neither great writing nor mathematics work that way. Both are very hard and require non intuitive leaps of inspiration.
I’m in my late 30s and this is how I know I’m old. Calling places is just so easy. I don’t understand the need to replace it with some new process.
I installed their official app and just love how direct links from wrb, like this, or within app itself, just do not work at all. Otherwise, itstnot _that_ bad but compared to RIF (which I use/d) it's bad usability.

To Apollo and RIF guys, if you read this. You got some technical chops, you got some ux skills, you got some clout and, after all, you have some cash.. why not join forces and deploy reddit's clone to be used as a backend for both of your apps? You can hijack userbase, and keep growing on top of it, just like imgur did. (Follow me for more business advice)
So make it viewable and read only.
If you're old, when we were kids we needed encyclopedias to read anything (esp. nonfiction.) You can't understand a book if you don't know any of its references, and you're not going to go to the library to look up all of them. All you had is what you'd stored up in your head, and the encyclopedias in the basement.

They were nice to kill idle time following references, just like Wikipedia is now, but they were essential for reading nonfiction at home.
Can't disagree with this enough. Twitter exists, and it sucks. Every site that only allows upvoting becomes a segregated cesspool as different factions just cheerlead in their own tribal zones.
le reddit army has arrived!
It's hard to find a way to do it "for free" and not run into the exact same VC pressure nightmare Reddit is now visiting on its most engaged users.
Post count was a big driver for a while.
> Anyway, for many, the competition is "nothing at all".

Yes, this is what people miss about Twitter too. They scoff at Mastodon, for example, and of course Mastodon is unlikely to ever attract hundreds of millions of users, but the biggest "competition" to Twitter is simply disengaging from Twitter. Quitting, not switching. You don't have to be on any social media site; you can spend your time in other ways.
Patience isn't necessarily for time: it's for wasted time.

That's not to say NixOS won't waste your time: it will just waste it in a different way.
Yes, they're all out to get you!
I have not used it but this might be what you are looking for: https://github.com/nix-community/NixOS-WSL

You could also install the nix package manager on Ubuntu.
Even lowtax had more dignity, what a farce.
Probably more of a multiplier. Wheels on pack animals are going to multiply the work that can be done many times over just a human pushing the thing. Sure, it helps the human do more, but combined with a pack animal its orders of magnitude more than the human. And building a cart to fit to the pack animal is probably not the easiest thing to come up with, but looks obvious after seeing it, hence why the flow of technology isn't instantaneous.
In 2007 the question was "can Apple compete with other cell phone makers". The market for cell phones (even smart phones) was already well established, but Dvorak here says the iphone "will be passé within 3 months". What he didn't know is that Apple had made something far better than all the competition.

Now, with AR/VR I think the skeptics aren't saying Apple's product won't be good, but that even if it's the best product in the category there's still just not much of a market for it.
Some people with otherwise perfect eyesight (like me) physically can't do that.
God rest his soul.
You say that but I had multiple "oww, you broke Reddit" messages during that AMA.
Aren't the pre-1940 stamps just "pieces of paper, and free money for the post office if they were never used (which is desirable if you're looking for mint specimens)"?

I agree with your initial point, but don't follow your distinction at the end.
>Unrelated to the root post, but I’m so glad that time is over. There was a ~1year period where it was nearly impossible to have a conversation about solving something that didn’t involve someone scheming about how to reframe the problem as an

...

Like NoSQL some time before that, and GPT / "AI" nowadays.
new untrained and inexperienced moderators will disrupt the site experience. The poweruse and mod community fleeing to another site will start it becoming more common among barely involved users. Its exactly what happened to digg. The site became (to quote huffman) "profit driven" and it quickly fell from grace.
China has literally AWS, though, not just something similar. All the same services, just with a CCP official looking over your shoulder and a Chinese company operating it.
What a nice change of pace for the HN front page. :)
I've been using obsidian for note taking recently and found myself writing all kinds of extended UI functionality just because I could do so easily with web technologies. Writing a bit of JS and CSS to make my primary operating system interface with exactly how I like would be pretty handy. Did the same thing with Firefox when I realized I could just write some css to make the UI more compact.
> better qualified to judge the academic quality of his work than actual academics with the proper background

that argument only holds up if the group with the "proper background" is NOT a giant echo chamber where non-conformity is ruthlessly punished.
Sure, Reddit can do what they want with Reddit. That’s their right. And Reddit users (or a subset of Reddit users) can complain when Reddit makes product changes that they don’t like. That’s also their right. In this case, people find it frustrating that a) products that they like will stop being usable b) devs that they like will go out of business abruptly c) that communications from Reddit about this have been not great.

Even if this is just a subset of users being mad, it appears to be the subset of users that also run many of the larger subreddits. If Reddit doesn’t want users like that to have the power to make highly visible demonstrations they should stop relying on them to do volunteer moderation.
Surprised he didn't edit the questions.
A startup 'mass extinction event' has begun
This is a cool article about exploring what happens when playing with lower level network protocols. In particular when messing with reserved mac addresses.
You also have industries where they pull the ladder up behind them.

A few successful companies, they encourage or allow the creation of laws that govern behavior in this space, at the cost of much larger overheads and barriers to entry.

The only way to break into those markets is with a war chest. You aren't going to start by selling a handmade product to a bunch of locals because one phone call and you'll be shut down.
I appreciate the sentiment, but iirc, in Reddit's case: the investors told them exactly what to build in the first place.

https://kickstartsidehustle.com/how-reddit-got-its-first-use...
$hundreds of millions in replaceable value

Most Internet forum mods are low lifes who moderate for the little sense of power it gives them. There are plenty of those to go around. The reality is Reddit can literally ban all their current mods and get a new set of mods pretty easily.
It worked for me, I unzipped the crx and dragged into chromium on latest macos
> that's what a thought experiment is.

No. A thought experiment cannot be based on a contradiction.

> A cat can't be alive and death at the same time, either.

And the Schrodinger's Cat thought experiment does not claim that it is, even though many pop science discussions try to claim otherwise. The Schrodinger's Cat thought experiment is based on the math of QM, i.e., on a consistent underlying model. It simply points out consequences of that model that might not be obvious to many people.

The "thought experiment" I have been objecting to in this thread, by contrast, is not based on any consistent mathematical model. The operation it is proposing to do on the universe as a whole is inconsistent with GR, which is the only consistent model we have of the universe as a whole. That means it's not a valid thought experiment. "Thought experiment" does not mean you can make up whatever you want.
Free markets are a big deal. They are indeed the key to success/wealth/innovation.
A quick read suggests a problem multi-core on the m2. Does anybody have any benchmarks for multi threaded rather than multi process calculations / operations. I am curious whether this is a hardware bottleneck or a young compiler or a lack of support libraries…
> Effective July 1, 2023, the rate limits to use the Data API free of charge are:

> 100 queries per minute per OAuth client id if you are using OAuth authentication and 10 queries per minute if you are not using OAuth authentication.

Am I missing something? That doesn't make any sense. What does the auth mechanism have to do with interaction rates?

If I upvote 11 posts/minute would that be higher than their rate limit?
Thank you for this. I know people thank you a lot, and maybe it gets old to hear it, but it’s genuinely nice to see someone who’s librarian-like in the midst of drama. Organizing all of these threads is just really nice, and something that you really didn’t have to do. (If you didn’t do it, it’s not like someone else would.)
> As has been mentioned a few times: When Digg fucked up, reddit existed as a growing but small competitor. Reddit has no such competitor.

In all honesty I think Discord is the competitor. You can join dozens of communities under one login, lots of creators and studios set up their own server, set up a private server for friends, and there's more control over who can join and see content. I mostly use it to keep in contact with a couple of friends, so I bet there's even more that could be done.
Build Great Authentication Fast
Building auth is a huge pain. It often takes a lot of time away from building your ideas and most times, you have to settle for something that can turn away many potential customers. Here is something that allows you not only to build auth fast but also provide a great user experience, security, and converts new customers. Checkout bloc.id to get started, and get up and running for production in minutes.
For anyone interested, the entire 11th edition is available online from a few sources: http://onlinebooks.library.upenn.edu/webbin/metabook?id=brit...
Remember when the French went to field war in 1914 bearing the official costume with BRIGHT RED pants? Yeah you really forget about war when there is no war for a generation.

Well they did have unbeatable prices on this red taint from a producer in… Germany. Yup. Some people are actually good at war.
Zuck credits Elon with kicking off trend of firing middle managers
But you can't do that for the universe as a whole. Asking what would be the case if you could is meaningless; it's like asking what would be the case if 2 + 2 were 5. No consistent model exists of such a situation, so the question is meaningless.
unfortunately all of these options kill the community, really.
Why not make Reddit itself a paid service by that logic? This whole 'Oh we need to make strides toward profitability blah blah' corporate spiel is such bullshit when they could snap their fingers and become profitable overnight by switching from an ad model to a subscription model. Further, by doing so they wouldn't be forced to gradually ruin the site with more dilution into sponsored content.

This is the arc of American business, though. A steady money printer isn't enough. That money has to grow, and it grows by reducing the surplus utility held by the users.
Edit: in the map they aren't connected. It shows them as two separate stations. Im arguing that they are the same station. And one can transfer easily from the "C" to the "Shuttle" and vice versa.
if you're talking about the USDA, it's irrelevant. You might as well ask a cow it's opinion on whether prime rib or sirloin is better. USDA does not prosecute drug crimes. The USDA could also just as easily lie to you if they wanted to.
Myth: Optimists Are Less Realistic
> Specialization of labor, agriculture optimization, the printing press, industrialization, engines, washing machines, electricity - all created conditions that allowed people having more rights, liberty and happiness than they could've before.

Sorry, but this is exactly backwards :-) In the US, the rights came first. Note that the states that still practiced slavery failed at industrialization, specialization, etc.
> I literally can't understand why the 30 days is an issue.

Fortunately, this is covered extensively:

https://www.reddit.com/r/apolloapp/comments/144f6xm/apollo_w...
The existence of that self-identification by a small minority of people is an objective fact. But what does that have to do with how the rest of society—medical professionals, schools, etc.—uses the terminology?

Are you saying terminology isn’t important? It sounds like you think it’s very important.
When AOL came to the Internet it was seen as the apocalypse. But really what killed the internet is spam and scammers. They followed the public because that's where the money is.

The problem that's fundamental to the Internet is something nobody wants to say, So I will: the people suck. Not everyone deserves a voice.

The comment sections on WaPo, the NYT, and DailyKos are just as bad as the worst parts of 4chan. And nextoor/facebook? These people are whacked out.

Usenet worked because it was a sub-elite; in the golden era people in usenet were college kids, the highly educated, etc. and even with that there was more self selection, because you needed a computer and the ability to read and write text. And connect to it, which if you weren't in a university was quite difficult.

Is anyone willing to build a service that's got elitism built-in? Clubhouse sort of did. But it needs to be said: allowing anyone to post means dick picks and moderation.
look at the map, they're listed as two separate stations. I'm saying this is false, they are the same station.
I don't have much to add except that GA4 is absolute crock of horse shit. I am baffled at how Google comes up with these ideas and their Product Management strategy. They took a reasonably simple product (UA) and totally destroyed with this so called "everything is configurable" tool where now I cant even basic stats without fiddling with some configs and settings. WTF Google.
Look at the map, its listed as two separate stations. I'm in agreement with you, they are the same station.
> The costs of transporting Usenet weren't zero […]

How expensive was Usenet if you took out storage/bandwidth for alt.binaries.*?
The problem with small communities is that you don't necessarily have enough competent and available people to run the system reliably. Or worse, the people in charge leave, sometimes taking the servers with them, and no one else knows how to maintain it.

That's why Reddit and Discord are so successful. You can create your small community for close to zero cost and zero technical expertise, no one is going to pull the plug on the server because the one guy responsible for it didn't pay the bill, if the server in question is not an old PC in somebody's basement with no backup.

Even with good tools, building a community server still relies on an individual or a small subgroup to make an investment in money and time for the entire community, and if they stop doing so and no one wants to take over, the server is gone. On a platform like Discord, as long as there is any one person in there, it will continue running, the platform keeps the community accessible and does basic administration like spam filtering for free, even when there is no one to care, it can do that because it pays itself on user access, though premium membership and ads.
A camera can easily catch someone with an hammer, it's kind of much harder to go one by one to destroy them that way and it's also probably much more dangerous to try to break something connected to the power lines like that.

This on the other hand is quick, can be done away from the meter, away from cameras, and can reach many meter at the same time. Considering the few terrorist acts that have been done to electricity distributions points, it does seems like a good ways for them to do a big impact easily, with the right antenna and amplifier.. you could do quite a bit of damage.
Probably not related but I found a weird search result with many Turkish sites.

Google search for "faegulas" results in many different .tr sites with personal data of USA people. The sites are all of the form

<8randomletters>.<4random>.(info|com|net|gen).tr

All seem to be blocked by Cloudflare though.

[edit -- could be fake, generated data. but why]
What is your sense on how well current AI models can handle mathematics, vs human language? Is hallucinating or inventing info a problem with math too? Do you guys do anything to minimize, mitigate, or solve it?

And do you think current AI models will be able to solve as yet unsolved problems in math and physics, perhaps with increasingly large datasets or augments like Trees of Thought or process supervision? Or do you think it will require a different fundamental model?
The board wants the CEO to instigate drama and inflame their most passionate users against the company?

There's tremendous lack of tact about how this is being managed. Completely unnecessary and generally not good for business.
Cuba Spy Station Brings China Rivalry to America’s Doorstep
We expect doctors to not pump us full with chlorine, even if chatgpt says it's good for us. Why are lawyers exempt from responsibility?
I think he knows that he will never be as respected as aaron swartz and he is an imposter.
Yeah as a long-time user I was really hoping for that myself, or at least have some sort of compromise. Certainly not that trainwreck of an AMA.
I hate to say it but it isn't though. In 2023 you'll probably want

Automated rollouts and rollbacks,
Storage orchestration,
Secret and configuration management,
Service discovery and load balancing,
Self-healing,
Horizontal scaling,
Automatic bin packing (on vms)

k8's gives you this if you want BUT you don't even have to use those things.
Everything educational from 1895 to the end of WWI in the US is deeply, overtly racist - race is inserted into places where one wouldn't even expect it. I'm fascinated by reading the stuff. Especially geography textbooks.
A negligent civil engineer that failed to verify construction details provided by GPT, which later led to a bridge collapse, would lose their license. A negligent doctor that failed to vet a treatment protocol to a patient that later caused them harm would lose their license. Negligence is a fair, reasonable, and valid reason for someone to be determined unqualified to practice their profession in the future.
you might like Joscha Bach's theory of intelligence and consciousness
I don't think most users will quit cold turkey. However breaking muscle memory is a really quick way of breaking addictions. If people can no longer use their favorite apps to check Reddit then it'll force them to make a conscious choice to download the official app and relearn their bad habits (assuming they consider using Reddit a bad habit).

If a significant portion of users (especially power users who are more likely to contribute to discussion and posting content) leave the platform then it could cause a lot of issues for the future of Reddit.
> How do you address the concerns of users who feel that Reddit has become increasingly profit-driven and less focused on community engagement?

Had he a modicum of awareness regarding the question, he would have also addressed the community engagement part of the question - to users, the most important part of the question.

"The community built our platform and we'll never forget that or make engagement unpleasant. We need your engagement." Had he said that, and then segued to profit, he at least would not have been betrayed by his predetermined inflexibility.
I get similar -- see my comment. But never gov.tr
"Only the great are permitted great faults."—La Rochefoucauld
> controversial ads promoting things like gambling and marijuana

Oh no not gambling and marijuana as I drive past the casino and weed store on my way home. What other heinous degeneracy could Twitter devolve into next, maybe unfiltered cigarettes and cheap beer.

How conveniently melodramatic.
> Aren't the pre-1940 stamps just [...]

Yes, absolutely. It's just that the post offices did not recognize the money-making potential of releasing endless varieties of commemorative stamps. Once they did, however, it was game over for philately.
Let’s not forget that the Russian state media also accidentally posted an article on the victory of the war, which details pretty much everything you’ve said.

https://www.bbc.com/news/technology-60562240.amp
I'm not sure what I'm seeing is that reasoned. The analysts I speak with give 'moron' a bad name. They're just blindly repeating what they somehow intuit the zeitgeist is, not even realizing (or caring if there's any capability of such) the consequences of their actions. The likes of my management, so proud of their Google and Microsoft pedigrees, just follow slavishly, in fear of (a) the stock price falling due to bad commentary if they don't submit and (b) being found out that their pedigrees reflect no knowledge of any kind of real business.
I thought "too complex, too much of a timesink" and that kept me from trying it for a long time. My experience is different.

If you are at all idiosyncratic about your setup, using Nix is better than whatever pile of bootstrapping bash scripts you've kludged together over the years.
I have never used it. I just remember reading on the README that is compiles to human readable C.
What's K6 in this context?
Not to the extent that Reddit is, at least not in the same way. Other companies can exist and even thrive regardless of what users want by being necessary or legally mandated. Oil companies' users aren't their customers. Equifax doesn't care about how users feel. ADP, Geico, SAP, utilities, banks, etc. aren't the best companies for users, and many of their users dislike them, but it's generally not a threat to their profitability.

This is a somewhat cynical view, admittedly, but overall, many successful companies don't need to please "users" in the same way Reddit does. They obviously make some amount from advertisers, but they need users for advertisers to advertise too.