MurphyA/hacker-news huggingface dataset:
by oblio | 2025-08-09 15:14:16+00:00
There are direct elections for the parliament. Those "indirect appointees" are the heads of government of each state, it's as direct as it could possibly get.

And the "unelected bureaucrats" are just... bureaucrats. That's how governments are run the world over, even in places like Switzerland.

Or does your country vote regularly for the Director of Rail Transportation in your Ministry of Transportation? Or the Director of Lower Education in your Ministry of Education?

If your country holds referendums for that, your country is, sorry to inform you, bats**t crazy.

Let's please stop spreading anti EU propaganda and adress real concerns. For example the EU needs a full blown border protection agency and external EU border protection should be a 100% EU matter, not a member state matter. The EU should have a unified digital market. Etc.
by mockingloris | 2025-08-09 15:14:44+00:00
At least, you are honest about augmenting the porting process. It's amazing what one can accomplish when they realize that with proper time, planning and a good grounding on building code/systems, that a lot more is possible.

The takeaway for me is that because these tools are fast doesn't mean the task also needs to move as fast. At least till AGI, a sound human reasoning before hitting enter goes a long way.

Thanks for sharing
by tialaramex | 2025-08-09 15:14:55+00:00
> This part can't be underestimated.

You presumably intend "shouldn't be underestimated" rather than "can't be". I agree that culture is crucial, but the technology needs to support that culture and in this respect Zig's technology is lacking. I would love to imagine that the culture drives technology such that Zig will fix the problem before 1.0, but Zig is very much an auteur language like Jai or Odin, Andrew decides and he does not seem to have quite the same outlook so I do not expect that.
by kaathewise | 2025-08-09 15:15:29+00:00
One of the problems is that a lot of bioinformatics formats nowadays have to hold so much data that most text editors stop working properly. For example, FASTA splits DNA data into lines of 50-80 characters for readability. But in FASTQ, where the '>' and '+' characters collide with the quality scores, as far as I know, DNA and the quality data are always put into one line each. Trying to find a location in a 10k long line gets very awkward. And I'm sure some people can eyeball Phred scores from ASCII, but I think they are a minority, even among researchers.

Similarly, NEXUS files are also human-readable, but it'd be tough to discern the shape of inlined 200 node Newick trees.

When I was asking people who did actual bioinformatics (well, genomics) what some of their annoyances when working with the bioinf software were, having to do a bunch of busywork on files in-between pipeline steps (compressing/uncompressing, indexing) was one of the complaints mentioned.

I think there's a place in bioinformatics for a unified binary format which can take care of compression, indexing, and metadata. But with that list of requirements it'd have to be binary. Data analysis moved from CSVs and Excel files to Parquet, and I think there's a similar transition waiting to happen here
by Zambyte | 2025-08-09 15:15:37+00:00
In practice, almost all memory safety related bugs caught by the Rust compiler are caught by the Zig safe build modes at run time. This is strictly worse in isolation, but when you factor in the fact that the rest of the language is much easier to reason about, the better C interop, the simple yet powerful metaprogramming, and the great built in testing tools, the tradeoffs start to become a lot more interesting.
by wslh | 2025-08-09 15:16:00+00:00
Well, ANTLR[0] includes many programming language targets. I can also recommend OMeta [1] for quick prototyping. Other developers has implemented it in JS, .NET, etc. I just found Panini[2] in Rust but I am sure you can find others[3].

[0] https://www.antlr.org/

[1] https://en.wikipedia.org/wiki/OMeta

[2] https://github.com/pczarn/panini

[3] https://github.com/topics/parser
by nikolayasdf123 | 2025-08-09 15:17:35+00:00
possible solution: "reality checks"

I see that GitHub Copilot actually runs code, writes simple exploratory programs, iteratively tests its hypothesis. it is astoundingly effective and fast.

same here. nothing stops this AI to actually trying to implement whatever this AI suggested, compile it, and see if this is actually works.

grounding in reality at inference time, so to speak.
by 010101010101 | 2025-08-09 15:17:37+00:00
Do you expect him just to let the service remain broken or to scale up to infinite cost to himself on this volunteer project? He worked with the project author to find a solution that works for both and does not degrade service for every other user, under literally no obligation to do anything at all. This isn’t Anthropic deciding to throttle users paying hundreds of dollars a month for a subscription. Constructive criticism is one thing, but entitlement to something run by an individual volunteer for free is absurd.
by kgeist | 2025-08-09 15:17:50+00:00
Unless you expose random ports on the local machine to the Internet, running apps on localhost is pretty safe. Llama-server's UI stores conversations in the browser's localStorage so it's not retrievable even if you expose your port. To me, downloading 500 MB from some random site feels far less safe :)

>the app is a bit heavy as is loading llm models using llama.cpp cli

So it adds an unnecessary overhead of reloading all the weights to VRAM on each message? On some larger models it can take up to a minute. Or you somehow stream input/output from an attached CLI process without restarting it?
by TOGoS | 2025-08-09 15:18:05+00:00
As per the 'special parsing rules for script tags', browsers don't actually treat it as what you'd expect it means.

<script>console.log("<![CDATA[Hello, this string content in a CDATA section!]]>");</script>

Results in this being output to the console:

<![CDATA[Hello, this string content in a CDATA section!]]>

Browsers don't do what you intend if you wrap the whole script in CDATA, either. They treat the "<![CDATA[" sequence as literally part of the script! Which of course throws a syntax error.

I tend to use them anyway, as sort of a HTML/XHTML polyglot thing, because deep in my heart I still think HTML should be valid XML:

<script>/* <![CDATA[ */ // my script here, and you *still* need to be careful not // to include close-script or close-cdata sequences /* ]]> */</script>

In summary, the 'special parsing rules for script tags' add a great amount of complexity not just to the parsing code, but for anybody who has to emit markup, especially if different parsers disagree on what kind of escaping rules are active within a given section. Yes, the HTML5 spec codified the neurotypical "I would rather make you guess what I mean than just use the proper words to say it clearly" behavior, so at least browsers agree on it, but it's a mess and a pain to deal with because now you have to remember 1000 exceptions to what would have been simple rules.
by superkuh | 2025-08-09 15:18:15+00:00
Iowa has about 40/60 paved/unpaved ratio. Wisconsin has about 85/15. (stats counting only primary and secondary (county) roads).

ref: https://bikeiowa.com/Feature/1543/iowa-gravel-what-makes-it-..., https://www.fhwa.dot.gov/policyinformation/statistics/2008/h..., https://topslab.wisc.edu/research/tsmo/topms/data/

I acknowledge this may not be a 'bad' attribute, it could be Iowa just has so many unpaved extra roads it skews it. But when I think Iowa, I think driving on rough roads.
by broken-kebab | 2025-08-09 15:19:00+00:00
Unlike food, education (or lack of it) doesn't have universal definition. Because of that it's easy to stretch and manipulate. And it's been stretched and manipulated all the time cause possibility to indoctrinate young people creates immense political power. Like with free speech, non-uniform, not strictly state controlled (which implies private) education is a way to prevent state bureaucracy to concentrate too much power. That's not touching the fact that state hierarchies are well known for their inefficiency. Let's be fair, the reason people usually passionately bring education with politics in neighboring sentences is because it's widely accepted that our beliefs are right, and therefore people who stand against them are dumb, and maybe education can lead them (or at least their children) to our embrace! Funny thing, those "our beliefs" are often incompatible, and even opposite. Which makes me think that humanity doesn't work like that really
by literalAardvark | 2025-08-09 15:20:20+00:00
It wasn't a critical time, it was late.

If there had been any political will for this things would have been set in motion since 2023, likely even before that when the reports from the scientists working on control started pouring in.

Blaming a few weeks of funding lapse one year into an outbreak in a control project that's been running for decades is absurd.

From a link in this thread: However, since 2023, cases have been increasing in number and spreading north from Panama to Costa Rica, Nicaragua, Honduras, Guatemala, Belize, and Mexico.
by CyberDildonics | 2025-08-09 15:20:34+00:00
> Zig is safer than C++

Maybe if someone bends over backwards to rationalize it, but not in any real sense. Zig doesn't have automatic memory management or move semantics.

In C++ you can put bounds checking in your data structures and it is already in the standard data structures. You can't build RAII and moves into zig.
by oceanplexian | 2025-08-09 15:20:34+00:00
HVAC must be one of the most dishonest professions in the US. I’m not in NYC but received similar quotes($15-20k to do a few rooms).

Obviously having family in South America where there are millions of these installed by unskilled labor I decided to DIY. So I installed 2 units with 2 heads each, including pouring the concrete pads, vacuuming the line sets, and charging them. Took me two weekends and about $4000 in materials including the units themselves. It’s been two years, none of the BS fear mongering issues have happened, and they have almost paid for themselves.
by dcre | 2025-08-09 15:20:49+00:00
Most likely the key here is web search. Later I will try the post’s example with gpt-5 with search. I would be surprised if it didn’t say the same thing.

From a product point of view, it seems clear that just as they have work to get the model to dynamically decide to use reasoning when it would help, they have to do the same with web search.
by alexey-salmin | 2025-08-09 15:20:53+00:00
It's not. Human body can't create energy out of nothing, but it can vary the consumption of energy in a wide range which is very similar in terms of externally observable effects.

It's a common story when people start to eat 20% less, continue the same lifestyle and lose exactly zero weight as the result. Their body didn't create 20% of energy out of nothing but it just started to waste less energy as body heat.
by charcircuit | 2025-08-09 15:21:15+00:00
>You are so entitled

That's how agreements work. If someone says they will sell a hamburger for $5, and another person pays $5 for a hamburger, then they are entitled to a hamburger.

>On a free service.

It's up to the owner to price the service. Being overwhelmed by traffic when there are no limits is not a problem limited only to free services.
by Someone1234 | 2025-08-09 15:21:26+00:00
Weight loss is linked with some loss of lean body mass, regardless of the method used. Intermittent fasting has been shown to match any other calorie deficit in terms of lean body mass loss, rather than more as you're implying.

Regardless of how you lose weight the advice is and remains:

> Eat a minimum of 0.36 grams of protein per day, per pound of LEAN* body weight. Increasing to 0.5-0.7 grams of protein per day, per pound of LEAN* body weight for older adults or when undergoing weight loss.

*LEAN is a vital detail for overweight people, they commonly miscalculate protein requirements due to this. The easiest way for overweight people to determine their requirement, is just find an "ideal body weight calculator" online, enter height and gender, and then multiply THAT figure by 0.5-0.7.

For example a man who is 6' tall and 400 lbs should eat 62 grams of protein per day MINIMUM, but during weight loss 86-120 grams of protein per day. It is common, unfortunately, to read online people in this situation miscalculate this to 280(!) grams of protein per day which is incorrect and harms their weight-loss goals.
by layer8 | 2025-08-09 15:21:27+00:00
The European Parliament elects the president of the European Commission, and has to approve the commissioners of the European Commission. The European Council, who proposes the president and appoints the commissioners, is a representation of the governments of the member states, which are democratically elected as well. By electing their governments and the European Parliament, the European citizens ultimately determine who controls the European Commission, as a form of representative democracy.
by the__alchemist | 2025-08-09 15:21:38+00:00
I have no idea what that's trying to do. A demonstration that rust is a large language with different dialects! A terse statement with multiple things I don't understand:

- Assigning a const conditionally? - Naming a const _ ? - () as a type? - Assigning a panic to a constant (or variable) ?

To me it might as well be:

fn main() { match let { if ()::<>unimplemented!() -> else; } }
by gls2ro | 2025-08-09 15:22:09+00:00
Usually the burden of proof is on the one who is making a positive claim like: AGI is here or even AGI is coming.

The default position that does not need any more justification is the one that is skeptic or even agnostic to the claim that is made until proof is shown.

So when talking about evidence as a way to prove a claim: AGI is coming is the team that needs to provide this evidence. Someone saying AGI is not coming can add as many arguments or opinions as they like but it does not usually invite to such a high scrutiny as saying they need to provide evidence.
by throwup238 | 2025-08-09 15:22:46+00:00
I’m not talking about SAP or Oracle databases or Matlab, but tools that are as fundamental to the application of computer science in industry as titration is to professional chemists.

There aren’t even that many of them: git, terminals and bash scripting, IDEs, and maybe a database. Vocational training would be stuff like managing VMs/cloud infrastructure, devops, testing, and so on that would be taught as dedicated classes.

The important thing is that these aren’t skills with a dedicated class but skills a student should pick up and masters across half a dozen classes with CS departments that coordinate their choice of tooling.
by jchw | 2025-08-09 15:22:47+00:00
> At that point, the onus is on the Wayland devs to justify why they are removing a feature found in every mainstream desktop OS.

You actually haven't come up with any good reason to justify this, you've just repeated it as fact for some reason. And what's weird is, there's no point in doing this. Like, I can understand doing this maybe earlier, when there was possibly a question if Wayland would succeed; at that point, the proponents, designeds and developers of Wayland and Wayland software had something to prove.

But guess what? It's over. There's no more fight for Wayland to prove itself. Wayland is, for now, here to stay. We are done with that part of things. Nothing will literally stop someone from using X.Org, anymore than you are stopped from doing anything with your own computer, but the Linux world is largely moving on. Application developers are largely moving on. Toolkit developers are largely moving on. Desktop environments are largely moving on. Distributions are largely moving on. And nobody in this process is losing immense sleep over wxWidgets or KiCAD not having complete parity because it's not a big deal. We genuinely have more important things to worry about.

So framing this fight with whatever basis you personally feel appropriate is a waste of my time and a waste of your time. If your best justification is 'everyone else was doing it in 1999', you can pipe it to /dev/null and save us all some time. We don't care.

So no, the onus is absolutely on you to justify this. You can't decide where the onus belongs because you're literally not in a position to do so, the Wayland project, for all of its faults, has largely succeeded and doesn't need to justify itself in this fashion anymore.

All modern desktop systems supported silently querying and setting the absolute position of the cursor... Before Wayland. Wayland became a modern desktop system that doesn't, so now not all modern desktop systems support that. And if a commercial vendor ever decides to design a new desktop system from scratch, you can bet all of the hairs on your ass it will have nearly the exact same limitations.
Show HN: Grid-table – Emacs grid table with rich text, images, formulas
by oliverchan2024 | 2025-08-09 15:22:50+00:00
grid-table is a general grid table component for Emacs, supporting rich text and image rendering, formula calculation, interactive editing, sorting, persistence, and plugin extension. It can be embedded in Org/Markdown as "static preview + active editing".
by svnt | 2025-08-09 15:23:17+00:00
This is trivially shown to be false.

Imagine a system with a background/quiescent energy consumption of 1000kCal/day.

Imagine that same system can buffer up to 500kCal for up to 24 hours store excess energy in circulation.

Imagine it converts excess energy to stored energy at an efficiency of 50%.

Assume activity correlates with marginal energy consumption but also increases in the presence of excess energy.

A system such as the one described would have very different behaviors during alternate day fasting (0kCal for 24hrs, 5000kCal for 24hrs) than consuming 2500kCal daily.

The human body is more complex than the system I just described, but it is a useful model to consider for this context.
by timmyc123 | 2025-08-09 15:23:44+00:00
I'd say:

1) That would be a whole lot of work, collusion, etc for a very limited scope and outcome, which makes it incredibly unlikely to happen in practice. 2) If a credential manager decides to do shady things that you don't like, you can change your credential manager. That's the beauty of an open ecosystem. 3) There are much easier ways to track users online...(unfortunately)
by eddythompson80 | 2025-08-09 15:23:57+00:00
No? Its about errgroup ctx being automatically cancelled once the group is done (in success or err). It kinda makes sense, and its documented. I understand how it can be surprising, but if you think about it for a second, it makes sense. The context created is meant to manage the lifecycle of the errgroup. Once the group is done, the ctx is done.
by Galanwe | 2025-08-09 15:24:40+00:00
There are a lot of these tools to somehow "fix the reproducibility crisis of notebooks".

Yet from my experience, you quickly learn to "restart kernel and run all" before sharing to make sure everything is good.

All but the most novice users get caught by the "out of order cells" trap, and those will

1) not use anything that adds complexity, because by definition they are novices

2) fall in any other trap on their way because anyway that's how you learn

Thus, IMHO, these flow tools are only seen as useful by _real devs with savior syndrome_, pushing dev solution to exploratory research users, and that will never catch on.
by byroot | 2025-08-09 15:25:17+00:00
> but why not let devs set `allow_duplicated_key: false` manually in contexts where it matters?

Because that wouldn't have prevented the issue I linked to.

Default settings are particularly important, because most of the gem's users have no idea that duplicated keys are even a concern.

JSON is used a lot to parse untrusted data, as such having strict and safe default is particularly valuable.

In your case the JSON documents are trusted, so I understand this change is of negative value for you, but I believe it has positive value overall when I account for all the users of the gem.

Additionally, even for the trusted configuration file or similar case, I believe most users would see it as valuable to not let duplicated keys unanswered, because duplicated keys are almost always a mistake and can be hard to track down.

e.g. a developer might have some `config.json` with:

{ "enabled": true, // many more keys, "enabled": false, }

And waste time figuring out why `JSON.parse(doc)["enabled"]` is `false` when they can see it's clearly `true` in their config.

So again, I understand you are/will be annoyed, because your use case isn't the majority one, but I'm trying to cater to lots of different users.

If going over your code to add the option is really too much churn for your low maintenance project, as I mention in the post, for such cases a totally OK solution is to monkey patch and move on:

require "json" module JSONAllowDuplicateKey def parse(doc, options = nil) options = { allow_duplicate_key: true }.merge(options || {}) super(doc, options) end end JSON.singleton_class.prepend(JSONAllowDuplicateKey)
by its-kostya | 2025-08-09 15:25:53+00:00
In retrospect, you're right. Though I quoted an exact quote from the article. Bootcamps prepare for entry level placements and it reports on how placements were 83% prior to GPT and 37% to first year post GPT. That backs up the "collapse" claim. However, "collapse" does suggest long-term instability which I agree is not justified, yet.
by Seb-C | 2025-08-09 15:26:05+00:00
Hallucinations are not a bug or an exception, but a feature. Everything outputted by LLMs is 100% made-up, with a heavy bias towards what has been fed to it at first (human written content).

The fundamental reason why it cannot be fixed is because the model does not know anything about the reality, there is simply no such concept here.

To make a "probability cutoff" you first need a probability about what the reality/facts/truth is, and we have no such reliable and absolute data (and probably never will).
by mnky9800n | 2025-08-09 15:26:49+00:00
I write out a document that explains what I want. Then I write stubs for the functions and classes or whatever. Every stub I write a docstring for what it’s supposed to do. Then I have Claude write unit tests for each stub one at a time. Then I have it write the functions one at a time. At some point I should just start writing the codes itself again. Haha.
by alexey-salmin | 2025-08-09 15:27:03+00:00
You can try long-distance running. 100km a week allows you to indulge extra 5000-8000k calories.

I also enjoy food and always ate a lot (like 2 meals at lunch), and I was thin all the way up to 30 thanks to fast metabolism I guess. If I didn't start running 5 years ago my choice would be between severe cuts to my diet or obesity.
by rolisz | 2025-08-09 15:27:11+00:00
Unfortunately calories out is a function of calories in.

You eat less calories, your body might start consuming less calories.

Also, there are two different pathways for using glucose in the body: aerobic and anaerobic. The aerobic one produces 15x more ATP (cellular level energy) than the anaerobic one. The anaerobic one wastes more as heat. So if for some reason you're in the second one, even though you ingest the same amount of calories, the amount of energy you have usable is much less.

So yeah, calories in calories out is true, but it's not really helpful.
by _the_inflator | 2025-08-09 15:27:24+00:00
Yep. I really see them as an architecture blueprint with a reference implementation and not so much as a one size fits all app.

I stumbled upon Jan.ai a couple of months ago when I was considering a similar app approach. I was curious because Jan.ai went way beyond what I considered to be limitations.

I haven’t tried Jan.ai yet, I see it as an implementation not a solution.