MurphyA/hacker-news huggingface dataset:
by eggy | 2025-07-23 11:30:37+00:00
I am excited Rust is heading in this direction. We had to go with SPARK2014/Ada (2022) when we made this decision over a year ago. Rust and its tooling was and is not ready for the safety critical control system we are developing. High-integrity, safety-critical auditors in government and industry are already aware of the types of reports generated by the AdaCore tooling, so this makes less friction in seeking these certifications. We are also hoping the Ironclad Kernel and Gloire OS gain traction. A kernel written in SPARK2014 and fully formally verified and a complementary OS using Ironclad would make it turtles all the way down to our bare metal controller up to the control system application and HMI. I will certainly keep Rust on my radar in the future. Do you have any examples of where Rust is mainly the PL used in a CPS (Cyber-Physical System) that requires this level of integrity and safety? SPARK has applications in avionics and other industries that go back for decades: Typhoon EuroFighter - flight control and mission-critical systems; Harrier GR9 - avionics; UK NATS iFACTS System - safety-critical air traffic control software; LifeFlow Ventricular Assist Device - medical device to support heart function. SPARK was used for its control software, and the list goes on and on.
by diggan | 2025-07-23 11:30:55+00:00
There was a flurry of FOSS and local-first alternatives appearing when Recall was first announced (and more afterwards too), did anyone here end up using any of them and found them good enough? I remember trying one or two but most were basically hacks/prototypes at that point, I'm guessing at this point at least one of them developed enough to actually work well for daily use?
by LooseMarmoset | 2025-07-23 11:31:16+00:00
“as long as it stays local”

i think we both know how that will go.

first, Microsoft will exfiltrate data for the purposes of performance and analytics, in scare quotes.

Next, they’ll do it in order to train copilot, in an unannounced update, and tell us this is a wonderful new feature.

Finally, they’ll bundle this data that they said would always remain local, and offer it for sale as training data, which government users will then buy, for obvious reasons. this will be done in the name of safety, and for the children.
by dash2 | 2025-07-23 11:31:23+00:00
> If Google had more inspired leadership, it would accept the colossal revenue hit of replacing the search box on their home page with the Gemini chat interface.

That sounds like a bad idea. They are making the change gradually by adding AI responses. Seems safer and more friendly to existing users.

Also, Google has maybe the best AI in the world, plus a huge existing business. Why wouldn't it beat ChatGPT?
by alienbaby | 2025-07-23 11:32:21+00:00
'Perfect, I have perfectly perambulated the noodles, and the tests show the feature is now working exactly as requested'

It still isn't perambulating the noodles, the noodles is missing the noodle flipper.

'your absolutely right! I can see he problem. Let me try and tackle this from another angle...

...

Perfect! I have successfully perambulated the noodles, avoiding the missing flipper issue. All tests now show perambulation is happening exactly as intended"

... The noodle is still missing the flipper, because no flipper is created.

"You're absolutely right!..... Etc.. etc.."

This is the point I stop Claude and so it myself....
by RumourRider | 2025-07-23 11:32:25+00:00
It is still less environmental damage to keep an old vehicle on the road and not create a new one. Some cars can literally last forever (these models are well known) if they are looked after.

The scrap yards are btw filling up with modern cars quite quickly because people cannot afford to repair new cars, or the cars are uneconomical to repair even after minor collisions. Whereas a lot of old cars (pre-2010) can be fixed on your driveway with easily affordable tools.
by savolai | 2025-07-23 11:32:37+00:00
I’m asking for insight. Am I missing something?

Economic Times seems to have drawn upside-down conclusions. The whole article comes off as alarmist at first glance.

As far as I understand, the actual “thinking process” of LLMs—statistical language generation—has never really been transparent.

Chain of Thought, which the original paper discusses, adds a new layer on top of language generation. It tries to make the underlying process more visible by “slowing it down,” breaking it into smaller steps. It’s been around for a long time.

To my understanding, CoT is also, in a way, an appearance—because the actual reasoning of the AI remains hidden behind statistical mechanisms. Apparently, though, it reduces errors.

At least based on the summary, the original paper doesn’t seem to be “warning” about anything.

I don’t get why Chain of Thought—the method is now considered some novel idea worth special news coverage, or why transparency in reasoning would be especially under threat right now.
by pimbrouwers | 2025-07-23 11:33:36+00:00
Not a python developer, just casually curious about the discourse. But I wanted to say that I completely agree with the point on letting dynamic languages be dynamic. Otherwise, you reduce the benefit of a dynamic language to the point where I feel like the value proposition comes too close to disappearing. Really at that point, you're just trading performance for compile time or lack there of.
by lotsofpulp | 2025-07-23 11:33:47+00:00
> What is particularly interesting is the spike in prices of beef. If climate extremes are causing food price shocks one would think that the beef price spike is caused by feed price shocks.

This is specious reasoning because the cost of goods sold for beef involves more than just feed. Labor prices, especially at the low end which meat processors typically pay, have increased.

The largest publicly listed beef processors are reporting very low single digit profit margins (as do grocery stores) :

https://www.macrotrends.net/stocks/charts/TSN/tyson-foods/pr...

https://www.macrotrends.net/stocks/charts/JBSAY/jbs-sa/profi...

It is reasonable to assume Cargill and National Beef are in the same boat (since processing beef does not involve some secret technology that would give them a leg up).
by xnorswap | 2025-07-23 11:34:52+00:00
HN can be infuriating sometimes.

Imagine if there was an environmental science forum that sat around pontificating with mistrust about software performance. Chances are people would mock it and marvel at their ignorance.

But here we have a forum of (largely) software developers looking at the experts on environmental health and going, "Why are they so stupid? It's obviously <radon> <modern junk> <etc>".

It's not limited to environmental health, it affects all kinds of articles on social sciences. Commentary full of people who aren't domain experts wondering why the domain experts are all so clueless because Mr Software Engineer has it all figured out.
by sethaurus | 2025-07-23 11:34:57+00:00
That was once the case, but no longer. Third-party WatchOS apps can work without a phone present, up to being installed directly from the watch's app store. They can definitely do independent networking, but there are still some restrictions, eg they can't do it when backgrounded, and websockets are pretty locked down (only for audio-streaming as per Apple policy).

I reckon the lack of general-purpose websockets is probably the issue for a system based on Phoenix LiveView.
by crabbone | 2025-07-23 11:35:05+00:00
We run an airgapped version of JIRA (but we are a very big company, globally distributed). Performance is in the gutter.

The annoying part is the amount of garbage fixes in JIRA's UI. For example, because of the loading speed, and me losing patience with it, if I don't wait for the page to finally finish loading and click on the "create" button, then instead of the modal dialog for issue creation, I get a whole new page for issue creation. Both options are atrocious from UX perspective (because usually I need to copy text from the issue I was reading into the issue I'm creating), but at least when it's a modal window, I can pop open the developer tools and delete the modal part that prevents me from copying the text from the issue otherwise blocked from interaction.

Also, it looks like due to speed, some queries simply don't finish on time, and randomly, searches don't find all the issues they should. Especially searches that ask for "s.t. parent issue has such-and-such properties".

Ultimately, JIRA isn't built to scale (ironically, since it's written in Java, which was always defended as being slow for small problems but scaled well). The code has a lot of assumptions about some operations being fast enough to not require buffering / incremental implementation. And sometimes you hit the combos of such unoptimized operations and have to wait minutes for the program to respond.
by adontz | 2025-07-23 11:35:15+00:00
What people often don't realize is that in a big business system a user may have no permission to raw data of some table, but may have permission to report which includes aggregated data of the same table, so report permissions cannot be deducted from base CRUD permissions.

If such SIAAS

- Checks that query is SELECT query (can be tricky with CTE, requires proper SQL parser) - Allows editing said query by superuser only - Can be parametrized, including implicit $current_user_id$ parameter - Has it's own permissions and users can run the query if they have permissions

It's safe enough. I've seen and applied such "Edit raw SQL in HTML form" many times. It's super flexible, especially combined with some CSV-to-HTML, CSV-to-PDF, or CSV-to-XLS rendering engine.
by layer8 | 2025-07-23 11:36:21+00:00
The move command prompts for confirmation by default before overwriting an existing file, but not when invoked from a batch file (unless /-Y is specified). The AI agent may be executing commands by way of a batch file.

However, the blog post is incorrect in claiming that

move * "..\anuraag_xyz project"

would overwrite the same file repeatedly. Instead, move in that case aborts with "Cannot move multiple files to a single file".
by diggan | 2025-07-23 11:36:33+00:00
The first paragraph contains:

> Cerebras Systemstoday [sic] announced the launch of Qwen3-235B with full 131K context support on its inference cloud platform

Then later:

> Cline users can now access Cerebras Qwen models directly within the editor—starting with Qwen3-32B at 64K contexton the free tier. This rollout will expand to include Qwen3-235B with 131K context

Not sure where you get the 40K number from.
Show HN: Header-only GIF decoder in pure C – no malloc, easy to use
by FerkiHN | 2025-07-23 11:36:33+00:00
I built a lightweight GIF decoder in pure C, ideal for embedded or performance-critical environments. It’s header-only, zero dynamic memory allocations, and fully platform-independent. Supports both static and animated GIFs, with turbo and safe decoding modes. Works great on microcontrollers, IoT devices, and anything with a framebuffer. Would love feedback or ideas where this could be useful.

Github: https://github.com/Ferki-git-creator/TurboStitchGIF-HeaderOn...
by alienbaby | 2025-07-23 11:36:51+00:00
I see it a lot where it doesn't catch terminal output from it's own tests, and assumes it was wrong when it passed, so it goes through a everal iterations of trying simpler approaches until it succeeds in reading the terminal output. Lots of wasted time and tokens.

(Using Claude sonnet with vscode where it consistently has issues reading output from terminal commands it executes)
by glenstein | 2025-07-23 11:37:34+00:00
Or if true, extremely idiosyncratic. This thread is one of the more amazing case studies for people making blanket generalizations from problems that seem to be very specific to their setups and hard to reproduce elsewhere. I don't want to say the problems aren't happening, but there seems to be a wild overconfidence in generalizing from unusual case scenarios.

Of course it's not limited to Firefox. I think it happens with everything from people's first experiences of Mastodon, to people having random bad experiences on some particular Linux distribution to any number of other things.

I think to me the most have spending one I saw was people insisting F-Droid had problems that I could never reproduce when I was using it simultaneously across like four or five devices, including a pixel C tablet with lineage OS, and old Nexus 7 also with lineage OS, and two of my phones as I was in the process of transitioning from one to the other.
by reginald78 | 2025-07-23 11:38:46+00:00
The silly part is unraid has all the pieces to do this. The btrfs file system which unraid supports for array disks could identify bitrot, and the unraid array supports virtualizing missing disks by essentially reconstructing the disk from parity and all of the other disks. Combining those two would allow rebuilding a rotted file with features already present.

My impression is unraid developers have kind of ignored enhancing the core feature of their product to much. They seem to have put a lot of effort into ZFS support which isn't that easy to integrate as it isn't part of the kernel, when ZFS isn't really the core draw of their product in the first place.
by glenstein | 2025-07-23 11:38:58+00:00
>Are you really going to let Google control your computing just because you can't stand the very mild discomfort associated with change?

Exactly that's the big picture question and I find it mind-boggling when when people can't look past an idiosyncratic user experience to more fundamental things like Google seizing long-term control over web standards, getting rid of ad block, imposing DRM, and creating a paradigm or even its own competitors are increasingly dependent on Chromium development.
by skydhash | 2025-07-23 11:40:28+00:00
It’s really integrated into emacs.

First, you have the calendar, but it’s not just a date picker, it’s also shows holidays and other markers.

Then you have the capture (quick entry) where you have the full power of emacs environment plus lisp language to code anything you want. Emacs have other applications like a file manager, mail readers, document readers…, and you can capture the context as well as the note itself.

Then, there’s the agenda, which is fully customizable with a mix of options and code.

And there’s the exporters. Notice that emacs have support for most of the format, so it’s more like an handover to some other parts of emacs. But you don’t merely transform the document from org to html as an example. You extract the html from the org structure as you can filter sections out. Also a lot of options there (and code)

And code blocks (named babel). That you can execute.

So org can be a static document format or a dynamic environment. And all of that because of emacs as the buffer concept is very fluid. In emacs there are only buffers. Each buffer is assigned a major mode which is just a set of functions that does stuff on the buffer text. And you have the minor modes (more functions) that are more like plugins. And you’re free to hack on them. It’s just that the default set looks like a text editor.
by tarsinge | 2025-07-23 11:40:28+00:00
From what I’ve read, and what I get in the comments here, these too are plagued by electronics and software issues. I’m not sure this category of issues, especially software ones, are correctly taken into account in reliability scores. Ironically my current car (from 2010) doesn’t score too high in reliability, but not having a screen makes that whole class of problems go away.

I hope my current car makes it so that I can entirely skip the current gen cars to hopefully the future one with these issues sorted out, including physical buttons.
by kokada | 2025-07-23 11:40:33+00:00
> Apparently someone decided they'll fix the existing system instead of creating a whole new system with a fancy name.

I think the approach created by Pix is probably better to be honest. Yes, I know that some IBAN-to-IBAN is instantaneous, but since this depends on both banks supporting it and also this is not always clear that it is instantaneous (I think at least when I used N26 the way they advertised this feature the wording wasn't clear if it was guarantee that the transfer was instantanous or not).

Pix is not. Everyone in Brazil knows that it is fast, so if you don't get a notification that you received the money there is probably something wrong (it is really easy to forge a receipt showing that you "paid" something). Especially for a country that has lots of issues with scams, it is really important that the system is reliable so people can trust the system.

> However, your description of Pix still doesn't explain the ---coin fetish in the original article.

I wasn't trying to, I didn't even read the article to be honest. I was just trying to clarify why the Pix experience is different from IBAN-to-IBAN, even if in concept they're the same.
by codingdave | 2025-07-23 11:41:41+00:00
I've been in scenarios when such UIs existed. But they always were protected so that only system admins had access to it, as a way to let them make quick queries in-app instead of having to pull up other tools. There was no additional access granted, it was just a question of UX, and we expected that anything beyond a simple ad-hoc query would be done with real tools, not in the app.

Also, the underlying databases were secured. Just because you can send a query to a database does not mean you are exposing additional data - database-level security exists and works well.
by aleph_minus_one | 2025-07-23 11:41:41+00:00
> Microsoft specifically allows software in the category “browsers” to disable Recall.

1. "Browser" does not mean "web browser": many kinds of applications can be considered a browser.

2. Even if you identify "browser" with "web browser": Electron apps are basically (web) browsers (though not fully functional ones). Nobody claimed said for a software to be in the "browser" category, it has to be a fully functional web browser.
by wvh | 2025-07-23 11:42:06+00:00
I agree, and can imagine using a different font depending on the (programming) language or purpose, yet each font being quite objectively better at that purpose. Some languages are a lot more similar to natural language, and some are more mathematical, technical or really need fixed width blocks to be readable.

And then there are fonts that I don't like aesthetically and generally avoid, but come to the rescue in the wee hours of the morning when you really have to get something done and your eyes have gone blurry.
by RumourRider | 2025-07-23 11:42:31+00:00
They are complaining about the hero image (which is pretty inoffensive). Which is ridiculous. It is no different than using a stock image asset for some decoration, which is what people would have used before the current AI tools. Therefore I consider it unreasonable on the face of it.

I shouldn't really have to explain this, but here we are.

I don't care about how you wish to split hairs because I made a minor mistake, nor do I care about your rationalisations for an obviously ridiculous critique.
by glenstein | 2025-07-23 11:42:42+00:00
This does raise a very interesting point though in my opinion. There's been some debate about whether Google should be compelled to sell off its chromium browser, but I wonder if it makes more sense to spin off Google's various attempts at boning internet infrastructure such as AMP and 8.8.8.8.

I guess AMP is being wound down but it was a play for shifting more of the Internet onto Google infrastructure.
by mehdibl | 2025-07-23 11:42:52+00:00
The PR confuse a but 32k/64k and 131k if paid API.

Also this model https://huggingface.co/Qwen/Qwen3-235B-A22B

Is native 32k. So the 64k and 131k use ROPE that is not the best for effective context.

While https://qwenlm.github.io/blog/qwen3-coder/ it's 256k native https://huggingface.co/Qwen/Qwen3-Coder-480B-A35B-Instruct.
by ubermonkey | 2025-07-23 11:43:52+00:00
I'm not who you asked, but the reason I migrated to Macs years ago, and the reason I stay, is that I don't want my computer to be a maintenance hobby unto itself. I need to do actual work.

I also enjoy the polish Apple provides in other ways -- the platform features you get if you're on a Mac, use an iPhone, have a Watch, etc, are all pretty great. Cobbling together something like that on my own under Linux probably isn't possible.
by glenstein | 2025-07-23 11:44:42+00:00
Interestingly, I think if the Chrome browser gets spun off from Google, it might make sense for Google to have to make annual payments to support the development of Chrome like they do Firefox. Obviously being the default search in Chrome should have significant value worth paying for the same as Firefox and Safari. And it might be the most plausible economic model for Chrome if it's not being funded by Google.
by anenefan | 2025-07-23 11:44:45+00:00
You've hit the nail on the head. The article is disingenuous in entirety.

Nearly every business in Australia that registers for GST and has eligible fuel expenses they can claim, receives a govt subsidy - so technically, that is what would account for most of the 50% of voters that rely ... eh ... I wish I could think of a funny smart-arsed way to use the term rely in an equally most overly generous but technically right manner.
by ubermonkey | 2025-07-23 11:46:26+00:00
After a few attempts over the years to move to emacs -- all them failures -- what finally got me to use it consistently was Org. The funny thing is I still don't use it for coding or other writing; emacs is on my computer as the org platform.

I am VERY interested in Obsidian, which seems like it could definitely support an org-like system. It's _almost_ there as far as my own use cases are concerned, and the seamless sync to mobile is really enticing.

But goddammit, my fingers now know how to move through org buffers pretty well, and Obsidian lags on that front, so I may be stuck. ;)
by 0vermorrow | 2025-07-23 11:47:08+00:00
I'm eagerly awaiting for Qwen 3 coder being available on Cerebras.

I run plenty of agent loops and the speed makes a somewhat interesting difference in time "compression". Having a Claude 4 Sonnet-level model running at 1000-1500 tok/s would be extremely impressive.

To FEEL THE SPEED, you can either try it yourself on Cerebras Inference page, through their API, or for example on Mistral / Le Chat with their "Flash Answers" (powered by Cerebras). Iterating on code with 1000 tok/s makes it feel even more magical.