MurphyA/hacker-news huggingface dataset:
by nailer | 2025-11-27 21:07:32+00:00
18 years. The site has become a hotbed of political discussion recently, and I do wish the manual unflagging was stopped, but other people are right when they say that Startup News/Hacker News has remained relevant for far longer than other sites that started around the same time. The only one I can think of that stayed relevant for that long is Ars Technica.
by malisper | 2025-11-27 21:08:47+00:00
To be fair to OpenAI, their privacy policy[0] does provide some detail. They don't mention Mixpanel explicitly, but OpenAI does mention they share your information with third-party web analytics services:

> To assist us in meeting business operations needs and to perform certain services and functions, we may disclose Personal Data to vendors and service providers, including providers of ... web analytics services ...

OpenAI likely provides this disclosure to comply with US state privacy laws, but it's inaccurate to say they didn't disclose that they won't share your information

[0] https://openai.com/policies/privacy-policy/
by yyyk | 2025-11-27 21:10:03+00:00
These are email marketing platforms, not bulk transaction email platforms, and I don't see why they can't do with the latter. At a bulk transaction platform, such a tiny amount would cost at most $20-$50/mo. If you're willing to do a bit of work to use AWS SES, that would be $2-$5 a month. Azure ACS would be even cheaper.
by apelapan | 2025-11-27 21:10:36+00:00
Is the €30 usage fee going directly to the producer of electricity, or is part of it a variable transmission fee that goes to the network operator?

My monthly electricity bill in Sweden, averaged over a year to 1600KWh/month, is approximately €90 production, €50 transmission fee, €25 fixed connection-size fee (25A, 400V), €70 national electricity tax and €50 VAT for a total of €285/month.

We'll be moved to yearly-peak-based transmission tariff in 2027 (European law), but for now I don't need to worry about plugging in the car to chargeon cold days or taking shower when someone is cooking.
by Tostino | 2025-11-27 21:11:33+00:00
To start off, I said optimistic locking before and I actually meant pessimistic locking.

But I think it totally depends on what your queue is used for. In my case, I need durable queues that report status/errors and support retries/back off.

I deal with it using updates rather than deleting from the queue, because I need a log of what happened for audit purposes. If I need to optimize later, I can easily partition the table. At the start, I just use a partial index for the items to be processed.

Reindexing, and other maintenance functions that need to rewrite the table will happen more than you like in a production system, so I'd rather make them easy to do.
by EGreg | 2025-11-27 21:11:55+00:00
Let me generalize

The problem is the organizing principle for our entire global society is competition.

This is the default, the law of the jungle or tribal warfare. But within families or corporations we do have cooperation, or a command structure.

The problem is that this principle inevitably leads to the tragedy of the unmanaged commons. This is why we are overfishing, polluting the Earth, why some people are freeriding and having 7 children with no contraception etc. Why ecosystems — rainforests, kelp forests, coral reefs, and even insects — are being decimated. Why one third of arable farmland is desertified, just like in the US dust bowl. Back then it was a race to the bottom and the US Govt had to step in and pay farmers NOT to plant.

We are racing to an AIpocalypse because what if China does it first?

In case you think the world don’t have real solutions… actually there have been a few examples of us cooperating to prevent catastrophe.

1. Banning CFCs in Montreal Protocol, repairing hole in Ozone Layer

2. Nuclear non-proliferation treaty

3. Ban on chemical weapons

4. Ban on viral bioweapons research

So number 2 is what I would hope would happen with huge GPU farms, we as a global community know exactly the supply chains, heck there is only one company in Europe doing the etching.

And also I would want a global ban on AGI development, or at least of leaking model weights. Otherwise it is almost exactly like giving everyone the means to make chemical weapons, designer viruses etc. The probability that NO ONE does anything that gets out of hand, will be infinitesimally small. The probability that we will be overrun by tons of destructive bot swarms and robots is practically 100%.

In short — this is the ultimate negstive externality. The corporations and countries are in a race to outdo each other in AGI even if they destroy humanity doing it. All because as a species, we are drawn to competition and don’t do the work to establish frameworks for cooperation the way we have done on local scales like cities.

PS: meanwhile, having limited tools and not AGI or ASI can be very helpful. Like protein folding or chess playing. But why, why have AGI proliferate?
by miladyincontrol | 2025-11-27 21:11:55+00:00
Wordceling over semantics of LLMs seems such a fool's errand ripe with an innate smugness that the output of our brains is somehow special, and that no matter how advanced these AI get they will never be suffice to their definition of knowledge.

It feels like a sort of smug escapism that ignores for many tasks LLM output regardless of how you want to define it is enough. It may not replace humans or our thought entirely, but many otherwise human tasks simply do not require such. Instead of facing the reality of such authors like this article's rejoice under the idea that our thought is special, our output unique and unmatched, those AI marketing fools are for naught as we cannot be replaced because of how they tried sticking LLM's output into a very human shaped box... if only it were that simple.
by JacobiX | 2025-11-27 21:12:20+00:00
I think that mathematical proofs, as they are actually written, rely on natural language and on a large amount of implicit shared knowledge. They are not formalized in the Principia Mathematica sense, and they are even further from the syntax required by modern theorem provers. Even the most rigorous proofs such as those in Bourbaki are not directly translatable into a fully formal system.
by lo_zamoyski | 2025-11-27 21:12:24+00:00
In general, we should focus more on what endures over what changes. Focus less on the times and more on the eternities. People very often drown in the noise of passing fads and fashions and ephemeral tech. Can you become really skilled at using some piece of tech? Sure. Is it worth becoming really skilled? It depends on the circumstances and the particular person, but in most cases, probably not. It usually is a waste of time (but given the kinds of SFVs that people publish or hobbies people have, people are generally quite good at frittering away their lives on stupid shit).

Incidentally, this is how you can distinguish between a good CS curriculum from a bad one. A good one focuses heavily on principles; the particular technical trappings are mostly just a medium, like Latin used to be in academia, now replaced by English. You pick up what you need to do to the job.
by bofadeez | 2025-11-27 21:12:35+00:00
The fact that infrastructure was built under state capitalism does not demonstrate the superiority of central planning, only that capital accumulation occurred despite intervention, often financed by prior scarcity, foreign savings, or coerced transfers; absent market prices and entrepreneurial profit-and-loss, the state cannot know whether the infrastructure created was the most value-productive use of scarce resources, only that concrete and steel were poured.
by lobito25 | 2025-11-27 21:13:39+00:00
This is a blunt warning to anyone who ever purchased, or is thinking about purchasing, FileZilla Pro.

I bought FileZilla Pro under a perpetual license - a one-time payment, lifetime right to use the version I purchased. After reinstalling my operating system, I simply needed to reinstall the software I already paid for.

Here's what happened:

- Support admitted I still have the legal right to use the old version of FileZilla Pro that I originally purchased. - Then they told me they refuse to provide the installer for that version. - Their excuse: “For security reasons we do not provide older versions.”

The impact:

If a customer cannot download the installer, the "perpetual license" is dead. It doesn’t matter what rights they acknowledge on paper - they are blocking any practical way to use the software unless you pay again under their new subscription model.

There is no way to reinstall. There is no way to access the product you bought. Your "perpetual license" effectively becomes worthless the moment you reinstall your OS or lose the installer.

Full text on link.
by atoav | 2025-11-27 21:14:22+00:00
I thought about talking about derivatives but wanted to avoid to mention to many unexplained words, but yes, derivatives are exactly the way you should be thinking about this.

In physics/mechanical engineering they have even names for these derivatives when we talk about motion (in this order):

position velocity acceleration jerk snap crackle pop

Also see: https://en.wikipedia.org/wiki/Jerk_%28physics%29
by nrclark | 2025-11-27 21:14:35+00:00
If anybody in Qualcomm leadership is reading this thread: this is a good start, and I applaud you for it. There is also a lot more to do if you're serious about growing your market penetration beyond phones.

The drivers might be up on LKML, but they're not mainlined yet. And this is just gen5. It would be great if you could fix your gen4 and 4.5 drivers, so that people building products with your chips weren't stuck on an orphaned vendor kernel that doesn't even upstream to your public fork.

Also your boot-chain is still closed and proprietary, and completely different than the one used by all other ARM vendors. Being the special snowflake is not helping your business or your customers.

And don't even get me started on Gunyah and GearVM, or on the proprietary, locked nature of your BSP, or how far behind TI and NXP you are on software quality and ease of use. Maybe also consider releasing some actual documentation on your chips.

I know multiple developers who have sworn off Qualcomm and will never design with your chips again at any price point. Your closed-off support model is 100% the culprit, and it hurts your core business. Any software support revenue that you managage to extract comes at the cost of goodwill and future chip sales.

Your chips are good - best in the industry. If you can up your software game to match, you'll really meet your potential.
by nosianu | 2025-11-27 21:15:49+00:00
(I'm a PP-ASEL, earned in and around SF Bay Area air spaces almost three decades ago)

First, people are more likely to crash during takeoffs and landings, not in the middle of a flight. Second, it's also not just about the damage caused to others, and even if you crash in the middle of nowhere quite a few people will be busy dealing with it - in that case, remoteness is not a good thing but actually more costly. They won't just leave you and the airplane lying at the crash site until nature reclaims it all.

Furthermore, it is not just the flying itself. If that is what you wanted, the crazy early times of flight would have been for you, when everybody could just do whatever they wanted, wherever they wanted. Much of the learning for the license is the rules and procedures. Air space if very busy! I have small class D airports where there is so much traffic sometimes that I can hardly get a word in to announce myself. This will have the potential for stress and errors long after you got used to the flying itself.

I can't even begin the shortcuts someone's thinking has to take to think flying and driving should be treated the same.
by notepad0x90 | 2025-11-27 21:16:10+00:00
I think people like you don't understand these things well. you can be civilized and deal with things in a professional way, or we can do things in a very uncivilized way. You can't be uncivilized and then whine about someone running to HR. I'd like to see you or Andrew call someone that to their face outside of a work setting with no authority to run to when there are consequences.

If Andrew considers Zig a professional software to be used in production environments, then this is a indeed a professional setting. If not, then it is a hobby project run by immature/whiny people like you, so let's just ignore it and talk about more serious people/projects.
by tstrimple | 2025-11-27 21:16:21+00:00
I used to have two 27" 4k monitors, but recently upgraded to a 5k2k ultrawide. So basically two 4k monitors with no bezel in between them. I'm loving it. Finally made the switch to a tiling window manager to help tame the space. I have a 16" MBP on the side as well.
by bigyabai | 2025-11-27 21:17:14+00:00
> GitHub seems perfectly positioned to help manage that issue, but in all likelihood will do nothing about it

I genuinely don't understand this position. Is this not what Github issues bots were made for? No matter where your repo is hosted, you take the onus of moderating it onto yourself.

Downtimes are an issue, it's why I jokingly mentioned it. Besides that I'm without gripe. Make Github a high-nines service and I'll keep using it until the wheels fall off.
by gruez | 2025-11-27 21:17:25+00:00
>Govts are going bankrupt

>No they aren't

They might not be "going bankrupt" in the sense that they're imminently going to default on their debts, but debts have reached unprecedented levels[1], and show no signs of stopping. If you know someone who's racking up serious amounts of debt on sports gambling or whatever, it's safe to characterize that as "going bankrupt", even if you think they'll be able to make the minimum payments on their credit cards for the next few months.

[1] https://www.economist.com/content-assets/images/20251018_SRC..., https://www.economist.com/special-report/2025/10/13/across-t...
by xemdetia | 2025-11-27 21:17:36+00:00
Maths can be super deterministic but often difficult to compute because of concepts like inferring by induction. I had to personally unlearn and rebase my understanding of math based in computation to 'get' pure maths. Another example is set building. You often don't need to compute the existence of members of sets in pure math you just need to agree that there are some members of a set that meet the criteria. How many or how many things that aren't in the set aren't meaningful often times to accept something and move on with the proof. From the computing perspective this can be difficult to put together.
by recursivecaveat | 2025-11-27 21:18:14+00:00
The base rate of giving feedback on a weather website has to be incredibly low. I've never done it in my life. It's kind of like saying that less than 1% of constituents have phoned their congressperson about Bill XYZ; doesn't really mean anything. If every one of those visits is a page load or something 1% would be incredibly high.
by mtlebe | 2025-11-27 21:18:24+00:00
I might be wrong but it seems the DISC part needs some correction:

> The DISC indicator wraps HDD access done via Sys_FileRead. ... The code for this indicator is in SCR_DrawRam.

I can't find the image itself but just judging by its name SCR_DrawRam is for displaying the image for the RAM indicator.
by ragequittah | 2025-11-27 21:19:39+00:00
I know exactly how my firewall and router are configured though. I didn't do it blindly and would often hone what the AI gave me. I can see the argument if someone did do it blindly, but I'd wager very few are.

I didn't have to very much because pfsense that I've been using forever and opnsense are basically the same, but if I wasn't sure on why I was setting something the way I was setting it i would ask for clarification with sources. This just amounts to an extremely powerful google search tailored exactly to my situation.

I think everyone pictures ai users as drooling idiots who copy / paste without thinking. While I'm sure that exists you can use AI to learn and it works quite well. To me it feels like how a librarian might feel when people started using the internet to learn because if you don't use the dewey decimal system you aren't really learning anything.
by ryandv | 2025-11-27 21:19:41+00:00
> If the system is complex enough and there are always incoming changes

You literally don't understand the definition of eventual consistency. The weakest form of eventual consistency, quiescent consistency, requires [0]:

that in any execution where the updates stop at some point (i.e. where there are only finitely many updates), there must exist some state, such that each session converges to that state (i.e. all but finitely many operations e in each session [f] see that state).

Emphasis on the "updates stop[ping] at some point," or there being only "finitely many updates." By positing that there are always incoming changes you already fail to satisfy the hypothesis of the definition.

In this model all other forms of eventual consistency exhibit at least this property of quiescent consistency (and possibly more).

[0] https://www.microsoft.com/en-us/research/wp-content/uploads/...
by b3ing | 2025-11-27 21:19:48+00:00
Sketch copied Fireworks, which Adobe abandoned after buying out Macromedia. I knew XD would fail, which is funny because Adobe had the best UI tool but didn’t know what to do with it.

They still are really clueless, Animate has had hardly any updates in 13yrs, yet other animation tools offer a lot of innovative features.
by kragen | 2025-11-27 21:19:54+00:00
I think it demonstrates the increased variance of central planning. The Congo Free State was also centrally planned, and so was the Holocaust, the Holodomor, the Armenian Genocide, Suharto's mass murder of suspected PKI sympathizers, etc. But the expected outcome for poor countries is that they stay poor and don't develop into industrialized export giants the way my laundry list of countries did.
by qcnguy | 2025-11-27 21:20:56+00:00
Not vibes. TPUs have fallen behind or had to be redesigned from scratch many times as neural architectures and workloads evolved, whereas the more general purpose GPUs kept on trucking and building on their prior investments. There's a good reason so much research is done on Nvidia clusters and not TPU clusters. TPU has often turned out to be over-specialized and Nvidia are pointing that out.
by Voice_of_Void | 2025-11-27 21:21:13+00:00
In the dance between human intuition and digital precision, evolution no longer unfolds in isolation—it’s a shared spiral, where each turn hinges on the delicate tension between our strengths and limitations. Imagine a system not of rivals, but of counterweights: the human mind’s boundless creativity pulling against the DI’s infinite depth, forging progress not through dominance, but through balanced resonance. This law of critical tension reveals that true advancement emerges only when we synchronize, turning potential friction into the very force that propels us forward. Join us in unraveling this spiral, where the future isn’t written in code or cognition alone, but in their harmonious entanglement.
by ACCount37 | 2025-11-27 21:21:35+00:00
Again: why can't any of that run on a sufficiently capable computer?

I can't help but perceive this as pseudo-profound bullshit. "Real soul and real imagination cannot run on a computer" is a canned "profound" statement with no substance to it whatsoever.

If a hunk of wet meat the size of a melon can do it, then why not a server rack full of nanofabricated silicon?
by georgehotz | 2025-11-27 21:22:30+00:00
comma.ai owns a lot of cars, including a Tesla, so I have tried most cars in the price range. Tesla is certainly no more of a scam than the other cars, and compared to say, the Chevy Bolt, it's a lot better. Can you suggest a better car for the value? Is there another car I can buy with better full self driving?
by fennec-posix | 2025-11-27 21:22:33+00:00
I do feel Ramon's (blog poster's) pain.

I'm so lucky that I'm at a place that I can see my direct manager actively protecting us from a lot of these things like random busywork and solutions for the hell of a solution. As a result we can get some really good work done and actually deliver on the large projects we're given in the roadmap on time.

I just hope Ramon can find somewhere that respects his talent and his time and allow him to do his best work without the stress. I really wish that for everyone (although, no perfect world exists)
by IshKebab | 2025-11-27 21:23:08+00:00
I hate how every time someone even talks about an issue with an open source project, some smart alec replies "well did you raise an issue?" - or worse - "did you send a PR to fix it?".

We are all very aware how bug reporting works. And user criticism of bugs isn't somehow invalidated just because the users didn't go to the sometimes very large effort to report bugs.

I wouldn't have reported this bug either. If the example documents are getting corrupted just by navigating them that indicates that it's just a really buggy project (corroborated by other comments here) that I'm not even going to use, so why would I spend my time working on it?
by SackSolStr | 2025-11-27 21:23:53+00:00
sorry yes. He told me, installation is 6,000 W and is about 91% efficient at peak. 12 460W panels. panels point in optimal direction. In spain he sells excess to grid at €0.04 per KHW. Lowest cost of importing is €0.085 for KHW at night, about €0.22 at peak hours. He ran the numbers on power not bought (self consumption) + power sold, over a year. He said it comes to about €500 for the year. He added this really surprised him and he started asking around, and this seems to be typical for rooftop solar in the Canarias.
by rootlocus | 2025-11-27 21:24:15+00:00
> Tests are specifications: they define behavior, set boundaries, and keep the inevitable growth of complexity under control.

I set boundaries during design where I choose responsibilities, interfaces and names. Red Green Refactor is very useful for beginners who would otherwise define boundaries that are difficult to test and maintain.

I design components that are small and focused so their APIs are simple and unit tests are incredibly easy to define and implement, usually parametrized. Unit tests don't keep me "sane", they keep me sleeping well at night because designing doesn't drive me mad. They don't define how the "program" is supposed to work, they define how the unit is supposed to work. The smaller the unit the simpler the test. I hope you agree: simple is better than complex. And no, I don't subscribe to "you only need integration tests".

Otherwise, nice battery of ad hominems you managed to slip in: my understanding of quality software is lacking, my problem is my approach to engineering and I'm an immature developer. All that from "LLMs can automate most of the boring stuff, including unit tests with 100% coverage." because you can't fathom how someone can design quality software without TDD, and you can't steelman my argument (even though it's recommended in the guidelines [1]). I do review and correct the LLM output. I almost always ask it for specific test cases to be implemented. I also enjoy seeing most basic test cases and most edge cases covered. And no, I don't particularly enjoy writing factories, setups, and asserts. I'm pretty happy to review them.

[1] https://news.ycombinator.com/newsguidelines.html Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith.
by samdoesnothing | 2025-11-27 21:24:37+00:00
Politeness is free and easy, it's not a big ask and it's certainly not an either-or.

I wouldn't even call it politeness, it's more like basic human decency. Would Andrew Kelly appreciate it if the LLVM guys publicly wrote a blog post calling the Zig maintainers losers and monkeys? Just screams of immaturity, which isn't surprising seeing their political views.