MurphyA/hacker-news huggingface dataset:
by tapirl | 2025-07-08 08:00:25+00:00
> This idea proves to be surprisingly powerful when it comes to expressing constraints on generic functions and types.

Disagree. IMHO, this idea is the root cause of why Go generics is so complicate but also restrictive at the same time. And it introduces significant challenges in implementation and design: https://go101.org/generics/888-the-status-quo-of-go-custom-g...
by stavros | 2025-07-08 08:01:51+00:00
I'm the same, but from the other side. I learned to code clients/bots that would play the MUD. I had a fantastic fighting script, that basically fought optimally, one that used two characters at the same time to solve some complicated maze, and I even wrote a headless bot runner that was compatible with the files of the MUD client I used.

It was all great fun, and I also owe my extensive regex experience to it.
by physicsguy | 2025-07-08 08:02:29+00:00
The kid was the son of Ayman Alyazouri, who yes is a Hamas minor official, but the thing was that the documentary makers knew that and hid it from the BBC who commissioned the documentary by pretending he had a different surname. The documentary showed the boy's "father" but it was actually his uncle. The kid's grandad, Ibrahim al-Yazouri, was one of the founding members of Hamas.

They translated the documentary's participants use of the word Yehud i.e. Jew into 'Israeli'. One of the cameramen Amjad Al Fayoumi (who effectively directed it, since the 'directors' were based in the UK) had posted on Facebook support about the 7th October terrorist attacks that kicked all of this off.

The problem is that the BBC and other media producers need to be squeaky clean when doing reporting on this, on both sides. It's not even like this was a quick news broadcast where accuracy needed to be checked, it was commissioned well in advance, they followed the boy around for months.
by junon | 2025-07-08 08:02:53+00:00
None of this has to do with the complexity of macros.

And no, sorry, the complexity of C++ templates far outweighs anything in Rust's macros. Templates are a turing complete extension of the type system. They are not macros or anything like it.

Rust macro rules are token-to-token transformers. Nothing more. They're also sanitary, meaning they MUST form valid syntax and don't change the semantics in weird ways like C macros can.

Proc-macros are self-standing crates with a special library type in the crate manifest indicating as such, and while they're not "sanitary" like macros rules, they're still just token to token transformers that happen to run Rust code.

Both are useful, both have their place, and only proc macros have a slight developer experience annoyance with having to expand to find syntax errors (usually not a problem though).
by chrismatheson | 2025-07-08 08:03:04+00:00
>The reason I chose to make Danish Names a paid app from the beginning was simply that I think it's a lot more honest and upfront to charge a small one-time fee before the download, as opposed to claiming your app is free and then charging a high fee or even a subscription inside the app. There's an honesty and straight-forwardness to paid apps that I like: You pay once, and then you don't get bothered with requests for paid upgrades when you're using the app.

The resonated with me. I'm trying to get my own app from 80% to 95% so I can release and ill be going the upfront cost route for these say reasons.
by mike_hearn | 2025-07-08 08:03:12+00:00
Hi! :)

Astral's work is great but I wonder how they plan to become sustainable. Maybe it's one of those VC plays where they don't intend to ever really make money and it's essentially a productivity subsidy for the other startups.

My experience has been that most apps are bottlenecked on CPU outside of themselves during CI. Either in JIT runtimes, databases, browsers, or libraries they invoke. I guess now maybe models too. So implementation language won't necessarily make a huge difference to this - we need fresh ideas for how to make order of magnitude improvements here. They will probably vary between ecosystems.
by ykonstant | 2025-07-08 08:06:19+00:00
Lean is actually pretty easy to learn and code in; also, if you are not interested in extreme performance, it is pretty much ready for basic applications (not sure about async and co.).

The problem is that you want to be doing all your coding monadically (so that it looks like the familiar imperative style), and I think there are still many problems about doing proofs on monadic code.
by deadfoxygrandpa | 2025-07-08 08:06:53+00:00
you're just not familiar with it. like when you ask what "a <&>" means, well this code is literally defining what it means. it means whatever comes after the equals sign

in fact the example you picked is trivially simple even if you dont really know the syntax. all you need to do is not rage out and stop thinking. it's literally saying that "as <&> f" is equal to "f <$> as". so you dont even need to know what <$> is, its extremely straightforward that <&> is just flipping the order of the arguments to <$>

also if you read the type signature then there really arent many possible things this function could do. you start with a Functor a and a function that maps from a to b, and you end up with a Functor b. there's really only one possible implementation of that (applying the function (a -> b) to the a in Functor a)

like im curious, what would you even name these things to make it clearer? it's so abstract in generic in the very concept of it that it's hard to come up with any more specific naming

Functor functor => functor someType -> (someType -> someOtherType) -> functor someOtherType

is that better?
by alex-moon | 2025-07-08 08:07:38+00:00
Here's the thing: I don't think ChatGPT per se was the impetus to develop this new feature. The impetus was learning that your customers desire it. ChatGPT is operating as the kind of "market research" tool here, albeit it in a really unusual, inverted way. That said, if someone could develop a market research tool that worked this way, i.e. users went to it instead of you have to use it to go to users, I can see it making quite a packet.
by hjrnunes | 2025-07-08 08:08:24+00:00
People should really check Isaac Moreno's Youtube channel.

https://www.youtube.com/@IsaacMorenoGallo/videos

Isaac is a civil engineer that worked for the Spanish road service and amateur historian.

He routinely refers to GIS techniques in his videos and work to uncover the routes of both Roman roads and aqueducts in Spain.

He is involved with a state-sponsored website for the Roman road layout in the province Castilla-León:

https://www.viasromanas.net

He consulted on and presented a documentary series on Roman engineering for the Spanish public TV, RTE:

https://www.youtube.com/playlist?list=PLRMFqXMPhK3OtGKkveDC9...

You can check his website for all his scholarly work (papers, etc):

https://www.traianvs.net/vias-romanas/
by veiviseren | 2025-07-08 08:08:38+00:00
I coded for/built/scripted dozens of MUDs in my teens, the Two Towers the first one I played, possibly visited hundreds of these servers around the time my peers were on WoW, my first builder role was writing emote string patterns and room descriptions for the cooling tanks of a space station in a Star Wars MUD and I learned about OOP implementing a mob, combat, pathfinding, and crafting systems atop a python 2.4 engine my classmate gave me on a CD rom

out of the all the MUDs from that era I think the most noteworthy was Assault, which was a Merc derivative mod with a top down map for real time strategy base defense, active around 2006 then disappeared into obscurity, and very wild in a pre-Dwarf Fortress era
by chrismorgan | 2025-07-08 08:08:50+00:00
> they are right or mostly right most of the time

It’s times like this when I wonder if we’re even using the same tools. Maybe it’s because I only even try to actively use them when I expect failure and am curious how it will be (occasionally it just decides to interpose itself on a normal search result, and I’m including those cases in my results) but my success rate with DuckDuckGo Assist (GPT-4o) is… maybe 10% of the time success but the first few search results gave the answer anyway, 30% obviously stupidly wrong answer (and some of the time the first couple of results actually had the answer, but it messed it up), 60% plausible but wrong answer. I have literally never had something I would consider an insightful answer to the sorts of things I might search the web for. Not once. I just find it ludicrously bad, for something so popular. Yet somehow lots of people sing their praises and clearly have a better result than me, and that sometimes baffles, sometimes alarms me. Baffles—they must be using it completely differently from me. Alarms—or are they just failing to notice errors?

(I also sometimes enjoy running things like llama3.2 locally, but that’s just playing with it, and it’s small enough that I don’t expect it to be any good at these sorts of things. For some sorts of tasks like exploring word connections when I just can’t quite remember a word, or some more mechanical things, they can be handy. But for search-style questions, using models like GPT-4o, how do I get such consistently useless or pernicious results from them!?)
by theodric | 2025-07-08 08:11:03+00:00
Well, I disagree!

Many countries in Europe are now restricting access to cities to exclude even what would be considered relatively new vehicles. For example, Amsterdam's plan includes a transition to a zero-emission city center by 2030, and is already at Euro 4 emissions, affecting many vehicles from the 2000s. Germany's cities are also well ahead on emissions restrictions, as is Paris. No classic for you! I think only one of my cars would be allowed to operate in much of the Randstad today, but thankfully I don't live or work there anymore.

Meanwhile PDP-8 systems like mine are selling for in excess of €6k these days, and someone recently paid €1750 for a NeXTstation Turbo Color like mine, to say nothing of the other 20+ 60s, 70s, and 80s systems in my collection. I regularly remind my wife: if I drop dead unexpectedly, SELL that stuff, don't junk it or give it away.

A random 1950s-1970s car in serviceable driving condition can be had for a few grand around here, but Millennials having kids, nostalgia, and money all at the same time, not to mention COVID madness, has shot old computer prices through the roof. I expect that market will crater when they put us in the ground, much as the vintage car market is coming down a bit as we lose Boomers without gaining as many younger people interested in old cars. Populations moving to cities means that parking your vanity car (if classics are even allowed) in addition to your commuter would represent a significant uplift in ongoing expense, which will probably help to keep that market depressed.
by maeil | 2025-07-08 08:13:36+00:00
> However, 1 death = 1 coverage is clearly not how anyone expect the media should operate.

In armed conflict far away from the country in question, comparatively for each side, yes, both sides' deaths getting similar coverage is how one should expect the media to operate.

If Chile and Peru get into a war tomorrow, the expectation would absolutely be that coverage of deaths by the BBC would be similar for both.

>How many people die in civil wars in Sudan or Congo, compared to how much coverage are they getting?

The obvious key difference here is that in those wars both sides of those conflicts do still tend to get similar coverage per death; which is almost none. At the very least there's not orders of magnitudes difference. Not sure how you missed this, but it doesn't inspire much confidence.

> Would it be biased if BBC ran more pieces about the sad plight of Ukrainian soldiers compared to Russian soldiers?

No, as Russia is a reasonable threat to the UK whereas Hamas is clearly not.
by coldtea | 2025-07-08 08:14:15+00:00
>The sheer complexity far outpaces that of C++

Not even close. Rust Macros vs C++ templates is more like "Checkers" vs "3D-chess while blindfolded".

>Rust doesn't seem worthwhile to learn, as in a few years time C++ will get memory safety proper

C++ getting "memory safety proper" is just adding to the problem that's C++.

It being a pile of concepts, and features, and incompatible ideas and apis.
by josephg | 2025-07-08 08:14:54+00:00
I disagree. I think the current behaviour is surprising. The first time I ran into this problem, I spent half an hour trying to figure out what was wrong with my code - before eventually realising its a known problem in the language. What a waste of time.

The language & compiler should be unsurprising. If you have language feature A, and language feature B, if you combine them you should get A+B in the most obvious way. There shouldn't be weird extra constraints & gotchas that you trip over.
by teroshan | 2025-07-08 08:15:48+00:00
As someone that never touched a MUD (but plenty of ASCII roguelikes), I see that MUD clients are recommended [1] to be used.

Any other clients I should be looking at, for this particular MUD but also others? Are they generic enough to be used with multiple games?

[1] https://t2tmud.org/clients.php
by dunyakirkali | 2025-07-08 08:16:13+00:00
Most disciplines have a standardized material to work with. Wood for carpenters. Numbers for mathematicians. Sound for musicians. For managers, the material is people. And people don't follow neat abstractions.

You can’t "standardize" your way through managing humans. Tools like DISC and MBTI can help you get started but they're maps, not the terrain. Real management starts where generalizations end: in the moment, with a person in front of you who may defy your assumptions.

What worked for one engineer last month might fall flat with another today. That's why growing as a manager isn’t about memorizing more frameworks. It’s about exposure: seeing more real situations, having more real conversations, and learning from how others handle complexity.
by loktarogar | 2025-07-08 08:16:22+00:00
So the issues are:

* Your team were reluctant to use this AI tool, yet did so because you put effort into getting them to

* Anthropic was preventing you from using/signing up(?) and they were using this prevention to manage their load, which was apparently too high

* Your team, already not really wanting to use it, didn't use it because of a 1-time hurdle

* You are out money because of this

Is that the summary?
by Bluestein | 2025-07-08 08:17:11+00:00
You're pointing out something a lot of people feel but don’t always say out loud — ChatGPT just isn’t built for organizing or managing writing over time. It’s great for brainstorming, writing help, or getting ideas down fast, but once you’ve had a few long conversations, everything starts to blur together. Students end up with dozens or even hundreds of chats, none of which are easy to search, organize, or return to later. It’s like having a giant pile of sticky notes and no folders. Some try to deal with it by copying everything into Google Docs or Notion, but that gets messy fast, especially when it’s done after the fact and without much structure.-

The core issue is that ChatGPT treats each conversation like a throwaway. Even if the content is valuable, it’s not saved like a document — there’s no real sense of “this is my project on climate change” or “this is the story I’m working on.” It’s just one long chat thread, and everything lives in a running timeline. You can rename a chat, sure, but that doesn’t make it feel like a proper file. There’s no version history, no folders, no tags, and no way to mark drafts or track progress. So students end up scrolling endlessly, trying to remember where they talked about that one idea or how they phrased something two weeks ago.-

Some of them are getting creative with workarounds. They paste stuff into apps like Notion or Docs, or save the shareable ChatGPT links in bookmarks or files, but even then it’s easy to lose track. And sometimes those links break or just vanish from memory. It’s frustrating because the content is often really useful — but there’s no good system for keeping it organized.-

What would really help is if ChatGPT had a proper “document mode.” or Artifacts like Anthropoc has. Something where you could start a new piece of writing, name it, organize it into sections, come back to it later, and keep working on it like a real file. You could still get AI help inside the doc, but it would feel more like working in a word processor than chatting in a messaging app. Until that happens, the best move is probably to treat ChatGPT as the rough draft stage and move things into a better tool once the ideas are solid. Asking it to clean up or summarize a full session before copying it out can help a lot too. But yeah — it’s time tools like this started working more like long-term writing partners and less like disposable chat threads.-
by ivankelly | 2025-07-08 08:17:46+00:00
> At the time of Jurassic Park’s release, the meteor as the cause for the dino-extinction was still a nascent theory and more than a decade out from being cemented as fact.

This assumed me. Like many people who were interested in dinosaurs, the interest didn't last much past by early teens, so the "nobody knows for sure, maybe meteor" reason for their disappearance was the accepted explanation until something triggered me to look a 2 or 3 years ago and see that the science had changed.
by maeil | 2025-07-08 08:18:43+00:00
"Not chipping in" is very different from "Award ceremony set to honor novel by Palestinian author at the Frankfurt Book Fair canceled “due to the war in Israel," and unwavering support. "Not chipping in" implies neutrality.

> Whatever we as Germans say on Israel/Palestine will be taken the wrong way by someone. Critical of Israel? Still an antisemite! Supportive of Israel? Pathological guilt!

Do you think this does not apply to others? Especially the antisemite thing is extremely commonplace in the US and UK.

If Germany had learnt, then yes, they would be voicing strong opinions. That's the thing - fine, do whatever you want, but don't claim to have learnt.
by josephg | 2025-07-08 08:19:28+00:00
But this issue makes it confusing & surprising when an automatically derived clone is sufficient and when its not. Its a silly extra rule that you have to memorise.

By the way, this issue also affects all of the other derivable traits in std - including PartialEq, Debug and others. Manually deriving all this stuff - especially Debug - is needless pain. Especially as your structs change and you need to (or forget to) maintain all this stuff.

Elegant software is measured in the number of lines of code you didn't need to write.
by coldtea | 2025-07-08 08:20:21+00:00
The United States is the second largest honey consumer behind China according to the latest data available from the United Nations Food and Agriculture Organization (FAO) in 2019. In 2021, consumption increased 8 percent from the previous year. Between 1991 to 2021, the average rate of growth is 10.7 million pounds per year. This translates to about 1.9 pounds per capita of honey consumption in 2021 compared with 1.2 pounds per capita in the early 1990s.
by asaddhamani | 2025-07-08 08:21:27+00:00
DeepInfra is amazing in terms of price, like really, they have the Qwen3 embedding model for $0.002 per mn tokens. That's an order of magnitude cheaper than most alternatives with better benchmark scores. But the performance P99 is slow and the variance is huge. For latency sensitive workloads it's problematic, if they can fix that it'll be a no-brainer to use them. DeepInfra does tend to have the lowest prices of any API provider.
by interloxia | 2025-07-08 08:21:54+00:00
I know very little about ink, but I'm a little surprised, especially for something marked as archival.

My only point of comparison is an etching which is a few hundred years old. The ink has no obvious signs of fading. It had some light restoration about forty years ago but we usually have it on display, at least in my life time.

When I've seen other prints of the same etching in galleries, they are usually in the same or slightly worse condition despite, probably, being kept much more carefully.
by sudhirmangla | 2025-07-08 08:23:00+00:00
Really solid breakdown of how monolithic frontends become a mess as apps grow, and how micro-frontends help untangle them. The part on Module Federation in Webpack 5 was spot-on—sharing code across independent apps is a real boost for flexibility. I liked the emphasis on thoughtful planning of the shell and remotes; it's not just about splitting things, but doing it smartly. Also appreciated the tech-agnostic angle—React, Angular, whatever fits. A great read for anyone scaling frontend architecture.
by 6510 | 2025-07-08 08:23:22+00:00
I chat with a successful app dev one time long ago. His formula is rather simple. If it takes time to develop the app don't do it. In stead publish 10-20 apps in a day. Hire some people on the cheap to search and organize data. Even after a long time his idea what might be successful and what probably wont be is way off.

Ideas are like, an app that is just a list of some kind. Ill make up an example: An app that has searchable list of cities in Denmark with a typical picture for each. Here you could allow the user to write a note with each entry or allow sorting by distance from- but it is more effective to move on to the next "app". You make 20 country apps like that, non of them get any downloads except from one country that gets 10 per month/120 per year. That makes it a productive day.
by herbst | 2025-07-08 08:25:06+00:00
In the end of my school time we had those online live word processor (etherpad) where everyone could write on the same document at the same time.

Our notes of that time are amazing and flawless and better than the teaching material itself.

Teachers didn't like it as it benefited those that didn't listen at all, but for those of us who cared this was a major productivity boost.

Imagining an AI as additional user is crazy.
by dotancohen | 2025-07-08 08:25:38+00:00
> I don't have to spend my time carefully tracking down the bugs GPT-4 has cunningly concealed in its code

If anyone is stuck in this situation, give me a holler. My Gmail username is the same as my HN username. I've always been the one to hunt down my coworkers' bugs, and I think I'm the only person on the planet will finds it enjoyable to find ChatGPT'S oversights and sometimes seemingly malicious intent.

I'll charge you, don't get me wrong, but I'll save you time, money, and frustration. And future bug reports and security issues.
by SoominH | 2025-07-08 08:26:48+00:00
I’ve been thinking about this a lot lately too — if I ever lost my phone one day, how would I even prove who I am? Smartphones are brilliant little 200g devices, but they’re also ridiculously easy to lose.

life_link sounds like a lifesaver in that kind of situation. I haven’t had to use something like this yet (and I hope I never have to), but just knowing it exists gives me the same kind of peace of mind as insurance.
by jesus_666 | 2025-07-08 08:26:58+00:00
In my experience, fintech companies (including ones that either belong to or own a bank) follow one of two playbooks:

- Issue high-powered laptops that the developers work on directly, then install so many security suites that Visual Studio takes three minutes to launch. The tech stack is too crusty and convoluted to move to anything else like developer VMs without major breakage. - Rely 100% on Entra ID to protect a tech stack that's either 100% Azure or 99% Azure with the remaining 1% being Citrix. You can dial in with anything that can run a Citrix client or a browser modern enough to run the AVD web client. If they could somehow move the client hardware to the Azure cloud, they would.

I don't really associate fintech with a modern, well-implemented tech stack. Well, I suppose moving everything to the cloud is modern but that doesn't mean it's particularly well done.