MurphyA/hacker-news huggingface dataset:
by PurpleRamen | 2025-12-17 13:20:53+00:00
Update-checks are not included in telemetry. And I would think most people using addons still do update their addons from time to time, or even have the auto-check active. There is also the download-stats from their server-side, so I would think they do have a good enough picture of their numbers. Might be they could be 10% off, but surely are there not tens or even hundreds of millions of stealth-users around.

> It's probably the kind of user that has telemetry off. You don't know much if anything about them.

Don't think so, most people don't give a f** about this. Tech-people on that level are even in the industry a minority. And on the other side, those stealth-users are worthless for Mozilla, because they can't make money from google with them. So for a project needing to make money with usersnumbers, everyone who is out of this, isn't core audience anyway.
by synergy20 | 2025-12-17 13:20:57+00:00
I bought quite a few courses at udemy, none at coursera though, but I ended up not taking them, instead I used youtube to get some video, and LLM to get the text context these days. Youtube is the true gem, if it spins out of google it could take on netflix at least. In short, google might be undervalued a lot just because of youtube, for entertainment and education purposes.
by gspr | 2025-12-17 13:21:35+00:00
I realize that a FOSS browser is an absolutely enormous monstrosity of a project. An undertaking akin to a whole FOSS OS. But it's also comparably important, especially when no FOSS alternatives exist in the browser space. We (I mean that very loosely, not having contributed anything myself) have managed to produce _several_ FOSS OS-es. Why are we seemingly completely fucked if Mozilla does in fact kill itself/Firefox? I don't doubt that we are, I just don't understand.
by elcapitan | 2025-12-17 13:21:48+00:00
Yes, but the accessibility of TLA+, if you come from traditional programming languages, is quite harsh. I have 2 books about it and keep coming back to it every once in a while, but every single time there is a lot of investment into the exact syntax of certain things. Better tooling like AI autocomplete is a huge step there. I can still think about the spec, but not get stuck every single time on minor details.
by lproven | 2025-12-17 13:21:54+00:00
> I only use turn signals when there are other cars around that would need the indication.

That is a very bad habit and you should change it.

You are not only signalling to other cars. You are also signalling to other road users: motorbikes, bicycles, pedestrians.

Your signal is more important to the other road users you are less likely to see.

Always ALWAYS indicate. Even if it's 3AM on an empty road 200 miles from the nearest human that you know of. Do it anyway. You are not doing it to other cars. You are doing it to the world in general.
by misir | 2025-12-17 13:21:58+00:00
I think as long as we don't integrate formal verification into the programs themselves, it's not going to become mainstream. Especially now you got two different pieces you need to maintain and keep in sync (whether using LLMs or not).

Strong type systems are providing partial validation which is helping quite a lot IMO. The better we can model the state - the more constraints we can define in the model, the closer we'd be getting to writing "self-proven" code. I would assume formal proofs do way more than just ensuring validity of the model, but the similar approaches can be integrated to mainstream programs as well I believe.
by easyThrowaway | 2025-12-17 13:22:00+00:00
At the end of the day she and the other members of the board who took the plea bargain are basically keeping most of the money, right?

I know I'm basically in conspiracy territory here, but I can't stop thinking this was planned well beforehand and SBF was just the biggest moron they could find as the fall guy. Like, if what they say about him is remotely true they could've planned everything while he was playing LoL during meetings or something.
by benmxrt | 2025-12-17 13:22:41+00:00
I’m genuinely overwhelmed by the traffic (hitting 145+ concurrent sessions!) and the deep technical feedback from this community.

As a solo developer, seeing Mephisto being analyzed so thoroughly is incredible. If you support the idea of a 100% cookie-free, zero-persistence temporary mail tool, please consider starring the project on GitHub. It helps with visibility and keeps the motivation high to implement the complex features we’ve been discussing here (like IP-based domain allocation and secure reply-only logic).

Repo: https://github.com/jokallame350-lang/temp-mailmephisto
by expedition32 | 2025-12-17 13:22:58+00:00
You have to understand who Trump's base is. They think factories> liberals in Seattle.

Globalisation has made America the richest country on the planet. The real problem is that the money doesn't reach the "deplorable" population.

But that is an INTERNAL issue that could have easily be solved with voting for Bernie Sanders.

People vote against their own interests is a tale as old as democracy itself.
by nvartolomei | 2025-12-17 13:23:04+00:00
According to public information, AWS uses both and not only. AWS wrote a paper on the topic with some details about their applications of formal methods^1. AWS is a large org though, it would be hard to generalise or reduce their approach to any single method.

1: https://www.amazon.science/publications/using-lightweight-fo...

Later add: I believe P creator is employed by AWS at this moment.
by filldorns | 2025-12-17 13:24:38+00:00
I really think you didn't do anything interesting in this post. This is because you need to authenticate to log in via OTP, and from that point on (with your IP and everything else) the system knows that it released this data specifically for you.

Even if you had managed to log in without authenticating, all users know that by uploading images there, they become public. It's worth noting that the coordinates of each user were not sent to you in the response, only those of users who are relatively close.

In short... using a dating app means knowing that you are in a public environment, just like going to a shopping mall, party, park...
by MarsIronPI | 2025-12-17 13:24:40+00:00
> A reliable, corporate-friendly, with advanced support model alternative of Exchange + AD is something that could sink a titan like Microsoft in 2 decades, at least its non-cloud business (but then for cloud alone they are just one of many, nothing special there).

Ooh, imagine if they also threw in some kind of Teams alternative, maybe based on XMPP or Matrix! That might get a lot of attention.
by pitched | 2025-12-17 13:25:30+00:00
The new tools have sets of problems they are very good at, sets they are very bad at and they are generally mediocre at everything else. Learning those lessons isn’t easy, takes time, and will produce bugs. If you aren’t making those mistakes now with everyone else, you’ll be doing them later when you do decide to start catching up and it will be more noticeable then.
by TheOtherHobbes | 2025-12-17 13:25:30+00:00
MIDI 1.0 messages do not have timestamps. (Sys Real Time does, but notes and controllers don't.) Timing is managed by the MIDI sender, and any buffering happens in the interface.

MIDI over MIDI cables is fundamentally not a tight protocol. If you play a four note chord there's a significant time offset between the first and last note, even with running status.

With early MIDI you had a lot of information going down a single cable, so you might have a couple of drum hits, a chord, maybe a bass and lead note all at the same moment.

Cabled MIDI can't handle that. It doesn't have the bandwidth.

Traditional 80s/90s hardware was also slow to respond because the microprocessors were underpowered. So you often had timing slop on both send and receive.

MIDI over USB should be much tighter because the bandwidth is a good few orders of magnitude higher. Receive slop can still be a problem, but much less than it used to be.

MIDI in a DAW sent directly to VSTs should be sample-accurate, but not everyone manages that. You'll often get a pause at the loop point in Ableton, for example.

The faster the CPU the less of problem this is.

If you're rendering to disk instead of playing live it shouldn't be a problem at all.
by rsynnott | 2025-12-17 13:25:49+00:00
... I mean, what tools one is supposed to be using, according to the advocates, seems to completely change every six months (in particular, the goto excuse when it doesn't work well is "oh, you used foo You should have used bar which came out three weeks ago!", so I'm not sure that _experience_ is particularly valuable if these things ever turn out to be particularly useful.
by keepamovin | 2025-12-17 13:26:16+00:00
I learned this lesson the hard way recently. I'm on the 50k minutes plan and burned through my entire monthly allowance plus a $100 overage budget in about two weeks.

My mistake was a combination of triggering workflows on every push, using macOS runners (which I didn't realize had a 10x multiplier compared to Linux), and forgetting to set aggressive timeouts.

I'm sharing this because the support experience was actually the highlight. I opened a ticket expecting to just eat the cost, but they sent a detailed breakdown of my usage/mistakes the next day. Even though it was 100% my error (tho I used to think macOS runners were only 3x? True, did that change? anyway), they gave me a $50 coupon to offset the overage. Amidst the pricing discussions, I think it's worth noting that their support team is still very human and responsive.
by kcplate | 2025-12-17 13:26:49+00:00
I brought up that ease of access was significantly different then and now. That’s the lived experience I brought to the greater conversation. You didn’t argue that I was wrong about that ease of access, you decided to bring its effect into the conversation and said it didn’t matter. I made no reference to the effects in my original comment because it wasn’t about that. It was about ease of access being different. Only after you brought up effect did the conversation shift that way.

You left your thought and argument (whatever that was), incomplete. That’s your prerogative, but it’s a poor debate technique if your hope is to convince someone of your opinion.
by vintermann | 2025-12-17 13:26:56+00:00
If someone steals from my bank account I certainly CAN notice it even if I don't immediately, and I'm certainly worse off.

That's such a bad straw man I wonder if you're really supporting the position you claim to be supporting. Maybe you're just trying to give it a bad name.

Your opinion isn't on visual work, but visual property. You don't demand to be paid for your work - your labor. Rather you traded that for the dream of being paid rent on a capital object, in perpetuity (or close enough). Artists lost to the power-mongers when we bit at that bait.
by xtiansimon | 2025-12-17 13:27:11+00:00
> “…agents getting stuck in loops, apologizing, and wasting time. We tried to manage this … So we built Zenflow…Cross-Model Verification, Parallel Execution, Dynamic Workflows”

So you got me with the hook, and you bullet three features, but where’s the resolution of the hook issue? You left me with the hook?? What am I missing?
by zamadatix | 2025-12-17 13:27:38+00:00
I agree most either have used it for a long time or because someone recommended it. It's nearly tautological. I disagree the recommendations for the average user only/primarily come from <1% of the user base or that's what makes the installs stick when they do. Power users desperately want to feel key to the success, but the reality is people stick with a browser based on what it does for them not how much it does for their power user friend who recommended it 20 years ago. The same is true in reverse: power users can comment here all they want about privacy nits or what Mozilla should do blah blah but it doesn't matter to the average user because they aren't reading tech forums for opinions on browsers. Most Firefox users probably couldn't tell you what Mozilla even is in relation to Firefox.

The 200 million normal users can also recommend trying to use Firefox all the time to their friends again, they just don't have a reason to do so because often, for their cares, Chrome and others are the ones with better target to them. Pre-installs is definitely a problem, as it always has been, but it never stopped Firefox before.

If the non-tech person wakes up one day and decides privacy is a key concern for the browser then they join the few that learn about each in this detail and pick from there and the niche has a new member. When things like 1,000,000,000 people wake up and decided mobile performance and battery life were important for years it resulted in Firefox having next to no presence on mobile more than any other reason.
by throw0101a | 2025-12-17 13:27:53+00:00
> English has a long tradition of stealing words from other languages then mangling them almost beyond recognition because we're too lazy to take efforts to pronounce them correctly. To me, this is a form of language arrogance.

First, there is more than one English: British (plus England, Scotland, etc), American, Australian, Indian, etc.

Second, each language has its own way of doing things, and so words would be pronounced according to the rules of the context of the language that is being used. Should the Japanese pronounce "tempura" the way the Portuguese do, given that the Japanese got the idea from them? Or should a Japanese speaker pronounce it "properly" for the Japanese, and a Portuguese speaker properly for that language?

> So often one hears TV newsreaders including those on the BBC slur the word as 'sooonami' when clearly its English spelling indicates the correct pronunciation. Tsu, つ, sounds like a hissing snake—say it to yourself. Is that not obvious?

Welcome to the world of accents.

Also worth considering that the fact that English does not really care about accents (or tones) to convey meaning helps non-native speakers use it. Two ESL people can probably communicate well enough to get messages across. (Probably handy for English being the modern lingua franca.)
by jillesvangurp | 2025-12-17 13:28:59+00:00
All forms of education boil down to people putting in the time to engage their brain with the subject matter. Most organized education is based on coercing, peer pressure, or social pressure to get students in situations where they kind of have to engage e.g. in order to pass exams, or other exercises, or by being forced to listen to a teacher for a few hours in a class room.

Online education is not that different. You basically put in the time watching the videos and doing the homework and tests. The test and certificate become the goal.

Self study whether powered by LLMs or by good old books or whatever source of information, basically relies more on things like curiosity and discipline. Some people do this naturally.

The nice thing about LLMs is that they adapt to your curiosity and that it is easy to dumb down stuff to the point where you can understand things. Lots of people engage with LLMs this way. Some do that to feed their confirmation bias, some do it to satisfy their curiosity. Whatever the motivation, the net result is that you learn.

I think LLMs are still severely underused in education. We romanticize the engaged, wise, teacher that works their ass off to get students to see the light. But the reality is that a lot of teachers have to juggle a lot of not so interested students. Some of them aren't that great at the job to begin with. Burnouts are quite common among teachers. And there are a lot of students that fall through the cracks of the education system. I think there's some room there for creative teachers to lighten their workloads and free up more time to engage with students that need it.

I saw a teacher manually checking a students work on the train a few days ago. Nice red pen. Very old school work. She probably had dozens of such tests to review. I imagine you get quite efficient at it after a few decades. But feeding a pdf to chat GPT probably would generate a very thorough evaluation in seconds given some good criteria. She could probably cut a few hours of her day. There are all sorts of ways to leverage LLMs to help teachers or students here. Also plenty of ways for students to cheat. But there are ways to mitigate that.
by mulr00ney | 2025-12-17 13:29:08+00:00
> Esquire writing is so weird. It’s genuinely like a relic from another age.

I agree: but to me that's at least something kind of interesting and evocative, even if it's a trainwreck. (In fact, it might even be better when it's a trainwreck). A nice break from LLM's this-not-that. This one's not so bad IMO.
by rsynnott | 2025-12-17 13:29:43+00:00
> If i need a quick overview of a subject i don't necessarily need anything more then a low quality summary

It's true. I previously had no idea of the proper number of rocks to eat, but thanks to a notorious summary (https://www.bbc.com/news/articles/cd11gzejgz4o) I have all the rock-eating knowledge I need.
by nis0s | 2025-12-17 13:30:11+00:00
There’s no authoritarianism like that observed in leftists ideologies because they insist that they’re inherently incapable of being authoritarian, or that their extremism is simply humanitarian.

Importantly, any group that perceives an existential threat will favor extremism, regardless of their underlying ideology. The problem is when they flag false positives, or conflate the activity of healthy democratic activities or institutions as subversion.

Ideas will always be open to challenges in a democracy. The unspoken secret is that all ideologies prefer authoritarianism after they’ve gained majority support as their primary goal is support for their in-group, and disadvantaging their perceived enemies.
by piltdownman | 2025-12-17 13:30:59+00:00
Digital Service dominance in this case isn't based on some trait of American Exceptionalism - or conversely based off some sort of lack of academic rigour or work ethic in European Entrepreneurship.

Rather, the current state of SaaS in the context of the historic stock market is a severe economic aberration divorced from any sort of valuation fundamentals like securities weighting. Instead we observe predatory VC and PE entities supported by a complimentary taxation and economic regime, all ultimately facilitated by the passing of the Gramm-Leach-Bliley Act.

In short, this notion of self-sufficiency is unachievable in the European context as it is predicated entirely upon wealth inequality and thumbing the scale of the free-market via lobbying, and is the doctrine denounced to the point of anathema in any Socialist Democracy.

The end result here is not some sort of organically earned digital services dominance - instead you end up with scenarios like forcing the FDIC to bail out the VC bank of Choice - SVB - where uninsured deposits were estimated to represent 89 percent of total deposits at the bank, totalling $18 billion of the ultimate $20 billion cost to the Deposit Insurance Fund.
by bichiliad | 2025-12-17 13:31:00+00:00
Hey, I'm all for accounting for human error. But I don't think what we've been seeing in the news is not "hold on Mr. Robber, I need a warrant" (also, you don't need a warrant for that), nor is it "oops I arrested you by accident." It's people being taken off the street because of vague determinations about their identity, the types of jobs they're working, etc. That's not probable cause, and that's certainly not human error. That's an extrajudicial decision made intentionally to have a chilling effect.
by tzs | 2025-12-17 13:31:08+00:00
Front loaders are gentler on clothes, use a lot less water, use a lot less energy, and spin faster in the spin cycle so there is less work for your dryer if you use one.

Top loaders are easier to load and unload, cheaper, and slightly easier to maintain.

With front loaders you should wipe the gasket after use because water left in its folds can promote mold and odors. With both you should leave the door open when not in use so air can circulate in the drum. With a front loader the open door can get in the way and is easier to accidentally close.

Front loaders are easier to stack.
by cheriot | 2025-12-17 13:31:28+00:00
Udemy figured out that selling to enterprise is way more profitable than individuals. Coursera figured out that University/Company brand is more valuable than Joe's Ultimate Course.

But in the last couple years both have been horribly run. Hopefully the AI threat lights a fire. I suspect a well designed course with some context engineering can become far better than ChatGPT by itself.
by apawloski | 2025-12-17 13:31:45+00:00
> I don’t think one guy acting corruptly makes regularly people act corruptly.

Calling the President of the United States “one guy” I think is a bit reductive. He has spent a decade traveling the nation, rallying, and propagandizing. Surely that has impacted American culture? And we (I think) agree that the way he talks and behaves is not what we want our children to model. To me, I’d be much more averse to them acting like that than I’d be worried about them acting like random New Jerseyans.

I also think the president and his administration corrupting the government absolutely will impact regular people’s behavior and I’m surprised to hear you claim otherwise. In the same message that you are concerned with cities being corrupt as a bad thing, you are accepting and endorsing Trump doing that at a much larger and impactful federal level. Corruption is bad and we should want less of it - I don’t see how that happens under Trump.

Just a heads up that I’ll be heading out for a while so I think we have to agree to disagree at this point. Feel free to take the last word.
by bojangleslover | 2025-12-17 13:31:57+00:00
You are right for probably 60% of customers. For someone spending $3k/mo on cloud on a company doing $500k/yr of revenue then going down to $1k/mo on cloud for a less tried and true product (us) is likely a bad idea.

Similarly for a mom-and-pop bakery (contrived example) hosting a website for $60/mo, going down to $20/mo (just to keep the 1/3 ratio) also is probably not worth it.

But some of our customers are not like that. For example a hedge fund we have been working with needs 512G RAM and 256 vCPUs for a mortgage model. The data size is not too big and once they get their results they rip it back to on-prem. The complexity is low, ie they just ssh in and do their models. Often they let them run over the weekend.

And these guys are very price-sensitive. In their industry, saving money means more carry for partners and bigger bonuses for quants. These guys are counting nickels.

So I think you're totally right for the large part of the market that we're not really for, and we're not really competing for those types of customers. But we're not really providing much managed service, we're providing a commodity that, assuming you don't need the high-complexity ecosystem surrounding it, can be very nice for customers who are price-sensitive.