MurphyA/hacker-news huggingface dataset:
by kbolino | 2025-06-02 05:19:33+00:00
It does look like the EMV contact standard allows for falling back to SDA operation, which involves the card just handing over the static application data, which doesn't ever change and can be cloned fairly easily onto a fake card. I don't know if it's the same data as is encoded in the magnetic stripe, but it's not much better. A hacked card reader might be able to exploit this by pretending to only support SDA. On the other hand, cards can mitigate this by not supporting SDA.
by g9yuayon | 2025-06-02 05:19:45+00:00
Specifying a system correctly can be hard with the previous generation of tools. For instance, using LTL to describe system properties is not necessarily easy. I remember there used to be pattern library for model checking or for temporal logic. For something as simple as checking bounded existence, one has to write LTL formula like below. That certainly is out of most people's interest. Fortunately tools have improved a lot, and engineers do not really need to study temporal logic deeply for many cases.

``` []((Q & <>R) -> ((!P & !R) U (R | ((P & !R) U (R | ((!P & !R) U (R | ((P & !R) U (R | (!P U R)))))))))) ```
by rcleveng | 2025-06-02 05:20:11+00:00
It's a blocker for many windows enterprise customers. The suggested way is to use nvm to manage it (link: https://learn.microsoft.com/en-us/windows/dev-environment/ja...).

This needs admin permissions, which means a ticket with IT and a good chance it'll be rejected since it's scary as it'll open up the door to many admin level installs of software that IT has no control over.

Installing node under WSL is a better approach anyway, but that'll make it harder for enterprise customers still.
by keepamovin | 2025-06-02 05:21:30+00:00
Yeah, man. I think this was the reasons I initially had: ergo, longevity, fun. Thank you!

Also I love the idea of - blogging creating specifics is boring, but creating platforms/tooling to express is fun! Totally I get this. Funny never thought of it that was as a dichotomy/alternate expression, but it is! :)

I find blogging so boring, but love making stuff, that I get AI to write the blogs.
by smitty1e | 2025-06-02 05:22:15+00:00
Grok3: "The phrase "There is no royal road to geometry" is attributed to the ancient Greek mathematician Euclid. According to historical accounts, particularly from the philosopher Proclus, Euclid reportedly said this to Ptolemy I Soter, the ruler of Egypt, when the king asked if there was a shorter or easier way to learn geometry. Euclid's response emphasized that geometry, like any rigorous discipline, requires effort and dedication, with no shortcuts even for royalty."

You can use AI as a royal road, but it may or may not prove an effective substitute for the learning required to provide judgement.
by ryao | 2025-06-02 05:23:48+00:00
> ROCm isn't part of AMD drivers, its a software library that helps you support legacy compute APIs and stuff in the BLAS/GEMM/LAPACK end of things.

AMD says otherwise:

> AMD ROCm™ is an open software stack including drivers, development tools, and APIs that enable GPU programming from low-level kernel to end-user applications.

https://www.amd.com/en/products/software/rocm.html

The issues involving AMD hardware not only applied to the drivers, but to the firmware below the drivers:

https://www.tomshardware.com/pc-components/gpus/amds-lisa-su...

Tinygrad’s software looks like a userland driver:

https://github.com/tinygrad/tinygrad/blob/master/tinygrad/ru...

It loads various firmware blobs, manages part of the initialization process, manages memory, writes to registers, etcetera. These are all things a driver does.
by sifar | 2025-06-02 05:25:34+00:00
>> To me, embracing the tools and becoming an prompting expert is the way to go, rather than some Luddite-like rejection of the technology because of some offended artistic notions

Your first part may be right, however using the term Luddite as a pejorative without understanding what they meant or stood for (given the social context) is a sign of ignorance.
by Full_Clark | 2025-06-02 05:27:31+00:00
There's a good DEFCON 29 presentation on this topic. https://youtu.be/cIcbAMO6sxo

If you skip forward to 16m 33s you'll be treated to a lively streak of invective from the passenger of a car whose driver has just confirmed that feeding EICAR to a parking system prevents it from letting any vehicle past the barrier.
by sircastor | 2025-06-02 05:28:02+00:00
For a variety of reasons I wanted some notoriety when I was younger. I wanted to be “the guy who’d done that thing”

I became a lot happier with myself when I stopped chasing that and just decided to post the things that I like and the projects I wanted to do. These days I like to think of my website as part of the “old, good internet”: No ads, no demands, just whatever I like and wanted to write.

It’s worth recognizing that that comfort came around/after I was making decent enough money that I wasn’t also trying to figure out a side hustle. It feels to me like “do the things you like” is a luxury of someone who isn’t anxious about paying all their bills.
by krapht | 2025-06-02 05:28:32+00:00
Of libraries that are better than the STL? Or data structures that the STL is missing? Without getting into the weeds of esoteric data structures and algorithms I think there's a few holes that aren't addressed:

https://github.com/martinus/unordered_dense provides better replacements for unordered_map/set.

The STL is missing B-trees and B-heaps, as well as d-heaps.

STL is also missing a radix sort, which is even more sorely missed now that we have std::executor::par_unseq to play with.
by ryao | 2025-06-02 05:30:42+00:00
The G stood for graphics.

As for being stuck in the past, I got fed up in 2006 after 8 years of nothing but ATI graphics. I spent years hoping that the issues would be fixed after the latest update, but they never were. I had a fairly problem free experience after switching to Nvidia. When issues did occur, Nvidia fixed them within months. While enjoying the relatively problem free experience on Nvidia, I would hear people claim everything was fixed on ATI (and later AMD), only to hear waves of people complaining about issues. Then Valve got involved with the driver development for AMD graphics and made the Steam deck. I brought one and it has been fantastic. I still hear about numerous problems involving drivers AMD wrote (especially their windows drivers), but I am using drivers that were in part authored by Valve, and Valve fixed the issues AMD was incapable of fixing themselves.

You claim that things are fine for HPC on AMD graphics hardware, but I have reason to be skeptical given that numerous people have reported severe problems just last year with no follow up that the various headaches have been fixed.

Also, you have repeatedly claimed that tinygrad’s software is not a driver, yet I see a userland driver here:

https://github.com/tinygrad/tinygrad/blob/master/tinygrad/ru...

As I have said elsewhere: It loads various firmware blobs, manages part of the initialization process, manages memory, writes to registers, etcetera. These are all things a driver does.

I am going to listen to others and my own eyes over you on these matters.
by cosmotic | 2025-06-02 05:31:26+00:00
One benefit of the separate on/off controls is that you can press off 10 times in a row, in case the first 9 times the signal encounters interference, without concern that subsequent presses turn it back on. With a fan, this is more troublesome than a light because you can't look at a fan that's spinning and quickly determine if it's slowing down.

You can't use smarter radios that confirm receipt because there could be another control that changed the mode.

I much prefer "move to this mode" instead of "toggle modes". It's way more predictable and I can be much more lazy.
by keepamovin | 2025-06-02 05:33:06+00:00
lol - great story. So many good stories here about this stuff.

I agree with others who say it's dangerous, but only if you use sufficient quantities, or contained (don't contain!). A few crystals sprinkled in different places will just produce the pops and not hurt anything - I think! :)

From memory: size of a full stop or white sesame seed will already produce a very (but not painfully) loud bang; whereas a speck so tiny on the ground you can't readily see it from standing height is sufficient for a "walking over" prank, surprisingly loud for how tiny it is.

The ultrafast snappy pop and purple smoke is satisfying, but it does stain.

I like the comment about ping pong - hilarious use case.
by SparkyMcUnicorn | 2025-06-02 05:33:07+00:00
My most recent flow is very similar, but I use AiderDesk[0] instead of Prompt Tower for easier creation/editing of plan files.

AiderDesk lets you save snapshots of a point in time, so I create "presets" to restore sets of context files and/or conversation history (you can restore one or both), which is a really nice bonus. You can also add/remove context as needed without the manual copy/pasting work when I forget to include something or accidentally included too much. Its VS Code extension makes adding/removing files from context seamless.

[0] https://github.com/hotovo/aider-desk
by GauntletWizard | 2025-06-02 05:34:46+00:00
Apparently it got second chanced, so I'll take a stab at adding some context here in the comments:

Zach of Zachtronics (Spacechem, Inifinifactory, Opus Magnum) has a new passion project - A set of Scratcher games. Like a combination of a choose your own adventure book with those lottery tickets - But with meaningful choices and puzzles to solve!
by kiitos | 2025-06-02 05:35:24+00:00
> The answer to your questions is that timing is not the issue in my example. You can notice this easily if you strip std::atomic<> from the type. TSAN can and does catch it just fine.

If you strip the std::atomic from your example, then you obviously lose read/write atomicity on the value, which should be trivial for something like TSAN to detect and flag.

> The atomicity itself is what tells TSAN to not consider this a data race ... the conclusivity depends entirely on the reason it wasn't flagged. (This is why I explained the failure modes quite precisely in my very first comment: not all of them have randomness involved.)

"The conclusivity" can only ever be "inconclusive" or "has a data race", it can never be "does not have a data race", because that's just not how TSAN (or any similar tools) work. See [1]. In your original C++ program there is no happens-before relationship between the thread you spawn and the main thread, so there is a data race by the TSAN definition, even though the read and the write are atomic, and even if a given execution of that code by TSAN doesn't yield an error. It's not about timing, at least not exactly -- it's about the guarantees of the scheduler and its execution of threads, which is non-deterministic without explicit synchronization in the application (or something along those lines)..!

[1] https://github.com/google/sanitizers/wiki/ThreadSanitizerAbo...
by oliverkwebb | 2025-06-02 05:36:23+00:00
This discrepancy with time is explained in the book the algorithm is based on (Practical Astronomy with Your Calculator, which also does a good job explaining a ton of other ideas and models in astronomical calculation).

January 0th makes sense because a year starts on January 1st. You count days of the year from 1 instead of from 0. So if we are going by the day of the year, day 1 of the year should be Jan1, the consequence of this being that Jan0 exists and is Dec31 of the prev year.

I originally got into this because of my status bar on i3, hacking together C code from moontool into https://github.com/oliverkwebb/moontool about a year back.
by anonym29 | 2025-06-02 05:38:12+00:00
>Human-Crafted Content (Not AI-Generated)

This fails the sniff test. Anyone who's used Claude 4 Sonnet for any period of time generating front end web content immediately recognizes the style of the bubble around that text, the emoji in the text, the general layout, etc.

That said, I love the idea. The only issue is, I'm the kind of person who doesn't use that kind of social media at all. Users like me may love it, but I suspect all the "normal" people with iPhones and Spotify subscriptions that go to Starbucks are going to fail to appreciate the benefits while acutely noticing everything that's "missing" compared to their regular social media.
by stephen_g | 2025-06-02 05:38:21+00:00
The hotel refunded the pending transaction, so they are the party that suffered the financial loss. If they hadn't done that, then the credit card company would have done a charge-back on the disputed transaction and made me whole, and I wouldn't have suffered a loss in that case either. The first question the police forms for reporting fraud or cybercrime are "how much have you lost" - they don't care if it's 'nothing'.

It's the hotel that has to clean the room, has lost consumables, and has lost revenue from it not being available to be booked...
by kusokurae | 2025-06-02 05:38:22+00:00
I think the reality is that, this notion of "democratising" various technical mediums is used to gloss over that, as countless studies have now evidenced, humans primarily learn and remember well thing by doing things, not merely passively consuming them. Fine-precision decision-making will likely always be the domain of dedicated tooling designed to better correspond with the particular medium or task -- that is, manual testing and experimentation, not relying on logocentric prompt idolatry.

When we get into literature, visual art etc. it becomes more of a problem. You can't get Cormac McCarthies or Mars Voltas from software designed to give you perfect statistical 50% grey, and people who try and hack it without doing the reading, are going to end up writing gibberish. People who actually enjoy and like art, music whatever are going to grow Very bored with the overwhelming majority of work reliant of primarily generative methods, save for those who already have discretion learned through experience of many tools and other means of expression.
by PinkMilkshake | 2025-06-02 05:38:42+00:00
I have IBS. Sometimes the consistency is like mud/tar. It's completely impossible to get clean without moisture. After a trip to Japan, I swore that if I ever manage to own my own home, I will install a Japanese toilet. I started to wonder how we in the west have accepted for so long that abrading skin with dry paper is cleaning.
by ggm | 2025-06-02 05:40:30+00:00
Seems like a long chain of dependencies and a sorry story of fiddly one-time things which are unlikely to be repeated in the right sequence by anyone let alone the OP if they do it again (tm)

Sound is harder than it should be. I remember back in the X11R2(?) Days Jim Gettys and others worked on an attempt do to "X for sound" which didn't go where anyone expected.
by keepamovin | 2025-06-02 05:40:55+00:00
It's crazy that something so unstable can even exist at RTP. Like it's interesting how it threads the line between so-unstable-you-can't-make-me, and stable-enough-to-make-but-decompose-under-a-stern-glance. Universe has a sense of fun, NI3 is tuned specifically for existence as a prank substance.
Show HN: A macOS app to visually organize what you need for any task
by mijick | 2025-06-02 05:42:18+00:00
Hi HN,

I’ve built Mijick Pockets, a lightweight macOS app that helps reduce context switching by letting you group everything you need for a task—files, folders, links, and tools—into simple, always-accessible spaces.

No more digging through folders, tabs, or scattered notes. Just collect everything for a project in one place, access it instantly, and switch between tasks without losing focus.

I made this to solve the constant friction of gathering the right context before getting started.

I’d love your feedback: • Is the concept clear? • Is it intuitive to use? • Could this fit into your workflow?
by monero-xmr | 2025-06-02 05:43:21+00:00
Nothing stopped anyone from hiring 10 to 100 offshore devs for every American software dev for the last 20 years. Yet Google, Amazon, Microsoft, and so on paid top dollar for the Americans.

And American business still pays top dollar. Even more than before. The judgement was always the problem. If the issue was bodies in seats the problem was already solved.

The #1 cause of layoffs in America is offshoring caused by Zoom and other telework tools perfected during COVID. AI is a convenient excuse.

Pop music is mostly not about music quality - hits are always passable - but about celebrity. The rare song that elevates a new artist quickly converts them into celebrity, which converts future songs in their style into further hits 100,000x easier than before. Maybe even 1 billion times easier than before given the amount of songs created every year. Yet AI is supposedly an expert at generating music, and images, and video, and code, and on and on.

I’m not seeing the evidence of layoffs from AI. I’m seeing evidence of better productivity from existing employees, which is the same result of every groundbreaking technology since all time.
by nocoder | 2025-06-02 05:43:47+00:00
My experience with the LLM bot is that they are really keen to appease the user and often over confident about their responses. They are prioritizing user engagement over factual nature of the response, it's as if their reward function includes the time spent on the bot. This leads to the bot swaying too much in either direction when it comes to debatable information. They essentially learn what the user prefers and so tend to reinforce those ideas. In some sense, they are like social media influencers who are too confident in their opinion because they are trying to get you to like them. I see us going further into the echo chambers where on the same topic, the bots will give different information to an users based on what the bot thinks about the user preference.
by latchkey | 2025-06-02 05:44:46+00:00
Funny to see you quoting Eric, he’s a friend and was just running on one of our systems. AMD bought credits from us and donated compute time to him as part of the big internal changes they’re pushing. That kind of thing wouldn’t have happened a year ago. And from his experience, the software has come a long way. Stuff is moving so fast, that you aren't even keeping up, but I am the one driving it forward.

https://x.com/cognitivecompai/status/1929260789208142049

https://news.ycombinator.com/item?id=44154174

And sigh, here we are again with the conflict of interest comments, as if I don’t get it. As I said, you don’t know the full story, so let me spell it out. I’m not doing this for money, status, or fame. I’m fortunate enough that I don’t need a job, this isn’t about livelihood or personal gain.

I’m doing this because I genuinely care about the future of this industry. I believe AI is as transformational as the early Internet. I’ve been online since 1991 (BBS before that), and I’ve seen how monopolies can strangle innovation. A world where one company controls all AI hardware and software is a terrible outcome. Imagine if Cisco made every router or Windows was the only OS. That’s where we’re headed with Nvidia, and I refuse to accept that.

Look at my history and who my investor is, this isn’t some VC land grab. We truly care about decentralizing and democratizing compute. Our priority is getting this previously locked up behind supercomps HPC into the hands of as many developers as possible. My cofounder and I are lifelong nerds and developers, doing this because it matters.

Right now, only two companies are truly competing in this space. You’ve fairly pointed out failures of Cerebras and Groq. AMD is the only one with a real shot at breaking the monopoly. They’re behind, yes. But they were behind in CPUs too, and look where that went. If AMD continues on the path they’re on now, they can absolutely become a viable alternative. Make no mistake, humanity needs an alternative and I'll do my best to make that a reality.
by 112233 | 2025-06-02 05:44:49+00:00
(Since c++17)

The technique you so well describe in your comment does not work with the original range for :(

Not that it is an issue anymore, but I'd forgive anyone who tried to write code like this when range for was added from not trying anymore, because they remember the original semantics.

The page: https://cppreference.com/w/cpp/language/range-for.html

reads like a testimony in a negligence court case.
by oliverkwebb | 2025-06-02 05:45:38+00:00
This is also interesting for speed, The algorithms ran by all the impls are identical, but sacrificing speed for cleanliness and adherence to spirit is done regularly.

Without having actually measured, the rust impl probably runs faster than the C impl, but that's not because rust is "faster" than C. That's because I used a closure with one call to floor() for modulus in rust, whilst in C I did 2 fmod()'s to get it because the alternative would've been to make the code unreadable or add a second function/macro (although thinking about it now, undef does exist...)
by 14 | 2025-06-02 05:48:11+00:00
My dad talks about making this stuff as a teen. It started with a chemistry kit that came with all sorts of dangerous things they would never in a million years sell targeting to a kid again. This peaked his interest in chemistry and he came across nitrogen triiodide while researching at a library with actual paper books lol. The ingredients were of no difficulty to obtain back then. They made this stuff and had fun setting some of it off. But he then told me that the next day he and his buddy thought let’s go set off some more. But he thought about it and they both said but what if the stuff on the edge of the jar has dried? Yes they made a fairly big sample. They were too nervous to open it so he told me he dug a hole and carefully moved it and hurried it. It sucks that people do bad things with chemicals as I would love to play around with things like this carefully in a safe setting without risk of other being hurt.
by fsloth | 2025-06-02 05:48:30+00:00
Interesting, I would not consider mood and story descriptive of sci-fi at all. Rather sci-fi adds speculative and fantastic elements to a world still populated by humans / beings of relatable psychology.

And once you have relatable psychology you also get politics and weaponization of information (what the show was mostly about) - political thriller. Agree, those elements were damn good ones. And I loved the utilization of WW 2 analogues - French resistance, Spanish civil war, Wansee conference etc etc

I would say the show was very _grounded_ in that the high stakes were about humans doing human things.

What sets Andor apart is _excellence_ and (partly budget driven) restraint.

Not only was the acting superb, the script was intelligent.

But then the attention to visual detail was next level as well. The sets and costumes were mind blowingly good. For example I was convinced they had to had found some real life location for the Ghorman plaza (nope, built set + CGI). I would love to have a plaza like that. Not many shows have so good fictional architecture you would love to see the real thing.

So I was totally impressed with the show. But in my books it’s still sci-fi. It’s probably the best recent serialized sci-fi show in the last decade along with the Expanse.

If I’m reading between the lines what you are saying is that ”Andor is actually intelligent and high quality art … sci-fi can’t be high quality art”? I’m exaggerating to make a point.