MurphyA/hacker-news huggingface dataset:
by 9dev | 2025-07-08 11:00:28+00:00
I still have flashbacks from working with the pthreads extension, which caused extremely hard to debug, non-reproducible segfaults sometimes; I realise Joe has probably started from scratch and improved a lot on that (and I know he's a generally awesome guy), but without a properly financed maintainer team to support him, I'm not sure I want to take that risk again before parallel has gained some maturity.
by zelphirkalt | 2025-07-08 11:01:32+00:00
That's in no way lightweight though, and most languages can easily do the same. Just launch multiple instances/VMs/processes. That's having multiple separate OS processes, each having everything that is needed to run PHP, and having no way to communicate with each other, other than what you implement. No channels, no task distribution, no queue on which to sync and take tasks from, no signaling of all processes being done and then accumulating the results. That is why you then need something like RabbitMQ or other things, and it does not mitigate the heaviness of the approach.

It is kinda funny, that you mention RabbitMQ, which is written in Erlang, which is famous for its lightweight processes. But also compare the approach with thread pools built into the standard libraries in other languages. And even many of those are heavy weight compared to Erlang's lightweight processes.
by meindnoch | 2025-07-08 11:01:57+00:00
Yeah, and their infant mortality is on par with Sub-Saharan Africa.

"The second most common prelacteal feed is honey, a delicious natural sweetener. Numerous studies [29,30] have shown that the ingestion of honey under one year of age is linked with infant botulism, a disease that results in a blockade of voluntary motor and autonomic functions. Apart from this, other prelacteal feeds get contaminated due to unhygienic environment, especially in rural India and in urban slums, resulting in infantile diarrhea. Thus, a wide range of prelacteal feeds and the introduction of early supplements result in recurrent diarrhea with multiple illness finally ending lives because of inaccessibility and unaffordibility of treatment and delayed or inappropriate care seeking behavior."

Rohini Ghosh - Child mortality in India: a complex situation (https://doi.org/10.1007/s12519-012-0331-y)

The paper lists a bunch of other traditional practices that have deleterious effects on the infants' health, such as putting unsanitary herbal concoctions on the babies navel while it's still healing, etc.
by dinfinity | 2025-07-08 11:02:38+00:00
I agree that the main limitations are going to be in hardware.

An important question however is "how many sensors do you really need?"

Remember that humans have a lot of requirements just to not die. Robots don't have to care about being bit by insects, eaten by predators, or getting cuts in their skin that get infected. Getting damaged in any way just isn't that big of a concern. Ad a result, there is just a lot of robot 'skin' that doesn't need touch (etc.) sensing at all.

For the parts where it does matter, it's undoubtedly going to be the case that we can get 80% of the way there with 20% of the sensory information. Additionally, robots are not limited by the glacial speed of signals through nerves (100m/s max), but can leverage all other sensors and associated computation to compensate for 'missing' information.

Still, there's going to be a lot gained with good robot 'skin'.
by metalman | 2025-07-08 11:02:48+00:00
No.These types of things are unavoidable. The full risk profile of our planet is immpossible to determine. Should some great portion of the risk profile be determined, it will cover essentialy everywhere. Even reducing it to stuff with a fractional percentage of a disaster per year will be forbiding. And there is absolutly no way to impliment a country wide action and response network that does not end up running everything through the all powerfull department of saftey, which is politicaly and practicaly immpossible.

bottom land is always, flat, near water, productive, with many other resources on the hills and in the river, and then occasionaly, a trap

Just telling people not to live on fucking flood plains, goes nowhere......it is a perenial recuring problem that is so common and ancient that it has been recognised by archiologists, that humans have exploited the resources in river valleys, built there settlements, and then denuded all of the vegitation, and then blam, a flood, and there settlement gets instantly burried, bad for then, awsome for archiologists who find all there stuff, in water logged soil, interesting organic artifacts are often in "perfect" condition.
by immibis | 2025-07-08 11:04:09+00:00
Computers are imperative. With imperative programming you can get better performance than with pure functional. (Using pure functional to wrap an imperative core still counts as imperative)

Maybe you don't care about performance; IMO squeezing performance is one of the important applications for formal verification, as you can prove your fast insane algorithm is correct, whereas the slow obvious one is obviously correct.

If your main concern is clarity, some things are clearer when written imperatively and some when written functionally.
by mhuffman | 2025-07-08 11:04:09+00:00
>Review flood of AI gen slop is going to burn out many teachers as it does with programmers hit by PR floods from juniors.

No problem! There is an AI solution for that!

>I worry how these who love to write will get thru the system?

Eventually, I think very poorly. For now it seems that a lot of teachers can kind of tell who has used AI and who hasn't and seem to reward "old school" writers. But the future of communication, in general, seems grim.
by shakna | 2025-07-08 11:04:25+00:00
It really doesn't.

a) GDPR has an exemption for court orders. Which this is. (All court orders are legitimate reason).

b) GDPR says you can't log private data. Which they were. (You can only log legitimate interests, contractual obligations, legal compliance, or consent.)

Again - this is logs, this is not your average user data. This is not their database. This is not the historical chats of their users. This is just... The... Access... Logs.
by iwontberude | 2025-07-08 11:05:06+00:00
I don’t find interacting with AI in this way rewarding at all. I don’t trust it because it lies constantly, why would I want even more work to validate my learning material? I don’t get the point of getting things done poorly and then having to clean it up. Just do it yourself and get good results? Or maybe that’s just not realistic to expect of people anymore.
by sjsdaiuasgdia | 2025-07-08 11:05:40+00:00
It's all interconnected. Getting grabbed by a gang of masked thugs is terrifying because you have no idea what is going to happen to you.

When you're grabbed by uniformed officers who identify themselves, you have some foreknowledge of the process you're entering into. The process is not perfect and it can still harm you greatly, but there's rules and at least some of them are likely to be followed. There's accountability, and that accountability gives you some assurance.

You can't make those assumptions about a gang of masked thugs.
by aa-jv | 2025-07-08 11:05:44+00:00
I don't agree with you at all that 'it sucks'. I think it makes perfect sense and works as intended.

Plus, we're talking about POSIX here. You don't have a time machine. Shall we argue about just how much POSIX software is out there, working perfectly fine with this technique?

Sure, in New Fangled Language De Jour™, return as many tuples as your heart desires.

But don't expect POSIX to play along ..
by floitsch | 2025-07-08 11:06:38+00:00
A similar project: https://toitlang.org (or https://toit.io).

Currently it's only targeting the ESP32 family, but the code is pretty portable. By default, it probably also needs more resources due to OS-like abstractions, allowing for multiple containers to run on parallel, etc. Obviously that also brings some nice advantages. For example, installing or updating, a new container is just a few lines of code.

We have been working on it for more than 5 years now, and it's definitely at a stage where lots of projects would benefit from it.
by zelphirkalt | 2025-07-08 11:08:28+00:00
This means, that most likely the keyword will not be "yield". PHP is not known for keeping a low number of keywords. Rather they introduce new ones, to tack on things to the language, like one can see in the implementation of anonymous functions, where one needs to use "use" explicitly, instead of the language having the semantics that most other languages have for lambdas. Which immediately turns in to a source for nullability errors.
by lerno | 2025-07-08 11:08:46+00:00
C3 is a C-like programming language seeking to evolve from C.

The 0.7.3 release doesn't have any major changes, but ends up with some gradual improvements such as:

- type / typeid equivalence: it's possible to use a constant typeid instead of type in a lot more places now, requiring fewer typeid -> type conversions, which improves readability.

- $evaltype which turned a string into a type now merged into $typefrom which is the one that turns a typeid into a type.

- Type inference through && (taking a reference to a temporary), allowing Foo* f = &&{ 1, 2 }.

- Compile time "sprintf" for formating strings at compile time.

- Arithmetic operator overloading now accepts macros with untyped "wildcard" arguments.

The full change list can be found in the article.

Some other links that might be interesting follows:

- https://news.ycombinator.com/item?id=24108980

- https://news.ycombinator.com/item?id=27876570

- https://news.ycombinator.com/item?id=32005678

Here are some interviews on C3:

- https://www.youtube.com/watch?v=UC8VDRJqXfc

- https://www.youtube.com/watch?v=9rS8MVZH-vA

Here is a series doing various tasks in C3:

- https://ebn.codeberg.page/programming/c3/c3-file-io/

Some projects:

- Gameboy emulator https://github.com/OdnetninI/Gameboy-Emulator/

- RISCV Bare metal Hello World: https://www.youtube.com/watch?v=0iAJxx6Ok4E

- "Depths of Daemonheim" roguelike https://github.com/TechnicalFowl/7DRL-2025

For more projects written in C3, look at: https://github.com/c3lang/c3-showcase
by joshstrange | 2025-07-08 11:09:06+00:00
Apple does not offer trials for paid upfront apps but they do offer trials for subscriptions.

Also I’ve seen developers do things like X searches for free (either one time or per month/week/day) then you have to subscribe or pay a one-time unlock fee.

CallSheet (an IMDB replacement) does this and it’s nice to be able to try out the app a few times before you decide if it’s worth the $12/yr or whatever it costs.
by belorn | 2025-07-08 11:10:23+00:00
The wast majority of piracy are not literal copies. Movies and music get constantly transformed into different sizes and scales, with the majority using lossy transformations that changes the work. A movie taken as raw format and transformed into 144p has far less than 1% of the original work, and is barely recognizable. Copyright law seems to recognize that as infringement.

Most AI seems much better at reproducing a semi-identical copies of an original work than existing video/audio encoders.
by stared | 2025-07-08 11:12:06+00:00
From what I see, this person loves structured research. I guess if he were on fire, he wouldn't notice, before there is a peer-reviewed research on that. (You can extrapolate.)

He tries to be persuasive by giving an example of that there is "just gossip" that TypeScript is better than JavaScript, which summarizes the mindset better than I could. (God bless his codebase.)

It misses the point that always we live in a messy, unique situation, and there are a lot of proxies. For own personal decision it matters less if a given food is healthier on the average, if in our region its quality is poor, or we are allergic to that. Willing or not, we experiment every waking second. It is up to us, if we learn from that.

Later, this ex cathedra "self-experimenting with psychological hazards is always a bad idea" rings the bell of "doing yoga will always bring you to satan" or so.

(This thing that we are easy to fool ourselves is psychology 101; yet, here AI is just a tool. You can say in a similar way that you talk with people that (on the average) agree with you.)

But, ironically - he might be right. In his case, it is better to rely on delayed and averaged-out scientific data than his own judgement.
by stealthr | 2025-07-08 11:12:15+00:00
the issue is hiring processes do not verify what is on resume. ppl lie about even their education/degrees and what school they went talk less the company they worked at. Most people know companies do not verify any of those and background checks are usually about real name and criminal records only; they do not check employment history and education history. Hint, start a company that does this and become the next unicorn overnight and help companies verify these right before offer stage. Good luck!!!
by chrismorgan | 2025-07-08 11:13:20+00:00
A few days ago I tried something along the “how do I do X in FFmpeg” lines, but something on the web platform, I don’t remember what. Maybe something to do with XPath, or maybe something comparatively new (3–5y) in JS-land with CSS connections. It was something where there was a clear correct answer, no research or synthesis required, I was just blanking on the term, or something like that. (Frustratingly, I can’t remember exactly what it was.) Allegedly using two of the search results, one of which was correct and one of which was just completely inapplicable, it gave a third answer which sounded plausible but was a total figment.

It’s definitely often good at finding the relevant place in the docs, but painfully frequently it’s stupendously bad, declaring in tone authoritative how it snatched defeat from the jaws of victory.

The startlingly variety of people’s experiences, and its marked bimodal distribution, has been observed and remarked upon before. And it’s honestly quite disturbing, because they’re frequently incompatible enough to suggest that at least one of the two perspectives is mostly wrong.
by blobfish01 | 2025-07-08 11:14:15+00:00
I am jealous. I ran UG(sorry will always be UG to me) for 15 years and didn't ever experience it in 3D. I did immediately fall in love with the spaceballs/3d controllers. I added the initial 3d controller support in FreeCAD years ago. If you are spaceball curious: https://spacemice.org/index.php?title=Gallery
by vintagedave | 2025-07-08 11:14:35+00:00
This is a lot for someone to wade through, especially non-American. I dislike those HN posts with AI content, but I did ask an AI to summarise and explain (culturally and geographically) what I was reading. Maybe it will help others.

https://chatgpt.com/share/686cfd32-f578-800e-997b-1fbee9c185...
Show HN: ELO leaderboard for applicants – AI ranks CVs and does phone screens
by ShamilDibirov | 2025-07-08 11:18:12+00:00
Hi HN,

I’m a solo founder building vkncy.com – an AI-powered ATS that does resume screening and phone interviews, and ranks candidates on an ELO-style leaderboard.

I’m looking for 2–3 early users (startup founders or hiring managers) to go through the full flow with me. I’ll personally onboard you and set everything up.

What makes it different: - Resume Screening AI: Instead of basic keyword matching, vkncy compares every new applicant to previous ones using an ELO-style ranking system. In result it gives you a live leaderboard of top candidates, constantly evolving. - Phone Interviews: The AI calls applicants with your custom questions, records & transcribes answers.

What’s the deal? - 1 job post - Unlimited resume screening - 1 free AI phone screen

If you're hiring or curious about AI for recruitment, I’d love to get your feedback.

Contact: - Email: shamil@vkncy.com - Telegram: @shamildibirov

Thanks for reading!=)
by saagarjha | 2025-07-08 11:18:17+00:00
It sucks because people miss error codes, or they overwrite them, or misunderstand what they mean. You read the blog post right? That’s what I’m talking about. I deal with that all the time (maybe more than the average person, to be fair, but still it’s a lot).

I don’t really blame the people in 1970 for coming up with this design but it’s 2025 now; we can agree that it has problems. Tape recorders were also a neat idea but I can record a thousand times more on my phone now, often at higher quality. By modern standards, they suck.
by amelius | 2025-07-08 11:18:37+00:00
Points I thought were interesting:

> Apple’s model is built on top of Qwen2.5‑7B, an open-source foundation model from Alibaba. Alibaba first fine-tuned that model for better code generation (as Qwen2.5‑Coder‑7B), then Apple took it and made its own adjustments.

> it still doesn’t quite reach the level of GPT-4 or Gemini Diffusion.
by animuchan | 2025-07-08 11:20:10+00:00
Absolutely, when stuff runs fast it's better UX compared to when the stuff runs slow.

I think what parent comments suggest is, the speed of applying a diff is not the major bottleneck in LLM-assisted coding, and improvements in other aspects are much more desirable (e.g. correctness, or even speed of thinking models themselves).

In a world where diff application is a real pain point, it's likely one of the last pain points in the field.
by jaakl | 2025-07-08 11:22:37+00:00
ASCII tabulature was not invented by ChatGPT, it is decades old thing. It is easier to write with basic computer capabilities, and also read for ChatGPT (and humans with no formal music education), so it is probably even more prominent in the Internet than "standard graphical notation". So it quite expected that LLMs have learned a lot of that.
by britojosepha | 2025-07-08 11:22:47+00:00
Hey HN! I built an app for customizable rowing & running workouts that guide you over any other audio or video apps.

Problem - Guided workouts force you to listen to their music or have no way to adjust how much the instructor speaks.

Solution - Trellis allows you to toggle “Alerts Only” mode for only essential instructions and change the workout length while you play any music, shows or podcast.

Since we're still early, I'd love to get your feedback on the app and thoughts on guided workouts in general!
by chongli | 2025-07-08 11:22:53+00:00
would do 80%+ of what human beings use computers for.

Outside of the internet.

The internet is what 80% of people use computers for. They probably spend more than 80% of their computing time on it.

Furthermore, for business use you need to run the latest Office 365 applications. While an SE/30 could probably give a modern computer a run for its money at actual productivity, it’s not going to cut IT compatibility-wise. Plus there’s the whole PDF issue.
Ask HN: What are you building this week?
by miletus | 2025-07-08 11:23:05+00:00
Would love to see what everyone’s cooking up lately.

Drop your project in this format (optional):

What it does

Status: Idea / MVP / Beta / Launched / Revenue

Link (if you’ve launched it)

I’ll start: I’m working on buildthatidea.com, a no-code platform that lets anyone launch and monetize their own AI agents in 60 seconds. You can define your agent, upload a knowledge base, set pricing, and go live. It's in public beta.
by DaSHacka | 2025-07-08 11:23:10+00:00
> The amount of intellectual dishonesty in the thread...

Woah, HNers being intellectually dishonest? I could never have guessed!

Who could tell, then they go all "woe is me, the US will be wholly irrelevant in less than a decade because Trump" without a smidgen of irony or self-reflection ad-infinitum in these threads.

We're called "Orange Reddit" for a reason.
by JdeBP | 2025-07-08 11:23:25+00:00
My first introduction to how ludicrous this all is was as a child encountering people who seriously called people who live on the same tectonic plate as us, who used to be directly connected to us with a land bridge only a few 10kA ago, and who have no continental slope or suchlike between us, "the continent".

If you thought that the Map Men were the only people challenging the Anglophones on this, with so much YouTube educational content in English rather parrotting the 7 continents dogma, be prepared for a YouTube channel that is actually called "Well ... actually" having got there years before. (-:

* https://youtube.com/watch?v=dwPuEPjX36E
by qn9n | 2025-07-08 11:24:32+00:00
I would highly recommend giving Deno Fresh[1] a go, it has a lot of the same features as Next.js but I find it to result in a much cleaner codebase overall. This coupled with Deno's built in KV store and hosted on Deploy makes for quite a zen workflow to be honest.

[1]: https://fresh.deno.dev
by HenryBemis | 2025-07-08 11:24:50+00:00
I am thinking that some years ago everyone with a Windows PC had to buy an antivirus SW and then MS added Defender.

And then (in reverse) Windows had Solitaire and Pinball and now they don't.

Right now ChatGPT does 'ten things'. I believe it will be like Amazon. Allow you to build your shop-in-a-shop, and then once they see that they can jump this number from 'ten' to 'twenty', they will start offering the extra services/products within the same price, and cut the wrappers 'organically'. Unless those wrappers innovate and improve forever. Or until ChatGPT will M&A those small wrappers.
by bambax | 2025-07-08 11:25:28+00:00
> But Ebert’s opinion that the film lacks “a sense of awe and wonderment” is—I’ll say it—stupid and wrong, and to a puzzling degree. When John Williams’ theme swells as the Brachiosaur hoists on its hind legs in front of Grant and Sattler; when the newly freed T. rex bellows into the night through its hybridization of baby elephant, alligator, and tiger’s roar, as thunderstorm rain clatters onto its shadowy, animatronic head, Spielberg’s reverence for these grand beasts pulsates like a beating heart. Say what you will about what Spielberg did to Hollywood, say what you will about a literal theme park film’s contribution to theme-parkifying the blockbusters of decades to come. 30 years since Jurassic Park dominated the box office, the bottom line is this: The film still looks incredible, still feels incredible, is kinda the reason why we go to the movies in the first place.

I disagree and side with Ebert on this. I'm old enough to have seen Jurassik Park 1 in theaters when it first came out, and I remember being underwhelmed by it all, finding the story a bit ridiculous and the dinosaurs artificial and unbelievable.

I also remember having an argument with a friend who was working in a special effects company and telling him I was unimpressed, and him calling me a fool: "you're crazy, this is the best of the best today!" and me shouting back "I don't care if it's the best there is, I only care if I can believe it".
by incomingpain | 2025-07-08 11:25:37+00:00
I have many unpopular opinions. Yesterday was an interesting day on one of them.

In Canada we set a legal precedent. An Iraqi teen was illegally in possession of a handgun, illegally used it in self-defence. Never denied any of this.

His claimed because Toronto is like a warzone; which is true. Toronto went from one of the safest cities in north america to a warzone recently.

He was acquitted by a jury. Setting the legal precedent that concealed carry is now allowed in Canada.

This is fantastic news.

If you look at the USA, they've had massive decreases in violent crime everywhere they implemented constitutional carry.

We absolutely need to not appeal this acquittal, which the crown has no basis for appeal, and simply unban handguns, license and register them, and allow concealed carry.
by touisteur | 2025-07-08 11:27:35+00:00
The most interesting part of SPARK for me is how all the runtime checks are implicitly, automatically generated and need to be proved.

A whole bunch of assumptions about the language are hidden and the verification conditions are generated automatically for the underlying automatic or semi-automatic proof tools (why3-intermediated) - the second best part of SPARK.

You have to trust that the SPARK FrontEnd makers got it right - or you can inspect/review all the discharged VC if you want - and you still have to actually prove or help prove them all, but I'm not losing sleep over a forgotten 'normal' check.