MurphyA/hacker-news huggingface dataset:
by bitcrshr | 2025-11-02 15:27:14+00:00
There’s also a fork called evil helix that uses more VIM-like bindings: https://github.com/usagi-flow/evil-helix

Helix has been my daily driver for a few years now, and it’s extremely familiar if you’re coming from the LazyVim setup for NeoVim. I make a few mistakes here and there if I have to use tools with just basic VI binds, but you learn to juggle them both.

The config is very well documented and it would be simple to rebind things too.

Hope you give it a shot!
by snowwrestler | 2025-11-02 15:27:32+00:00
We use MS365 at work and colleagues “react” in Outlook with thumbs-up to my emails sometimes. Fine, I guess it is a lightweight way to signal support or agreement. Not too different from reactions in Teams or Slack.

BUT… there is a keyboard shortcut to do it, apparently, that is not too far from my typical typing pattern. Because sometimes I end up sending a thumbs-up reaction email when I did not mean to.

This is incredibly awkward when it goes to some random external partner or vendor. And especially when I’m in the process of drafting a serious reply. One time a vendor saw from me: thumbs-up email, thumbs-up email, serious email dinging them for messing something up. The first two were accidents and could not be stopped or recalled.

I asked our IT team and apparently there is no MS setting to prevent these email reactions from going external. Which is insane because the internal/external email boundary is so fundamental to the MS365 value prop and security model.
by numpad0 | 2025-11-02 15:27:36+00:00
I think the more correct question is why humans don't use em dashes in the first place while LLMs do all the time. And the short answer to that is, because it's Unicode stuff.

Regular computers for human use only support ASCII in US or ISO-5589-1 in EU still to this day, and Unicode reliant East Asian users turn off Unicode input modes before typing English words, leaving the Asian part mostly in pure Unicode and alphanumeric part pure ASCII. So Unicode-ASCII mixed text is just odd by itself. This in turn makes use of em dashes odd.

Same with emojis. LLMs generate Unicode-mapped tokens directly, so they can vocalize any characters within full Unicode ranges. Humans with keyboards(physical or touchscreen) can mostly only produce what's on them.
by random29ah | 2025-11-02 15:28:04+00:00
I'm really "new" to x64 (I only migrated from 32-bit in 2020...) and the difference I noticed between x86-64-v1 and x86-64-v3 was only with video (with ffmpeg), audio (mp3/ogg/mp4...) and encryption; the rest remains practically the same.

Naively, I believe it might be more appropriate to have x86-64-v1 and x86-64-vN options only for specific software and leave the rest as x86-64-v1.

AVX seemed to give the biggest boost to things.

Regarding those who are making fun of Gentoo users, it really did make a bigger difference in the past, but with the refinement of compilers, the difference has diminished. Today, for me, who still uses Gentoo/CRUX for some specific tasks, what matters is the flexibility to enable or disable what I want in the software, and not so much the extra speed anymore.

As an example, currently I use -Os (x86-64-v1) for everything, and only for things related to video/sound/cryptography (I believe for things related to mathematics in general?) I use -O2 (x86-64-v3) with other flags to get a little more out of it.

Interestingly, in many cases -Os with -mtune=nocona generates faster binaries even though I'm only using hardware from Haswell to today's hardware (who can understand the reason for this?).
by embedding-shape | 2025-11-02 15:28:13+00:00
I'd probably get hate for this or whatever, but things like this is why it's inevitable that businesses and governments will eventually force cryptocurrencies on people, because then purchases/expenses/bills and anything else can be tracked fully across the spectrum.

I'm not for it, don't want it, but I can't help myself but to see that as the future, as fraud ramps up even more, gets cheaper and businesses feel they have no other way to combat it except adding more tracking everywhere, something blockchains and cryptocurrencies excel at, for better or worse.
by throwaway2037 | 2025-11-02 15:28:40+00:00
> I think being in public your date can pick up on all sorts of qualities like self worth and confidence that are extremely difficult to convey on dating apps…

In my personal experience, when I meet people from dating apps, there is a huge disconnect between "online charm" and "in-person charm". So much so, that I now try to arrange an in-person meeting ASAP when I connect with someone. You really know very quickly if the other person is showing enthusiasm and effort, and if you have a connection.
by raphui | 2025-11-02 15:28:42+00:00
I’ve been working on a custom RTOS for Cortex-M for the past 10 years: https://github.com/raphui/rnk It started as a way to learn RTOS internals, and over time it has grown into something with lots of nice features. I’m even using it in a dirtbike anti-theft tracker I am building. Also, 2 months ago, I did a weekend challenge to build an embedded software parameter DSL and compiler. Its goal is to let firmware developers define configuration values, thresholds, constants, and other application-level parameters in a structured, human-readable format, and compile them into binary data that the firmware can directly use.

https://github.com/raphui/epc

Happy to get any feedback :)
by roryirvine | 2025-11-02 15:29:54+00:00
Oracle used to do that, didn't they?

So, amongst others, they had Oracle 8i at the height of the dot com boom (i for "Internet"), then a few years later when clustering became big news there was Oracle 10g (the g standing for "grid", I think?), and so on.

Actually, it looks like they might still be doing it - I just checked, and their current version is 23ai...
by trenchpilgrim | 2025-11-02 15:30:34+00:00
> because then purchases/expenses/bills and anything else can be tracked fully across the spectrum.

Traditional banking already does this very well in most countries, through centralized systems with multiple redundant tracking and audit methods. Furthermore, crypto transaction fees are ludicrously high by comparision, and rarely offer the combination of "fast transactions" and "undo button" that traditional banking can provide.
by parineum | 2025-11-02 15:30:45+00:00
This is a statement of fact but the context is missing quite a lot. The IDF is a uniformed military force and Hamas is an ununiformed organization intentionally hiding among soft targets. Hamas also has children among it's soldiers.

Hamas intentionally created the situation where the IDF will kill women and children to accomplish their objective.

The IDF incursion is also a response to an attack by Hamas that targeted non-combatantants for murder, rape and abduction.

I don't think any of that is a controversial but correct me if I'm wrong.
by surajrmal | 2025-11-02 15:30:49+00:00
Your favorite llm will give you several good options. You can use an mpsc channel where you have a task per sender which waits on each branch in the select and then sends a message and then just wait on the receiver end of that channel. Or you could use https://docs.rs/futures/latest/futures/future/fn.select.html (or the select_all version). Both make it more obvious what is going on. The last way would be to implement a future manually. This would probably be my favorite option in many cases as it would be least overhead, but if you've never implemented a future it may be a bit intimidating.

Edit: tokio docs actually provide several suggestions: https://docs.rs/tokio/latest/tokio/macro.select.html#alterna...
by OfflineSergio | 2025-11-02 15:30:53+00:00
I'm still working on WithAudio (https://desktop.with.audio). A one time payment Text To Speech Desktop App. Because I think everything doesn't have to be a subscription.

In October I finished the PDF parser. It was a big challenge extracting PDF contect with correct paragraph breaks on user's computer locally. I'm gonna write about this soon.

Now I'm working on a web extension that talks to the app that run locally on your system so you can use WithAudio in your browser with very good performance, 100% local and private.
by tsimionescu | 2025-11-02 15:31:01+00:00
Not at all. HATEOAS is about defining data formats that the client and server agree on ahead of time.

Browsers running Javascript referenced from HTML is a perfect example of HATEOAS, for example. browsers and web server creators agreed on the semantics of these two data formats, and now any browser in the world can talk to any web server in the world and display what was intended to be displayed to the user.

If the web design hadn't been HATEOAS, you'd need server specific code in your browser, like AOL had a long time ago, where your browser would know how to look up specific parts of the AOL site and display them. This is also how most client apps are developed, since both the client and the server are controlled by the same entity, and there is no problem in hardcoding URLs in the client.
by MPSimmons | 2025-11-02 15:31:13+00:00
One example I think is super interesting is the NWS Radar site, https://radar.weather.gov/

If you go there, that's the URL you get. However, if you do anything with the map, your URL changes to something like

https://radar.weather.gov/?settings=v1_eyJhZ2VuZGEiOnsiaWQiO...

Which, if you take the base64 encoded string, strip off the control characters, pad it out to a valid base64 string, you get

"eyJhZ2VuZGEiOnsiaWQiOm51bGwsImNlbnRlciI6Wy0xMTUuOTI1LDM2LjAwNl0sImxvY2F0aW9uIjpudWxsLCJ6b29tIjo2LjM1MzMzMzMzMzMzMzMzMzV9LCJhbmltYXRpbmciOmZhbHNlLCJiYXNlIjoic3RhbmRhcmQiLCJhcnRjYyI6ZmFsc2UsImNvdW50eSI6ZmFsc2UsImN3YSI6ZmFsc2UsInJmYyI6ZmFsc2UsInN0YXRlIjpmYWxzZSwibWVudSI6dHJ1ZSwic2hvcnRGdXNlZE9ubHkiOmZhbHNlLCJvcGFjaXR5Ijp7ImFsZXJ0cyI6MC44LCJsb2NhbCI6MC42LCJsb2NhbFN0YXRpb25zIjowLjgsIm5hdGlvbmFsIjowLjZ9fQ==", which decodes into:

{"agenda":{"id":null,"center":[-115.925,36.006],"location":null,"zoom":6.3533333333333335},"animating":false,"base":"standard","artcc":false,"county":false,"cwa":false,"rfc":false,"state":false,"menu":true,"shortFusedOnly":false,"opacity":{"alerts":0.8,"local":0.6,"localStations":0.8,"national":0.6}}

I only know this because I've spent a ton of time working with the NWS data - I'm founding a company that's working on bringing live local weather news to every community that needs it - https://www.lwnn.news/
by dhuan_ | 2025-11-02 15:31:23+00:00
Swagger is a tool for API design and documentation.

Mock on the other hand is an actual API creation utility with which you can define endpoints, execute some logic for each endpoint and then return some data to the client. There are other similar features which are covered in the user guide.

Mock is not: - A tool for API Specs or documentation - A GUI tool.

I admit explaining the usefulness of this tool is not the easiest thing.

Any feedback is welcome!
by zenorogue | 2025-11-02 15:32:15+00:00
No, you are confusing geometry and topology here. Topology does not change when you stretch the space but changes when you cut/glue it. Geometry does not change when you cut/glue but changes when you stretch. So portals change the topology but the geometry is Euclidean (you get a Euclidean manifold). This are the meanings used by mathematicians working in these areas.

(The original meaning is of course about breaking 5th postulate while all the others hold, showing that it was possible was a celebrated result in mathematics, while it is trivial to break the postulates in some arbitrary way.)
by PaulKeeble | 2025-11-02 15:32:36+00:00
We are not ready for the image and video fraud that is happening now and very much is coming. I can see why governments are starting to push for government issued ID to pervade into everything because its going to require a large amount of tracking to counter all the fakes. Rather than tracking everything a move to a usable trust and verifiable signature system is preferable from a piracy point of view and would still counter the fakes.
by seba_dos1 | 2025-11-02 15:32:44+00:00
It's obvious, someone has tried it, it works and is commonly used on those more FLOSS-conscious and de-googled "ROMs" - it's called microG. It's not Play Services that are the limit, it's device attestation.

Same with the device proposed by the parent - I can plug my Librem 5 in to a display and keyboard and it runs a regular GNU/Linux distro while working well as a phone, without Halium or any other Android bits.

We had these things for many years now, just look around harder :)
by HarHarVeryFunny | 2025-11-02 15:32:48+00:00
Sure, but it'd be similar to being a software developer and not understanding roughly what a compiler does. In a world full of neural network based technology, it'd be a bit lame for a technologist not to at least have a rudimentary understanding of how it works.

Nowadays, fine tuning LLMs is becoming quite mainstream, so even if you are not training neural nets of any kind from scratch, if you don't understand how gradients are used in the training (& fine tuning) process, then that is going to limit your ability to fully work with the technology.
by kragen | 2025-11-02 15:33:10+00:00
The "Hot Diodes!" paper from 02019 that de Decker cited (https://www.sciencedirect.com/science/article/pii/S235272851...) is promising. It points out that PV module voltage is nearly constant over a wide range of illuminance, so you can get much closer to the maximum power point with a nearly-fixed-voltage load like a string of diodes than with a linear resistance.

It occurred to me that this was a potential use case for obsolete CPUs, which are often conveniently removable from ZIF sockets in obsolete computers. Almost all chips have "clamping diodes" on every pin except their power rail pins, in order to keep those pins within 600mV of the power rails to prevent damage. If you connect the power rails backwards, the clamping diodes are forward biased and start to conduct; at least with old SSI chips and EPROMs, this can get the chip quite hot. Normally the clamping diodes are only rated for 0.5mA or so each but I'm guessing that often they won't actually melt until quite a bit more than that. In normal use, current microprocessors commonly draw over 100 amps at 1.2 volts or so, for which purpose they are packaged in ceramic with metal heatsink surfaces. I doubt you can get the whole 100+ amps through their protection diodes, but maybe you could get enough heat to cook with. Certainly the chips will withstand the 120° temperatures of this oven with no difficulty.

I should also mention that lime cement needs access to carbon dioxide from air to cure. If you sandwich it between ceramic tiles, it won't cure. Similarly for sealing it with waterglass: let it cure for a month first.

There are other candidate cements that are also safe for oven use, including some which can be made from common materials. Many that are too expensive for buildings because they cost over a thousand dollars per tonne would be fine for this purpose. Wood ash makes a perfectly adequate substitute for lime cement, for example. Some alternatives can cure without air; I found a very interesting recipe for "fire mud" in an Ayurveda textbook which is largely iron oxide and buffalo milk held together until heating with a little gum arabic, the reaction product presumably being a calcium iron phosphate similar to anapaite and some rodent teeth. Some industrial castable refractories use a similar formula, though aluminum phosphate is a more common backbone.

(Why would an Ayurveda textbook have a recipe for castable refractories, and why should we believe that it works? I haven't tried it, but its claimed use is for connecting ceramic vessels together to make distillation and calcination apparatus, and you'd hope that practitioners would notice if their distillation apparatus were unusable—even if they can't tell if the drugs they distill with it kill patients.)
by jruohonen | 2025-11-02 15:33:39+00:00
A very weird move. They are now taking a stance on what science is supposed to be.

As someone commented, due to the increasing volume, we would actually need and benefit from more reviews -- with a fixed cycle preferably, and I do not mean LLM slop but SLRs. And in contrary to someone's post, it is actually nice to read things from the industry, and I would actually want that more.

And not only are they taking a stance on science but they have also this allegation:

"Please note: the review conducted at conference workshops generally does not meet the same standard of rigor of traditional peer review and is not enough to have your review article or position paper accepted to arXiv."

In fact -- and supposedly related to the peer review crisis, the situation is exactly the opposite. That is, reviews are usually today of much higher quality at specialized workshops organized by experts in a particular, often niche area.

Maybe arXiv people should visit PubPeer once in a while to see what kind of fraud is going on with conferences (i.e., not workshops and usually not review papers) and their proceedings published by all notable CS publishers? The same goes for journals.
by mindslight | 2025-11-02 15:34:19+00:00
I just realized I inverted the sense of what you were saying about opposition to REAL ID. The way I remember it, it was the right wing cheering on the "Patriot" act, "REAL ID", and all those general "homeland security" laws back then. Yes, there was red tribe grassroots opposition in general terms, but that kind of thing always gets brushed aside when "their" team is doing it. See also the 2nd amendment - individual liberty and "from my cold dead hands", but then zero reservations about actively cheering the government agents who summarily executed Breonna Taylor. Or these masked abduction squads currently roaming the streets - blatantly anti-American anti-Constitutional, and if JOEBIDEN had done anything resembling this we would have never heard the end of it. But since it's "their guys" doing it it's just framed as some noble exercise of the government agents' own liberty to cleanse the undesirables.
by brigade | 2025-11-02 15:34:23+00:00
Yes, I know that multimedia/image vulnerabilities are popular vectors for zero-click attacks. My point is that desktop players are not a vector for zero-click attacks, and ffmpeg has not generally been used in end-user situations that are targets of zero-click or drive-by attacks. Mostly because of the license, but still.

If the exploit chain involves the user downloading and opening a file, something like >99% of the time the next step already involves executable code (or Office macros), which makes any ffmpeg vuln completely useless.
by didericis | 2025-11-02 15:34:40+00:00
> a process which is certainly non deterministic

The specific events that follow when asking a taxi driver where to go may not be exactly repeatable, but reality enforces physical determinism that is not explicitly understood by probabilistic token predictors. If you drive into a wall you will obey deterministic laws of momentum. If you drive off a cliff you will obey deterministic laws of gravity. These are certainties, not high probabilities. A physical taxi cannot have a catastrophic instant change in implementation and have its wheels or engine disappear when it stops to pick you up. A human taxi driver cannot instantly swap their physical taxi for a submarine, they cannot swap new york with paris, they cannot pass through buildings… the real world has a physically determined option-space that symbolic token predictors don’t understand yet.

And the reason humans are good at interpreting human intent correctly is not just that we’ve had billions of years of training with direct access to physical reality, but because we all share the same basic structure of inbuilt assumptions and “training history”. When interacting with a machine, so many of those basic unstated shared assumptions are absent, which is why it takes more effort to explicitly articulate what it is exactly that you want.

We’re getting much better at getting machines to infer intent from plain english, but even if we created a machine which could perfectly interpret our intentions, that still doesn’t solve the issue of needing to explain what you want in enough detail to actually get it for most tasks. Moving from point A to point B is a pretty simple task to describe. Many tasks aren’t like that, and the complexity comes as much from explaining what it is you want as it does from the implementation.
by reaperducer | 2025-11-02 15:35:12+00:00
In the real world language changes over time.

This is what we used to say back in high school.

When you have actual "real world" experience, you learn that while language changes, there is professional language that you use in the workplace, and there is informal language that you use in a bar.

You don't use a single vocabulary for every interaction in every situation of your life. You alter your speech for the situation. You don't talk to the cop that just pulled you over, or the bank manager you're trying to get money from, or your mom the same way you talk to your friends watching a sportsball game.
by refurb | 2025-11-02 15:36:16+00:00
Only in extraordinary cases where immigration status can’t be proven. If your document is suspect it’s examined. You can provide additional documents and interviewed about how you obtained your status.

If you are a US citizen they can call your county that holds the birth certificate, take affidavits from parents or other family members.

I mean the fact we haven’t heard of any US citizens detained for months (as you put it) is a good indication it’s not happening because you know the media would blast that story to the top for weeks.
by computator | 2025-11-02 15:36:56+00:00
> But oh what a difference it makes in the accounting! In the first case, where Autodesk sold the copy of AutoCAD to the dealer, that was the whole transaction; whatever happened to the copy of AutoCAD after the dealer paid for it has no effect on Autodesk’s books. Autodesk sells, dealer pays, end of story. But in the second case, when Autodesk sells to Spacely Sprockets, that appears on Autodesk’s ledger as a sale of AutoCAD for $1000. The instant the $1000 shows up, however, we immediately cut a check for the commission, $500, and mail it to the representative, leaving the same $500 we’d get from the dealer. Same difference, right? Not if you’re an accountant! In the first case, Autodesk made a sale for $500 and ended up, after expenses and taxes, with $125, and therefore is operating with a 25% margin (125/500). In the Spacely sale, however, the books show we sold the product for $1000, yet wound up only with the same $125. So now our margins are a mere 12.5% (125/1000).

I'd like to know how an accountant would respond to the above. Based on his two examples, it seems like accounting rules really distort the financial picture of a company.
by jitl | 2025-11-02 15:37:01+00:00
It seems like there are constant updates for 20 year old packages on my Ubuntu systems. Ubuntu 20.04 Focal Fossa (first released April 2020) glibc had an update on 2025-05-28. Current stable updated glibc 2025-09-22. To say nothing about the rest of the packages in that operating system.