skysight-inc/HackerNews huggingface dataset:
Ha, good one! Claude gets it wrong too, except for apologizing and correcting itself when questioned:

"I was trying to find a clever twist that isn't actually there. The riddle appears to just be a straightforward statement - a father who is a surgeon saying he can't operate on his son"

More than being illogical, it seems that LLMs can be too hasty and too easily attracted by known patterns. People do the same.
Electric car is no longer a premium.
Apple today is known as a totally unreliable partner when it comes to developing and deploying tech. The OLED factories come to mind.
Handling Your Ugly Ducklings
> If somebody asks "Why did you vote not guilty", you simply say "I didn't believe the evidence was convincing". There is literally no way for anyone else to say otherwise

Nullification needs to be unanimous. You'd get in trouble when pitching nullification to your fellow jurors. (Or at the very least, have a mistrial declared.)

> people aren't excluded (at least by the judge) for just knowing what the concept is

If you want a surefire way to get off a jury, mention nullification in voir dire. (Hell, just ask innocently about it.)
He sounds confused if he thinks that quotation involves turning programs into source code and then later recompiling them.

What he implemented IS quotation, despite his objections.
> which caused the FBI equivalent to request the bank account history from the bloggers bank, which ultimately caused debanking.

I don’t know which person you have in mind but the situation in Europe can’t be directly compared since you have a right to a bank account. You _cannot_ be debanked. You have a right to a “base account” (under some conditions).
LLMs don't know what is true (they have no way of knowing that), but they can babble about any topic. OpenCyc contains 'truth'. If they can be meaningfully combined, it could be good.

It's the same as using LLM for programming, when you have a way to evaluate the output, then it's fine, if not, you can't trust the output as it could be completely hallucinated.
Ah hum. The discriminant is whether they know that they don't know. If they don't, they will happily spit out whatever comes to their mind.
> Have you thought the implications of that claim through?

The CEO getting shot seems to indicate it's probably more true than less true.
… and then they pivoted to B2B ;)
That is also true of Lisp. And Forth. And a dozen other homoiconic languages.
> not a coincidence that the mundane or stupid reasons happen overwhelmingly more often to people with the wrong political beliefs

RTFA. It doesn't. The author opens with examples where it happened to him. He shows that debanking is disturbingly common in America, with the communication and knowledge around it badly distributed.

Mischaracterising it as an attack on political beliefs plays into the ignorance that gave rise to the problem in the first place.
I hate to defend them, but at least with Philip Morris, they warn you outright that their products cause cancer, right on the package, yet people keep buying them anyway. (Yes, I know they had to be forced into this years ago by the government, but still that's better than Boeing where the government said their product was safe.)
He's had a huge societal impact: https://en.wikipedia.org/wiki/Degrowth. The lack of apparent "productivity" is caused by forces beyond anyone's control (nature of market economies, etc.)
It’s not. American judges, generally speaking, hate jury nullification with the strength of a thousand suns. They are petty little tyrants.
The text on the website linked to is entirely vacant and content-free. It doesn’t actually describe what the language is or how it works.
> Recently someone proposed this on LLVM

Well, to be honest, it's not any extraordinary idea and it's not even mine. Mike Acton used this exact example in his CppCon video (https://youtu.be/rX0ItVEVjHc?t=1558 at 25:58). I just happened to know that LLVM's DenseMap has this problem.

On the other comment, data locality is a property (well... it's not really a binary thing (i.e, an execution has it or it doesn't), but really a spectrum; but ok, it will do) of a program. For example, a simple definition which I like is in the paper "Improving Data Locality with Loop Transformations (https://dl.acm.org/doi/pdf/10.1145/233561.233564):

> Data locality is the property that references to the same memory location or adjacent locations are reused within a short period of time.

Changing the the layout is just a transformation to achieve this property. So, the two things are different in the sense that one is a property while the other is a transformation, but they're not different in the sense that data layout transformations are not relevant to data locality.

Regarding cache locality, that is also a property that we could define let's based on this (https://doi.org/10.1109/12.752657) say as: "The property that data brought into cache should be reused as much as possible before it is replaced". Data locality depends on the hardware on which the program is executed. Since we use caches in our hardware, to have data locality you usually need to need have cache locality so these two coincide.

Finally, yes you're absolutely right (well, last time I checked...). LLVM has a bunch of loop transformations implemented---some relevant to data locality---but they're not turned on by default. One reason for that is that LLVM loops are too unstructured while these transformations usually need nice for-loop nests. They're unstructured on the one hand because they're coming e.g., from C, and OTOH because LLVM doesn't have a loop structure, something Chris Lattner has said he regretted.
Plenty of smart and clever people make mistakes all of the time and you’re only oppressing yourself if you think otherwise. For fear of making mistakes is foolish pride.
Having said that, it is not popular because it is not cost effectivr but I would not trust any hosting/cloud service and would definitely have all my business data in at least 2 different ones, run my services on two different major OSes (probably Linux and FreeBSD), as well as a separate company for 2 different domains that are known by my customers (and apps, for autoretry).

But I am not in a position to take those decisions anyway.
So a given function would be reprsented by an unlabeled tree, and its result calculated by applying rules which transform the source-tree into a binary tree?

Then how do I "call" such a tree with some specific arguments? Do I have to create a new tree that represents both the function, and the arguments it is called with?

How do I represent numbers, and strings, and arrays?
Discussion (15 points, 10 hours ago, 9 comments) https://news.ycombinator.com/item?id=42370854
> the explanation I was given off-record was my citizenship

That seems fishy and can’t be right. The only way this would work is if you don’t have residence but not because you have the wrong citizenship.
This is more typically called lazy evaluation.
This should be updated for ISO C23's _BitInt(N), which is not equivalent to intN_t (the type promotion rules differ!)

(It also supports "uncommon" values of N)
P-6 is what I ment :)
>There are areas at the edges where the mocking/stubbing required to really follow TDD cause make changes harder but never find bugs

That's not TDD that's either a badly designed unit test or (more likely) you should have written an integration/e2e test instead.

>There are entire families of bugs that are far better handled via strong types than by building tests.

Tests and types are not solving the same problem and they work better in conjunction than alone. Types reduce the execution space, reducing what can go wrong and tests validate the execution space that does exist.

Yes, types reduce the need for tests by shrinking the execution space but this will be for scenarios which should never happen.

There are entire families of code and bugs that unit tests are unsuitable for but that's a whole different topic.

> but hard red-green-refactor mandates tests with negative value.

I have never seen an example of this. I've seen plenty of tests with negative value but they were simply bad tests - usually a unit test when an integration test was more appropriate.
For the first question, check this: https://youtu.be/pVhcyKf3efM?t=447 at 7:27. I don't know any details about Porforr but you may want to look into that.
I've tried to use ChatGPT to produce wikidata queries- it sounds like a great combination. Unfortunately it's pretty hard to make it produce valid queries, and to find the wikidata documentation to teach it.
> if they wanted to be exposed, they could be

One, they don't know what they don't know. Two, we don't know what they know and don't--being required to hear every case means being required to write an opinion on every case.
Crime and Punishment (Dostoyevski) illustrates this. It's probably wasn't a conscious process or well thought out plan, and it's difficult to imagine and prepare for the pressures of a life-and-death situation in advance.
We can see looking at both websites that GitHub is drastically cheaper on paper alone when it comes to enterprise. GitLab would have to be undercutting their premium offering by almost a third of the price to match GitHub which seems doubtful even if you have something like a volume discount.
Thanks!

I'm friends with someone working on the 'Faster CPython' project. There's lots of interesting stuff happening there. Both in what makes it into CPython, and even more that they are experimenting with.
I don't think that was entirely missed: AFAICR, I pointed out somewhere that in that case, it's up to the app developer not to screw it up. If they set the foreground colour but not the background, or vice versa, they risk getting both so close to each other that the lack of contrast makes text illegible. This is so obvious that on such systems, the fault is totally with any app developer that does this.
The sought damages is $621 Million. Internet Archive reported having about $7 Million in assets and $30 Million in revenue (for those who accidentally read over that, revenue is before factoring in costs, which for IA budgets around $37 Million annually as well.) (EDIT: in 2022. I've been rewriting this a few times and forgot to re-add that part in the final comment)

If the suit is found in favor of UGM and enforced at full effect (not impossible, but Hachette v. Internet Archive was not either), then IA will be on the hook for the full $621 Million. You can guess how that ends.

But even if they don't enforce at full effect (and given Web Archive has been successfully used to provide evidence against UMG and Sony multiple times now, they have a pretty strong incentive to get it burned down), a sizable portion of the 400,000 recordings are from disks that quite literally broke down after capture. Those disks are the last copies of those recordings. Ever. Should UMG and Sony succeed, it is a very safe assumption, given they already confirmed they don't have those recordings (and based on that, don't want them), that those recordings immediately become lost media.
I’m not sure that’s quite right (I work in this field and we also give all new employees a copy of Clarke) - unless you really squint about your metric for ‘efficiency’, adding Mercury would be a disaster - the specific impulse (how much velocity change you can get for a given mass of propellant) would fall off a cliff completely. You’d actually want to do the opposite- add extra free hydrogen - to improve efficiency.
> "how hard could it be to do <thing i know nothing about>?"

This is most Hacker News comments summarized lmao. It's kinda my favorite thing of this place: just open any thread and you immediately see so many people rushing to say ''well just do X or Y'' or ''actually it's X or Y and not Z like the experts claim''. Love it.
In the real world it's bad form because audio has 1-2 max "tracks" you can focus on and so people need to focus or lose time as they wait to get back on track.

Here is different, if you don't think a subthread is interesting instead of telling people they are talking about the wrong thing, just scroll down. You can skip it entirely.
If you are rooted, you do no need a wire to bootstrap, there are apps that start the process, but it's mainly for convinience.

Also this lets you run script on your real device instead of the chroot thing of termux which can be helpful (e.g. accessing /data/data stuff which is a pain with termux, not sure if its even possible).

And my last reason is just that why would I need a separate app that I need to configure when I can just have a real ssh server
How does one even find tech writing jobs?
All the Little Data – Speaking the Language of Robots
The solution for this is right out of the Microsoft playbook.

They should have adopted the standard, unregulated model, then -gradually- ramped up registration requirements and penalties for being unregistered, until the registration rate was satisfactory. Then -gradually- ramp up taxation until resistance (illegal shops) start rarely cropping up. Then you’ve found your balance of incentives.

From there you come down hard on illegal shops, then ratchet up your taxes, rinse and repeat until your enforcement costs push back against revenue gains… and you now have a new local minimum, and hopefully a stable balance.
Presumably you could implement Church numerals [0] or something similar in the tree calculus.

[0] https://en.wikipedia.org/wiki/Church_encoding
So you are saying that a private company, i.e. the bank must service the crypto industry even though it is going to mean they will suffer massive losses in doing so?

See my explanation of why it is an extremely costly venture for banks.
No, I do not work at a bank. What do you mean?
Proof of stake, correct.
https://quantum.country/qcvc
My takeaway from this is that what would have saved this man is a proper liberal arts degree. I can't deny that there are reasons for engineering degrees being as focused as they are, but he clearly didn't get the chance to work out his philosophical ideas in an appropriately challenging environment.
Rheinmetall joins forces with US software specialist on combat drone development
What chain are you talking about?
Such systems tend to be equally good at producing nonsense: mainly because it's really hard to make a consistent set of 'facts', and once you have inconsistencies, creative enough logic can produce nonsense in any part of the system.
The MS Farah Nile Cruise offers a luxurious journey along the Nile, combining modern elegance with traditional hospitality. This 5-star deluxe cruise features spacious cabins with panoramic windows, a gourmet dining experience, and a relaxing sundeck with a swimming pool. Explore iconic sites between Luxor and Aswan, such as the Karnak Temple, the Valley of the Kings, and Philae Temple, while enjoying personalized service.
I googled that, and I found that it is a sister conference of POPL: https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-...

I was inclined to think that Barry Jay is some kind of crackpot
https://archive.ph/2024.12.09-063624/https://www.ft.com/cont...
Smug Lisp Weenie
I wonder what is going to happen to all the LiIon batteries in cheap gadgets that are being stored in garages and basements. What happens to them in 20-50 years?
If CuddleBunny227 is your stage name that you release music under and people know you as, you should probably use it so people recognise the name. It's ultimately a personal choice of whether you wanna doxx your real name or not, and many online artists prefer not to, in which case putting both names alongside would be unacceptable
> Not sure why you think I'm talking for everyone.

Fair enough. I still think "mediocre" is a strong word for a <$100 product that’s a real usable computer, with this form factor. For a first computer for example, it’s NOT mediocre.
Are you sure it was Thompson who added backtracking to grep? Note also that the POSIX standard intentionally omits backtracking regex. It is a shame that others have not deprecated them.
> First you are wrong from the very start.

LOL

> because concert recordings already achieve this purpose

They are quite different, not subtly different.

> because time in the studio is costly

When they do 20 takes and pick the "best", there's always a second "best". It's not like you're starting over.

> and you are not touring or composing while you are doing it

C'mon, a big chunk of the composing is done in the studio. I watched "Get Back" and saw the many variations before the Beatles picked one.

> most would not buy n versions of the same song

Sure, but some would, and that number is greater than epsilon. I'd buy Led Zeppelin variants.

> Producing many different SKUs

Make the small variations the same SKU. Slight variations does not imply that either is better than the other.
You missed the point, banks have costs, banks are companies, banks must be profitable otherwise they collapse, crypto is very expensive to bank, banks have difficulty making profits on funds sourced from crypto, a responsible business you must prioritise (queens English) profitable customers.
That's exactly the kind of logical conclusion I had hoped for someone here to reach in this bizarre sea of emotional pleas.

After over two decades of careful preparation, we're the stroke of a legislative pen away from having all of the software on our computers regulated by our friends in the government.

It's not even a slippery slope argument. In order to be effective, "We must regulate AI!" means the same thing as "We must regulate computer software!"

The two things are so identical that they're not even so different as two sides of the same coin are.

(Be careful what you wish for; you might just get it.)
No, all 36 burn in year 360.
Ah, right, it’s never the CEOs blame for bad things, that’s why they get they are paid so little. Or was it the other way around, they are paid a lot because of their responsibility?

Anyway, it’s the State’s and regulations fault, as usual.
That just makes it even more confusing that it uses longer to vary the right than the left – is the specific hash algorithm used not "balanced" (or whatever the term of art is) the way it ideally/theoretically should be?
The specification talks about numbers, strings, lists.

The playground has concrete, runnable (bash, JS) examples.
I use syncthing a lot too and yes it used to be perfect on my OnePlus 6 with lineage, but on my new Pixel 8 on stock I can't seem to get it too stay opened it always get killed even though I'm pretty sure I disabled every battery saving things for it
If by trouble you mean "get a pension to compensate them for the metal harm they suffered from the shooting" then you're right. (https://en.wikipedia.org/wiki/Shooting_of_Daniel_Shaver)
If you Google "classic computer font that's on cheques", you'll find it as the first result.
I don't know that much about ThinLTO but ThinLTO just works on summaries instead of the full code right? It still seems the linker is the one who reads these summaries (doc: https://clang.llvm.org/docs/ThinLTO.html).
There is a lot of software that isn’t an API, or the API is just a thin wrapper around the real implementation, or the API is one of the least important aspects of the system from a customer perspective.

For example, systems software is mostly about testing system behavior under various loads and resource constraints. The ability to even measure that reliably without the measurement interfering with the software operation is dependent on a lot of implementation detail.
The homepage says "Democratizing Functions" and "Democratizing Metatheory". Whatever that means, I have a strong feeling that this is an abuse of the word "democraztizing"
This is a good explanation without supporting the idea that there is no propaganda of violence. There is. And btw, the US are one of the most violent advanced countries.
A lot of people who commit crimes are suffering from a range of untreated mental illnesses. They are not always firing on all cylinders all of the time, leading to weirdness like this.
Well, chained hash maps are significantly slower in the face of collisions due to the memory fetch latency hit to grab the next item... even ignoring the academic O(n) lookup, memory is often the primary perf constraint these days...

And for an exercise, it might be worth implementing linear probing just to get more learning experience out of it(?)
I'll be the antiquated person here. Writing/speaking well has brought people to knowledge because the authors are uniquely positioned to use genius, humour, gentleness and generosity to bring an inquisitive but ignorant person into a new area of knowledge. When the value of that can be quantified, then we can compare AI "generation" of "efficiently written, useful knowledge" with what we had/have.

Same for fiction, visual art, raising children, caring for old people, and so on, and so on.
I tried to read Kaczynski's manifesto once and came away with the impression he was mentally ill. I think there's stuff in there that impresses people with personality types who are disposed to agree with him, and it sounds cogent to those people, but I found it hard to escape that he was pretty incoherent and made logical leaps into a private reality.
The ability to make strange videos as a consumer... it's not inherently good or bad, it'll just be... weird
I’m talking specifically about RSA being eventually broken. If just RSA is broken and you were using ECDHE for symmetric keying, then you’re fine.

The point is that you can build stuff on top of RSA today even if you expect it to be broken eventually if RSA is only for identity verification.
How to increase traffic to your new website quickly and for free？
Saturated fat is very good at making you feel full. I view peanutS/PB as a snack-displacement food: if I'm roaming around for nibbles, some sat fat will kill my cravings and reduce the likelihood of eating sugar. But ymmv
Designing tests at the unit level requires you to design low-level/"tactical" aspects of your software, which automatically forces you to commit to a certain general/"strategic" design of the overall program. This is often the opposite of what you want in greenfield work - you want to first rapidly explore the space of high-level designs, not precommit to the first one you thought of that makes tests easier.

Starting with TDD is like being a general whose recommendation to every international politics issue is to commence training for a combined arms assault on the capital of the country's historical enemy, because that's something that can be iterated to provide good estimates and error-free execution. Except, that general misses other, possibly much more effective approaches, such as airstrikes, assassinations, supplying domestic terrorists in enemy territory, or... not shooting anything at all because we're not at war and the problem can be trivially solved by respective VPs over some drinks. Or the problem isn't even a problem.

Keep the TDD General around for when you're actually fighting a land war - but for the love of $deity, don't let him drive international policy in peace time.
If it turns out to be broadly useful (to working programmers) I'm sure someone will write up a better explanation.

At its current state of development, it might be more appropriate for the blog "Lambda the Ultimate" than HN.
the system is the people propelling it.
I'm sure that's an option for large, (semi-)detached houses. But it's not an option for the small homes or apartments that the vast majority of people live in.
I feel like this was probably their idea of an Onion article style humour at the time although it's obviously patronizing when looked at today.
>>given that they are aware that videos can easily be faked in 2024?

That's a ridiculous assumption. In my experience no one outside of tech circles is even remotely aware that this kind of thing is possible already.