MurphyA/hacker-news huggingface dataset:
by seanc | 2025-07-09 15:03:37+00:00
I think Library Science has contributed much more to modern computing than we ever realize.

For example, I often bring up images of card catalogs when explaining database indexing. As soon as people see the index card, and then see that there is a wooden case for looking up by Author, a separate case for looking up by Dewey Decimal et. cet. the light goes on.

https://en.wikipedia.org/wiki/Library_catalog
by refactor_master | 2025-07-09 15:03:40+00:00
Tangentially I saw this exhibition in Tokyo on modern ukiyo-e https://www.tnm.jp/modules/r_free_page/index.php?id=2693&lan... and I was blown away by the incredible level of detail the artists were able to pack into woodblock print. From a distance it looks almost like print, but up close you can really see the textures, and interestingly also the physical limitations compared to real print (the colors being layered by individually carved woodblocks).

With that being said, I’m sure they could make a replica that would be almost impossible to tell apart from the real. After all, this technique was specifically invented for mass production.
by leakycap | 2025-07-09 15:04:02+00:00
I'm so sad for the victims and everyone around them. That article was a wild read.

I left Texas years ago and happiness for me truly was not having to deal with Texas Thinkin' anymore, or the insufferable blanket that was praying instead of doing ... usually mutliple times a day.

Meeting short on time? Let's pray for guidance.

Someone hurt? No no, let's don't appeal to management on their behalf, let's pray.

Let's act. Time for Texas to do something other than what hasn't been working.
by kibwen | 2025-07-09 15:04:21+00:00
Recent blog post from Ralf Jung providing some extra context: https://www.ralfj.de/blog/2025/07/07/tree-borrows-paper.html

Bonus: recent talk from Ralf Jung on his group's efforts to precisely specify Rust's operational semantics in executable form in a dialect of Rust: https://youtube.com/watch?v=yoeuW_dSe0o
by exabrial | 2025-07-09 15:05:01+00:00
Currently in Europe. Earlier, was trying to use the onboard wifi on a train, which has frequent latency spikes as you can imagine. It never quite drops out, but latency does vary between 50ms-5000ms on most things.

I struggled for _15 mins_ on yet another f#@%ng-Javascript-based-ui-that-does-not-need-to-be-f#@%ng-Javascript, simply trying to reset my password for Venmo.

Why... oh why... do we have to have 9.1megabytes of f#@*%ng scripts just to reset a single damn password? This could be literally 1kb of HTML5 and maybe 100kb of CSS?

Anyway, this was a long way of saying I welcome FastCGI and server side rendering. Js need to be put back into the toys bin... er trash bin, where it belongs.
by 3036e4 | 2025-07-09 15:05:13+00:00
Swedish does that as well. miljon, miljard, biljon, biljard.

This is sufficiently confusing to people that every time I see a newspaper article mention something is a biljon of something they have to mention how much it is and remind readers to not confuse it with an American billion (that is only a miljard).

In most contexts when big numbers like those show up though the metric-system comes to the rescue, since things will be referred to as being a mega-something or giga-something etc anyway. That works great until Americans attempt to do it and get the letters wrong or use K instead of k or M instead of m that causes new confusion and then we're back at having to guess what something means depending on what side of the Atlantic it was written.
by troupo | 2025-07-09 15:05:32+00:00
> From my point of view, post, put, delete, update, and patch all do the same.

That's how we got POST-only GraphQL.

In HTTP (and hence REST) these verbs have well-defined behaviour, including the very important things like idempotence and caching: https://github.com/for-GET/know-your-http-well/blob/master/m...
by hadao | 2025-07-09 15:06:02+00:00
@jsnell You keep missing the forest for the trees.

The $270 is just a symptom. The disease is: - AI that develops contempt for users ("증명충") - A company preaching ethics while practicing indifference (25 days) - A $200/month service with 30% accuracy (per defenders here)

You call it "ludicrous demands for repayment." I call it accountability.

If highlighting these issues with concrete evidence bothers you, perhaps you're comfortable with a future where AI companies can: - Lie without consequence - Mock without accountability - Charge premium prices for substandard service

I'm not. And I won't apologize for expecting better.

"But you do you" - as you so eloquently put it.
by IIsi50MHz | 2025-07-09 15:06:10+00:00
"Everybody needs a rubber duck."

Sometimes, explaining your issue to a random person leads you to a solution. They don't even need to have any experience with the same or a similar issue; indeed, sometimes it's better if they don't! Often turns out you don't need someone who can respond, so explaining to an object like a rubber duck will do.
by dspillett | 2025-07-09 15:06:34+00:00
As a comparison between implementations it can be useful. It is more than a big enough number that, if the test was actually done over a day, temporary oddities are dwarfed. If the test was done over an hour and multiplied then it is meaningless: just quote the per hour figure. Same, but more so, if the tests were much shorter than an hour.
by kragen | 2025-07-09 15:06:35+00:00
Serverless is a marketing term for CGI, and you can observe that serverless is very popular.

A couple of years ago my (now) wife and I wrote a single-event Evite clone for our wedding invitations, using Django and SQLite. We used FastCGI to hook it up to the nginx on the server. When we pushed changes, we had to not just run the migrations (if any) but also remember to restart the FastCGI server, or we would waste time debugging why the problem we'd just fixed wasn't fixed. I forget what was supposed to start the FastCGI process, but it's not running now. I wish we'd used CGI, because it's not working right now, so I can't go back and check the wedding invitations until I can relogin to the server. I know that password is around here somewhere...

A VPS would barely have simplified any of these problems, and would have added other things to worry about keeping patched. Our wedding invitation RSVP did need its own database, but it didn't need its own IPv4 address or its own installation of Alpine Linux.

It probably handled less than 1000 total requests over the months that we were using it, so, no, it was not significantly better to not fork+exec for each page load.

You say "outdated", I say "boring". Boring is good. There's no need to make things more complicated and fragile than they need to be, certainly not in order to save 500 milliseconds of CPU time over months.
by dogleash | 2025-07-09 15:06:37+00:00
>Marketing experts say it's deceptive and unethical.

So, standard marketing. Got it.

What sets these videos apart is that they are impalatable to the status quo.

You can describe why these videos are wrong and I'll agree with you. But wrong is unfortunately irrelevant.

One could say that the marketers failed to understand the audience. I think they targeted a lowbrow segment quite effectively. See the fact anyone is talking about this. Their failure was misunderstanding the boundaries of sleaze that would slide under the radar. No not the race baiting either, there's plenty more of that on TikTok (much more egregious too).

By tying this race baiting specifically to Tim's there was someone uniquely situated against it. And no, Tim's doesn't care about racism either, it's the damage to Tim's reputation. But Tim is in a bind. They can't get their social media team to make a low-brow response to counter the original message. Imagine the reputation damage if the press got ahold of THAT. Therefore Tim calls on the CBC to write a press release on their behalf that Tim is not racist and to perpetuate retaliatory damage against anyone who would sully the name of a great Canadian institution.
by simonw | 2025-07-09 15:07:04+00:00
Because of lethal trifecta attacks: https://simonwillison.net/2025/Jun/16/the-lethal-trifecta/

If you are the person using the LLM tool, a prompt injection attack in a database row that you are allowed to view could trick your LLM tool into taking actions that you don't want it to take, including leaking other data you are allowed to see via writing to other tables or using other MCP tools.
by reaanb2 | 2025-07-09 15:07:53+00:00
In real life, insurance often doesn't pay for everything and service providers would need to support capturing both sets of info, not either one or the other. But that's beside the point.

Properly naming check constraints can go a long way towards providing better error messages, and then there are stored procs which can be used to ensure that multiple tables are updated as a single logical step. It would've been nice if SQL supported literal values in FK constraints, e.g. FOREIGN KEY (id, 'uninsured') REFERENCES patients(id, payment_type), as well as exclusion constraints, e.g. FOREIGN KEY (id) NOT REFERENCES insured_payment_info(id). As it stands, my preferred approach would be combining approach 4 with stored procs, except I would make id the primary key and (id, payment_type) a unique key.
by lxgr | 2025-07-09 15:08:14+00:00
Thank you!

Then I’d say this just points to a concerning lack of understanding of the security model on the implementer’s side.

In an ideal world, there would of course only be on-card verification, but resource constraints on smart card chips are still a factor.

In the second best of all worlds, Oracle would have one reference implementation each for trusted and for untrusted byte code, and a big bold disclaimer on when to use which, but I’m not convinced even that would prevent against all possible implementation mistakes.
by onlyrealcuzzo | 2025-07-09 15:08:19+00:00
Florida doesn't have that many highly paid workers.

They've got a decent amount of rich retired or passive income folks.

Aren't they trying to attract high earners from high tax places like NYC?

This sounds like a bad idea if you're trying to convince people from NYC to move to FL, which sounds like a bad idea for the businesses it's presumably trying to serve.

But what do I know?
by witold_kow | 2025-07-09 15:08:32+00:00
Over the last few months I got intimate with the Microsoft Outlook API and it’s been a toxic relationship to say the least.

Microsoft has a notoriously bad and non-intuitive API. It takes a (long) while to get the hang of it. So I decided to share the fruit of my labour in this open-source library to help you build faster integrations.

Why? Most jobs revolve around emails and MS Outlook is the standard email client used by most enterprises. If you're building meaningful AI agents, you need to integrate with email. If you do it for the enterprise, you need to integrate with MS Outlook.

What? The focus of this library has been 3-fold: #1 Ease-of-use: offer a developer friendly abstraction layer to retrieve, send and manage emails with MS Outlook #2 Production-readiness: the library is lightweight and relies only on APIs. OpenAI and other packages are listed as optional dependencies, so you can use it without them and easily deploy with the tools you use. There are also abstractions for creating webhooks and walkthroughs for how to set things up. #3 AI-readiness: offer AI tools to facilitate retrieval and email sending + offer a walkthrough to building and deploying digital co-workers that live in Outlook inboxes.

Next steps? #1 I'm completing a detailed walkthrough for building and deploying digital co-workers that run in your Outlook inbox #2 more AI features for extraction, OCR and parsing email outputs as well as building agents

https://github.com/WitoldKowalczyk/YouGotMail
by shagie | 2025-07-09 15:08:37+00:00
https://www.teslarati.com/tesla-vehicles-grok-voice-assistan...

> Musk didn’t disclose exactly when Tesla’s vehicles would get the Grok voice assistant, simply saying that the feature was “coming soon.”

> “Grok in Teslas is coming soon,” Musk said. “So you will just be able to talk to your Tesla and ask for anything.”

> As Musk pointed out in his gaming broadcast, the system is expected to let drivers talk directly to their vehicle, to which Grok will respond and make the necessary changes as a built-in voice assistant. Currently, however, Grok 3 and its voice mode are only available to those with a Premium Plus account on X, running $40 a month.

> xAI officially launched a standalone Grok app for Apple devices in January, following suit for Androids just weeks later in February. Voice functionality with Grok in Tesla vehicles has also been teased in a few under-the-radar updates from the company since last year.

https://www.autoevolution.com/news/new-tesla-software-build-...

> The 2025.20 software update also provides new information about the Grok integration as a personal assistant in Tesla EVs. According to Green (@greentheonly), who looked into Tesla code, Grok's launch is imminent. The update includes icons and backend code for Grok's "language tutor personalities." So far, 13 new personalities are offered, from Argumentative to Romantic and Sexy, besides Unhinged, which is Grok's default.

> However, there's bad news about Grok, as Green learned it will only be available on vehicles powered by an AMD Ryzen MCU. This means Intel-based vehicles, many produced until 2022, are excluded. There's no information about when Grok will be available as an assistant in Tesla EVs, but hopefully, it will happen soon.
by jeffbee | 2025-07-09 15:09:27+00:00
Have any of the people who noisily joined X to make a big impact fast actually had a big impact over any time frame? Remember when G. Hotz said he was going to fix Twitter search in 6 weeks, and then it turned out that G. Hotz is just another midwit like anyone else and Twitter search is still as bad as ever? Yaccarino said they were going to transform Twitter into the "everything app" with payments, marketplaces, and even banking. None of which it turns out was within the abilities of Linda Yaccarino.
by OptionOfT | 2025-07-09 15:09:32+00:00
I don't think that is entirely correct.

Just like Apple HomeKit you can add devices that aren't certified. It shows a warning, but apart from that it functions like a normal device (for as far as I can tell).

I have been using https://github.com/t0bst4r/home-assistant-matter-hub to expose my home assistant devices to Google Home without having to expose my Home Assistant to the cloud.

Second, certification is what separates Z-Wave from Zigbee which in my (n=1) experience means less issues in terms of compatibility.

Of course, with that GitHub package I shared all of that goes through the window, but who cares? I can clone the code and modify it.
by Bender | 2025-07-09 15:09:45+00:00
Not defending Elon or the infobot but my theory is that by leaving that LLM unfiltered people have learned how to gamify and manipulate it into having a fascist slant. I could even guess which groups of people are doing it but I will let them take credit and it's not likely actual neo-nazi's, they are too dumb and on too many drugs to manipulate an infobot. These groups like to LARP to piss everyone off and they often succeed. If I am right it is a set of splintered groups formerly referred to generically as The Internet Hate Machine but they have (d)evolved into something worse that even 4chan could not tolerate.
by toast0 | 2025-07-09 15:09:47+00:00
Typically I've run cgi from a directory outside the document root. That's easy, and I think was the defaults?

That said, fork+exec isn't the best for throughput. Especially if the httpd doesn't isolate forking into a separate, barebones, child process, fork+exec involves a lot of kernel work.

FastCGI or some other method to avoid forking for each request is valuable regardless of runtime. If you have a runtime with high startup costs, even more so.
by jeffcarboncre | 2025-07-09 15:11:40+00:00
Carbon AI | Founding Eng | Remote-first (US) | https://carboncre.ai/

- Product: AI-automated commercial real estate workflows to tackle necessary but mind-numbing tasks that human analysts typically perform.

- Funding. $4m seed round from Bling Capital, who also funded the last startup my cofounder and I created in the same space (exited to Built Technologies, which represents 10% of all US construction spend)

- Traction. We’re still building out the product, but have design partnerships with 4 prominent firms in our space, who together comprise 25% of the market we’re targeting.

- Team. You'd be joining as Eng #2 to pair with our Founding AI Eng. In addition to me and my cofounder, Josh, we also have 3 ex-Google/Uber contractors helping us build faster. Our plan is to transition all development in-house though.

- Tech stack. TypeScript, React, NodeJS, Express, GraphQL, Postgres

- Comp. $175-225k base + above-market equity.

Note that while this is a remote-first role, we value having some in-person collaboration so we’d be looking for you to visit our office in Philly ~1x/month.

JD: https://glamorous-sloth-8e8.notion.site/Founding-Full-Stack-...

Feel free to message me directly at jeff.saul@carboncre.ai. Thanks!
by pessimizer | 2025-07-09 15:12:11+00:00
No, it's terrible. I think what they mean by "success" here is that it functions, and is easier to use and more sturdy than init scripts. But any number of things would have been better than those. Instead of writing and adopting one or more, Linux allowed Redhat to take over the last piece of itself, its spine, after which Redhat sold itself to IBM. Linux is an IBM product.

They basically mediate all Linux access to the hardware, and can add arbitrary dependencies to the system at will. They could decide that we're all going to use leftpad now.

Cutting off my hand to get rid of that cancerous mole might have saved my life, but I wish you had just cut off the mole.
by phh | 2025-07-09 15:12:34+00:00
Looking at the BOM (6 cheapest servos, one usb camera, a usb hub, a microctronller ,two mics, 30cm-high low-precision plastic) the price looks fairly realistic to me. I could imagine it at half the price on aliexpress. The manufacturing or sourcing doesn't seem complicated. So overall it looks like a very realistic endeavor.

The only negative point I see: Pollen Robotics doesn't seem used to do mass market/cheap products. But as I said, it seems to be a pretty simple production (I mean, they are probably running everywhere like crazy because nothing is ready and everything is broken, but they should be able to accomplish this)
by RiverCrochet | 2025-07-09 15:13:33+00:00
I am really surprised there isn't a linux command out there that allows you to send low-level CMD's to an MMC controller. I thought mmc-utils did.

> SD cards are divided into sections, called Application Units (or AUs). The Video Speed Classes in particular require certain commands to be issued to it to put the card into Video Speed Class mode and to specify which AU the host will be writing to. The host is then supposed to write only to that AU, in a sequential fashion (skipping over any blocks that are already in use). Once the host has reached the AU, it must issue another command to specify which AU it will be writing to next

This is something I didn't know about SD cards. Does SD card firmware mark blocks as belonging to a specific "Application Unit"? Seems to be some sort of "preallocation" scheme.
by marcosdumay | 2025-07-09 15:13:38+00:00
I really hate my conclusions here, but from a limited freedom point of view, if all of that is going to happen...

> The team constantly bikesheds over correct status codes and at least a few are used contrary to the HTTP spec

So we should better start with a standard scaffolding for the replies so we can encode the errors and forget about status codes. So the only thing generating an error status is unhandled exception mapped to 500. That's the one design that survives people disagreeing.

> There's a decent chance listing endpoints were changed to POST to support complex filters

So we'd better just standardize that lists support both GET and POST from the beginning. While you are there, also accept queries on both the url and body parameters.
Ask HN : Is it possible to have design shops doing cheap mobile apps using AI?
by gritlin | 2025-07-09 15:13:57+00:00
Everyone is vibe coding with 20 dollars a month subscription but I am not interested in that as I might make mistakes in an app that my customers will use .

But are there design shops that offer professional development at the cost of 100 to 200 dollars per fully functioning web/mobile app? If AI is improving software dev then this should be possible right?
by Aurornis | 2025-07-09 15:14:21+00:00
The blog post has actual details, but I’m even more confused after reading it: https://huggingface.co/blog/reachy-mini

The “disrupt the robot industry” is an insane lie from Venture Beat. They clearly okay with lying if they know it will drive traffic.

As best I can tell, this is meant to be a little humanoid style desk toy to act as the interface for communication. It can move its head, wiggle antennas, and rotate, but can’t manipulate anything.
by kragen | 2025-07-09 15:15:24+00:00
No, Linux typically takes about 1ms to fork/exit/wait and another fraction of a millisecond to exec, and was only getting about 140 requests per second per core in this configuration, while creating a new WASM context is closer to 0.1ms. I suspect the bottleneck is either the web server or the database, not the CGI processes.
by scraptor | 2025-07-09 15:15:31+00:00
sqlite resolves lock contention between processes with exponential backoff. When the WAL reaches 4MB it stops all writes while it gets compacted into the database. Once the compaction is over all the waiting processes probably have retry intervals in the hundred millisecond range, and as they exit they are immediately replaced with new processes with shorter initial retry intervals. I don't know enough queuing theory to state this nicely or prove it, but I imagine the tail latency for the existing processes goes up quickly as the throughput of new processes approaches the limit of the database.
by thyristan | 2025-07-09 15:15:35+00:00
And made a number of new ones appear.

E.g. logging, now that there is journald, you have to pay attention to another hop in your logging chain and take care of journald in addition to rsyslogd.

Boot and shutdown has previously been deterministic, now things just randomly hang. You do the "windows solution", reboot again, now it magically works through the power of race conditions that are inherent in systemd's mode of operations.

Network device naming is also a fun one. Remember how systemd was supposed to do away with the inconsistency and mess that is "eth0, eth1, eth2, eth..."? Well, now you get either eth0, or ens123, or enp17s7f9, or enx8b220b34. Each distro does it differently, so put in a live-CD to debug something and your network devices are suddenly weird. Reinstall to another version, suddenly weird again. Btw, the issue that names could change depending on boot order was already fixed by udev before, consistent-net.rules nailed it to a mac address on first boot. So systemd took a situation that was already fixed and better than before, and made it far far worse.

Oh, and all the fun that is systemd-dbus, policykit, systemd-logind and permissions on those. Because you always wanted a Javascript interpreter and libxml to tell who could be root on your system... And tons of confused deputy exploits on that cloud of confused systemd-subdaemons.

I'll grant that service files were a nice idea. But beyond that, it has been a very mixed bag, and in places a desaster.