MurphyA/hacker-news huggingface dataset:
by AnotherGoodName | 2025-08-16 00:16:07+00:00
Start with the vertical patterns; The vertical patterns happen for any composite number. Take the number 10 for example. Obviously numbers 10n + [0,2,4,6,8] are divisible by 2 and 10n + 5 are divisible by 5. So you can understand the vertical gaps in primality whenever you display a composite number. Multiple's of 10 is one you can probably grasp quickly but there's nothing special about base 10.

Now when you take a vertical pattern like you see with column width=10 and add one more to the column size (so make it 11) the pattern is now offset by one pixel on each row. This makes the vertical pattern render diagonally as each row is offset by a pixel.

So you get the patterns going between vertical and diagonal. This can get really interesting when you have a bunch of composite numbers in a row. Each composite number has it's own vertical pattern as described above. So 435 has gaps every 3rd and 5th number (and for other factors) since those will be multiple of 3 or 5. Now the next number, 436 rotates this pattern 45degrees since it offsets each row by 1 pixel. But.. 436 has it's own patterns, eg. every second number is a multiple of 2 when offset from 436 since 436 is even. So it has it's own vertical patterns but also shows the diagonals from gaps in 435.

Anyway these well understood gaps in primality give a galaxy appearance for this simple reason. You're seeing well understood vertical patterns shifting to render diagonally with new vertical patterns from alignment on the next number and repeat.
by rezonant | 2025-08-16 00:17:07+00:00
There seems to be a misunderstanding. The --filter option simple doesn't populate content in the .git directory which is not required for the checkout. If there is a file that is large which is needed for the current checkout (ie the parts not in the .git folder), it will be fetched regardless of the filter option.

To put it another way, regardless of what max size you give to --filter, you will end up with a complete git checkout, no missing files.
by 8bitsrule | 2025-08-16 00:17:22+00:00
It'd be great to be able to plot only the primes that satisfy some simple (at first anyways) math operations. "Show me the primes that when (math operation) by (a set of values) equals (set of results). EG when (mult,div,squared) by (n1,n2...) equals (0,e^2, ...). Exploring for surprise patterns!
by corimaith | 2025-08-16 00:17:22+00:00
>I'm American and kinda stunned how little salience the issue has. Please punish us as much as possible.

The majority of major economies are all exporters, it's only a few and mostly just the USA that is both large enough and willing to absorb their surpluses. Without the USA, the entire system collapses because nobody else is willing to run that deficit. You cannot have a room filled only with sellers.

The root of the dispute here is the right to freely sell to the USA while simulatenously pursuing their own protectionist tariffs and subsidies. When you realize the absurdity of a relationship which requires both parties to believe in different things, then it's also understandable that the gravy train has stopped and it's time to negotiate to a more realistic deal. Ironically enough, it's for the same reasons in their beliefs in protectionism that they won't be able to coordinate together.
by bt1a | 2025-08-16 00:18:00+00:00
i'd wager your benchmark problems require cumbersome arithmetic or are poorly worded / inadequately described. or, you're mislabeling them as basic math and logic (a domain within which LLMs have proven their strengths!)

i only call this out because you're selling it and don't hypothesize* on why they fail your simple problems. i suppose an easily aced bench wouldn't be very marketable
by whatevertrevor | 2025-08-16 00:18:10+00:00
Where in Canada?

I had the complete opposite experience last winter in Ontario. I asked my doctor about ADHD, he had me fill two forms, set up an appointment with a psychologist, who after a couple weeks of appointments was ready to prescribe Atomoxetine (at my request since I wanted stimulants only as a last resort).

I paid for nothing in this entire exchange, and the meds are usually covered by an extended drug plan if you have one.
by ackfoobar | 2025-08-16 00:18:28+00:00
PS rereading this I think "hope you're a Haskeller" might be read as an insult. That's not my intention, here's why I mention Haskell.

1. It's THE other language with a type system based on HM.

2. Variant constructors as functions. OCaml does not do that, Haskell does (slightly more elegant). This hints sunnydiskincali is more familiar with Haskell than OCaml.

3. I was confused by `type shape = S.shape`. How does `RemovePoint(Shape).shape` has the `Point` case removed then? I tried that on a REPL ^1 and it didn't even compile. Again, syntax errors hinting at Haskell experiences.

Well now I've written so much I may as well do a point-by-point refutation: ^2

> you create the ability to side-step exhaustiveness

Big claim, sounds scary to someone not familiar with sum types. But Java/Kotlin both enforce exhaustiveness. You could have provided an example in your second response, instead you dump a bunch of code that does not compile.

> Sure you can, that's just subtyping.

Then you followed up with an example that is not subtyping, but an unrelated type of a new set of new values.

> This is doing things quick and dirty. For this trivial example it's fine

This is not fine. I undersold the verbosity of your "quick and dirty" solution saying "7 lines". To actually work with those two types, the pair of conversion functions `Shape.shape -> Bound.shape option` and `Bound.shape -> Shape.shape` is needed.

> They're not similar at all.

~100 words in the paragraph, gestures to formalization, yet never explained how sum types implemented as sealed inheritance cannot be "enforcing valid program-states at a type-level". Thus my comment "a lot of words to say very little".

> You're still creating a type

I see you removed "unrelated" in an edit. The statement is now accurate but pointless. Of course I need to create a type, how else can I use the type system to say "this function won't return a point"?

> disingenuous to imply the quotation means that the type-system in Java ... was lifted from ML.

It would be more than disingenuous, colossally stupid even, if I did imply that. The wrongness would be on the level of claiming "English and Japanese are in the same language family".

Your cognate/false friend analogy is much smaller in scope, just like Java taking sum types (implementing them as sealed inheritance) from ML.

1: https://ocsigen.org/js_of_ocaml/toplevel/

2: https://xkcd.com/386/
by seanmcdirmid | 2025-08-16 00:19:21+00:00
Builders aren't making much money due to material and labor costs in addition to land costs. It is probably impossible do a non-ADU project for just $700k, so dumping money into the problem isn't going to help make things cheaper. This is before we get to regulation and zoning, which are not even close to being the bottlenecks right now. I wonder if we could invest more in making building cheaper (via prefab?), and then more building would happen and prices would actually fall.

We (Seattle) are also completely built, new projects must overwrite existing housing stock and additional capacity only comes from increased density.
by analog31 | 2025-08-16 00:19:37+00:00
It's quite similar to this:

https://www.ebay.com/itm/267204880751

Basically a non-descript nylon bag with minimal accoutrements. I curse its lack of features (extra pockets, etc) on every trip, then it goes on the shelf until the next trip. It was on sale at the local sporting goods store when I was in high school. I recently bought a cheap waterproof cover for it, because I noticed that most of the advertised "waterproof" packs come with a cover.

I have a very lightweight, tiny day pack that I either roll up and stuff in the main pack, or carry on as my "personal item." That way, I can leave the big pack in my hotel room.
by stingraycharles | 2025-08-16 00:19:52+00:00
Which is exactly what the public asks for. There’s this constant outrage about supposedly biased answers from LLMs, and Anthropic has clearly positioned themselves as the people who care about LLM safety and impact to society.

Ending the conversation is probably what should happen in these cases.

In the same way that, if someone starts discussing politics with me and I disagree, I just not and don’t engage with the conversation. There’s not a lot to gain there.
by ndriscoll | 2025-08-16 00:20:16+00:00
Except in the real world almost every gym I've used just gives you a keychain barcode with your account number and it works fine. You scan in and it checks whether you're current. Maybe shows your picture to a front door attendant on their computer. No complicated cryptography required.

A gym requiring an app would be a hard no from me. I don't know why anyone (especially technical) would put up with that.
by MagicalTux | 2025-08-16 00:20:53+00:00
SGX's original goal of being used for DVD DRMs has been deprecated because it turns out people don't keep their BIOS up to date and didn't all get Intel's latest CPUs, making the use of SGX as a client side feature not useful. Turns out it's a lot more useful server-side, and while it had its share of issues (see sgx.fail) Intel addressed these (also see sgx.fail). It can prove your requests are actually being served by the code due to the way the TLS attestation works.
by mrexroad | 2025-08-16 00:20:59+00:00
Clinically ADHD and suspected APD here. I also have excellent hearing in both ears (20k+ hz), but I’m shit at understanding conversations in noisy environments… especially if my wife is speaking. Her voice is markedly harder for me to process than other people’s when there’s background noise. She used to assume I was being ADHD and not paying attention, etc, and get frustrated, but after years of me visibly focusing on her with unreasonable intensity while listening, she started accepting it. It’s always ironic that my hearing is usually noticeably better than any friends or family (both in frequency range and noticing sounds), but I’m often the only one who can’t fully follow conversations at a restaurant/bar/conference/etc.
by 999900000999 | 2025-08-16 00:21:29+00:00
I just had to accept a keep the lights on offer. Still a software role, but I'm making what I was in 2018 without adjusting for inflation.

2020 I was making about 80k more, even though I got that job through a combination of networking and luck.

My budget is less ball out and more it's nice I covered my rent
by eth0up | 2025-08-16 00:23:32+00:00
I'll gladly jump into the gray with you. Or hopefully that changes.

My dear old friend, now on the yonder side, showed me research that showed the intravenous injection of nothing more than mineral oil consistently causing a form of cancer that I can't remember the type for.

He had a low level position in the NSA via the Navy prior and was persistently interesting, to me. Foremost an exceptionally fine person who I sorely miss. I remember him being fervently berated by a few intellectual (IT inclined) adversaries for attempting to explain more than a few things that came out in the Snowden docs almost a decade later.

Personally, I've no doubt cancer can be quickly, efficiently induced, albeit probably not with a mineral oil squirtgun. I've heard of things I wouldn't discuss here.

I've always wondered why we've not experienced the evil terrorist version of David Hahn, say from a guy in a major food production facility. The bright side of surveillance I guess.

I may be a worthless, irrelevant moron, but I think for anyone with a bit of intelligence and a big imagination, the world is a very frightening place in this regard. I try not to think of it, but many scenarios have occurred to me and I'm often surprised, quite pleasantly so, that so far as I know, only to me, for now, and indefinitely I hope.
by dangus | 2025-08-16 00:24:09+00:00
I don’t really think this is the gist of it.

What happened with GPT-5 is that the product changed abruptly and significantly.

I don’t think most people are looking to use ChatGPT as a virtual friend, but overnight the product changed from having a very friendly (yes perhaps almost too friendly) personality to being terse.

If the product was always like that or it slowly evolved into that it wouldn’t be a big deal.
by debazel | 2025-08-16 00:24:20+00:00
> We have privacy laws and safeguards on all those things

Which have failed horrendously.

If you really just wanted to protect kids then make kid safe devices that automatically identify themselves as such when accessing websites/apps/etc, and then make them required for anyone underage.

Tying your whole digital identity and access into a single government controlled entity is just way too juicy of a target to not get abused.
by conradev | 2025-08-16 00:24:35+00:00
I think I’m just getting old. I have a collection of KaiOS phones with Cortex-A7s but now they’re over a decade old :(

Newer ones have the Qualcomm 215, which, yes, is 64-bit 4x A53

From that perspective, LWC is only useful on old (existing?) microcontrollers: the Cortex-A320 that came out this year is 64-bit.

Hardware cycles take time, though, and it will be some time before everything is 64-bit!
by mattwiese | 2025-08-16 00:25:11+00:00
"Big data" has been and continues to be transformative. It's part of why we are in this current AI cycle. After each fad passes, what remains forms the foundation for the future. This sums it up:

> The economy functions in cycles just like any other ecosystem - we didn't stop building Internet companies after the dotcom bubble popped. If anything, it eliminated uncompetitive species (companies) while opening up ecological niches (markets) for those with the fitness capable of exploiting them.
by 5pl1n73r | 2025-08-16 00:25:36+00:00
Ah, blockchains, where people realize all those "it doesn't matter bugs" with 3 layers of indirection due to shaky primitives, actually matter. Other bugs like this could be used to execute arbitrary code on the computer that compiles the software, calling random "important looking" stuff into memory (xz backdoor style) to be decoded and executed by the backdoor. Of course, there will never be a day where you can compile untrusted code in Solidity.

> The lesson? Always test critical software under multiple compilers and library versions — especially when enabling a new language standard.

Don't have giga-complicated language jockey stuff backing software that can't afford to even have one bug.
by ants_everywhere | 2025-08-16 00:25:54+00:00
That stuff isn't legally binding and is unlikely to happen.

> The European Union's pledge to buy $250 billion of U.S. energy supplies per year is unrealistic because it would require the redirection of most U.S. energy exports towards Europe [0, emphasis mine]

[0] https://www.reuters.com/sustainability/boards-policy-regulat...
by computerthings | 2025-08-16 00:26:15+00:00
Where I live, people often put books in boxes out on the sidewalk as giveaways. They're worth nothing, but I love browsing through them if I have time, and sometimes I find something that does interest me. Books I want to throw away I never throw away, I put them out for others to take. I bet most of them just perish in the rain, but it's fine, it's better than throwing them in the trash right away.

It's something people do for people. It's not "in the public domain" for companies to gobble up with machines.

> There's no law against scraping

There's no law against incurring as heavy and pernicious social and material costs to commercial scrapers as is physically possible within legal bounds, either. So what's the problem?
by beezlebroxxxxxx | 2025-08-16 00:27:04+00:00
As a career, working in aviation is extremely hierachical and seniority based. If you're old, chances are you started making an okay amount of money and now are making absolute bank. Years of collective agreements and contracts have seniority king. If you're a new employee though it seems to be really shitty. The system is entirely tipped against you.
by SilverElfin | 2025-08-16 00:27:10+00:00
> In a statement, Microsoft said “using Azure for the storage of data files of phone calls obtained through broad or mass surveillance of civilians in Gaza and the West Bank” would be prohibited by its terms of service.

Why would it be against their terms? Literally all the western nations’ governments (US, UK, others that share intelligence relationships with the US) all use cloud platforms for their work, which definitely includes surveillance of people. But it’s a problem when Israel does it? Microsoft and Amazon literally built private cloud platforms to serve sensitive government needs like this.
by kelnos | 2025-08-16 00:27:11+00:00
I don't enjoy carrying my baggage around either, but I very much don't enjoy one extra line to stand in to check my bag, and after a long flight I very much don't enjoy having to wait even longer to get to my destination. It's not a matter of "downtime". I want to be to my hotel or house or whatever as soon as possible.

Due to airline status etc. I always have a free checked bag, but I never, ever use it.
by HappMacDonald | 2025-08-16 00:28:04+00:00
.. and you can "program" a neural network — so simple it can be implemented by boxes full of marbles and simple rules about how to interact with the boxes — to learn by playing tictactoe until it always plays perfect games. This is frequently chosen as a lesson in how neural network training even works.

But I have a different challenge for you: train a human to play tictactoe, but never allow them to see the game visually, even in examples. You have to train them to play only by spoken words.

Point being that tictactoe is a visual game and when you're only teaching a model to learn from the vast sea of stream-of-tokens (similar to stream-of-phonemes) language, visual games like this aren't going to be well covered in the training set, nor is it going to be easy to generalize to playing them.
by ericmay | 2025-08-16 00:28:32+00:00
At the end of the day it just doesn’t matter whether these countries buy F-35s or not except as additional profit streams for US defense companies and in some ways it’s good that they are looking to buy EU jets instead since the EU needs to invest more in its “domestic” defense industry.

Do we really think Spain and Portugal are going to fight alongside US forces in Europe or elsewhere? I don’t. Isn’t Switzerland a neutral country? This isn’t a slight against any of these countries but let’s be realistic.

Canada is going to buy still*

* https://www.msn.com/en-us/news/world/canada-to-buy-all-88-f-...
by 0xbadcafebee | 2025-08-16 00:29:18+00:00
This is pretty funny. It's like a case study in the armchair expert. Here's a person who is not a travel industry veteran, but was curious about something, so they just started googling facts and figures, tried to find a trend, then looked for evidence to back up the trend they were looking for, then googled for "explanations" (read: news articles from mainstream media) to justify the trends they were looking for. At no time did they actually talk to somebody in the travel industry. Just a lot of googling, vague questions, and hand-wavey answers.

The weirdest part is how subjective the question is. It's like saying, is life getting worse? It turns out there's more than a few ways of looking at that. Air travel is cheap and widely available, despite coming out of a global pandemic, not to mention the global recession before that, among other minor blips. Oh, but you were delayed in getting in your magic metal tube that hurtles through the sky at hundreds of miles an hour, letting you sip beer and watch movies in your PJs while traveling thousands of miles in a few hours, arriving safer than any other form of transportation? Man, that's terrible.
by mananaysiempre | 2025-08-16 00:29:24+00:00
This does not account for frequency scaling on laptops, context switches, core migrations, time spent in syscalls (if you don’t want to count it), etc. On Linux, you can get the kernel to expose the real (non-“reference”) cycle counter for you to access with __rdpmc() (no syscall needed) and put the corrective offset in an memory-mapped page. See the example code under cap_user_rdpmc on the manpage for perf_event_open() [1] and NOTE WELL the -1 in rdpmc(idx-1) there (I definitely did not waste an hour on that).

If you want that on Windows, well, it’s possible, but you’re going to have to do it asynchronously from a different thread and also compute the offsets your own damn self[2].

Alternatively, on AMD processors only, starting with Zen 2, you can get the real cycle count with __aperf() or __rdpru(__RDPRU_APERF) or manual inline assembly depending on your compiler. (The official AMD docs will admonish you not to assign meaning to anything but the fraction APERF / MPERF in one place, but the conjunction of what they tell you in other places implies that MPERF must be the reference cycle count and APERF must be the real cycle count.) This is definitely less of a hassle, but in my experience the cap_user_rdpmc method on Linux is much less noisy.

[1] https://man7.org/linux/man-pages/man2/perf_event_open.2.html

[2] https://www.computerenhance.com/p/halloween-spooktacular-day...
by a_t48 | 2025-08-16 00:30:31+00:00
At my current job I've started caching all of our LFS objects in a bucket, for cost reasons. Every time a PR is run, I get the list of objects via `git lfs ls-files`, sync them from gcp, run `git lfs checkout` to actually populate the repo from the object store, and then `git lfs pull` to pick up anything not cached. If there were uncached objects, I push them back up via `gcloud storage rsync`. Simple, doesn't require any configuration for developers (who only ever have to pull new objects), keeps the Github UI unconfused about the state of the repo.

I'd initially at spinning up an LFS backends, but this solves the main pain point, for now. Github was charging us an arm and a leg for pulling LFS files for CI, because each checkout is fresh, the caching model is non-ideal (max 10GB cache, impossible to share between branches), so we end up pulling a bunch of data that is unfortunately in LFS, every commit, possibly multiple times. Because of this they happily charge us for all that bandwidth, because they don't provide tools to make it easy to reduce bandwidth (let me pay for more cache size, or warm workers with an entire cache disc, or better cache control, or...).

...and if I want to enable this for developers it's relatively easy, just add a new git hook to do the same set of operations locally.
by jayd16 | 2025-08-16 00:31:24+00:00
How about git just fixes shallow clones and partial clones? Then we don't need convoluted work arounds to cheat in large content after we fully clone a history of pointers or promises or whatever. You should be able to set default clone depth by file type and size in the git attributes (or maybe a file that can also live above a repo like supporting attributes in .gitconfig locations?).

Then the usual settings would be to shallow clone the latest content as well as fetch the full history and maybe the text file historical content. Ideally you could prune to the clone depth settings as well.

Why are we still talking about large file pointers? If you fix shallow and partial clones, then any repo can be an efficient file mirror, right?
by spyrja | 2025-08-16 00:31:38+00:00
Way back when I actually perused through quite a bit of Stepanov's STL code and stumbled on that very thing, the comparison operator semantics. I remember thinking it very clever of him to approach it that way and it hadn't even crossed my mind at the time that it might lead to some kind of undefined behavior. Thanks for pointing out such an interesting tidbit!