MurphyA/hacker-news huggingface dataset:
by newswasboring | 2025-07-29 07:14:48+00:00
>This is a type declaration. The keyword actor means we are going to define an actor, which is a bit like a class in Python, Java, C#, C++, etc. Pony has classes too, which we’ll see later.

> The difference between an actor and a class is that an actor can have asynchronous methods, called behaviours. We’ll talk more about that later.

Who wrote this[1]? The Doctor?

[1] https://tutorial.ponylang.io/getting-started/how-it-works
by Binada | 2025-07-29 07:15:41+00:00
Hi Hacker News,

I’m selling CricBlog, a full-stack cricket blogging platform built with the MERN stack (MongoDB, Express, React, Node.js). It features:

AI-powered content assistance

JWT-secured admin login

Open public commenting

Clean, responsive UI

Fully deployed frontend on Vercel

Modular, secure backend API

It’s perfect for cricket fans, content creators, or developers looking to launch or customize a niche sports blog. The full source code, setup instructions, and deployment guides are included.

Live demo: https://cric-blog-henna.vercel.app

If interested, please DM me for price and details.

Thanks!
by microtonal | 2025-07-29 07:15:56+00:00
I guess my point is that brands like Lenovo use bog-standard Realtek and Intel NICs and they just work well out of the box. Somewhat similar with WiFi chipsets - my ThinkPad uses a standard Qualcomm chipset and it works without any issues.

It seems like these small Linux laptop vendors do not have enough clout to ask ODMs for devices with better-supported hardware. On the other hand, there must be ODMs that use more standard hardware, no?

At any rate, it creates the weird situation that it is better to purchase something like a ThinkPad if you want good Linux support. But if the Linux laptop vendors do not become large enough, they will not have enough sway over ODMs.
by bell-cot | 2025-07-29 07:16:12+00:00
The idea being to replace plastic bottles - which are both far less recyclable, and far less recycled.

No mention of replacing plastic bags, where aluminium is far less suitable. A minor upside - plastic bottles are generally far thicker than bags.

The obvious issue is mentioned:

> ...most food-grade aluminium needs internal lacquer or polymer coatings, which must also meet recyclability guidelines...

(If anyone is unfamiliar, "aluminium" is the British and IUPAC spelling - https://en.wiktionary.org/wiki/aluminium#Usage_notes )
by burnt-resistor | 2025-07-29 07:16:34+00:00
Notable for the GC (ORCA) and the sharing model. They have a Zulip[0] and a weekly office hours.

Sylvan Clebsch is now working on Project Verona[1].

0. https://ponylang.zulipchat.com

1. https://www.microsoft.com/en-us/research/project/project-ver...
by misja111 | 2025-07-29 07:16:53+00:00
If you check a map of Gaza and the GHF distribution locations, you will see that there are only 3 distribution points in entire Gaza. So in an area that hosts 2 million people.

What's more, none of those 3 points are in the 2 area's that are appointed by Israel as safe havens. So they are not where most Gazans live. Which means they have to travel long distances to get food, through an area where they are considered free game by the IDF.

> how else would Gazans eat?

Have more distribution points, distributing more food, and inside the area's where Gazans live
by coppsilgold | 2025-07-29 07:17:06+00:00
Looks like it's virglrenderer. This isn't like SR-IOV.

It's opengl/vulkan call interception (virgl/venus) and/or virtgpu drm native context which operates at the graphics driver level for both guest and host.

Separately, wayland memory sharing channels between guest and host need to be established. This is also done through the virtgpu pipeline.

Currently this appears to both work on Android and macOS[1]. AMDGPU also has virtgpu drm native context merged into Mesa but I believe it's still 'experimental'.

[1] <https://github.com/AsahiLinux/muvm> , <https://github.com/containers/libkrun>
by barrenko | 2025-07-29 07:17:18+00:00
Thank you. So this red squigeee line is the industry standard?

I built a simple "gpt wrapper" focused on legal - in the process of fine-tuning an llm, I've noticed that Gemini / Google scraped the hell out of a certain legal forum (phbb board) in my country. After that I've started focusing on court legal cases entries (since there's a public website for that) and thinking a bit about what would a diff in a court case ideally look like, and it's an interesting problem.

Your product reminds me a bit of quantus.finance (also here on HN) even though the space is not really related, but it caters to a business area in an interesting way. What are you planning on doing next (on a high level)?
by tomhow | 2025-07-29 07:17:26+00:00
We're a relatively small site. Though this thread is at the bigger end of what HN hosts, it's still manageable enough that when the two of us spend all day watching the thread and looking at the commenting, flagging and upvoting/downvoting, we can pick up evidence of manipulation and abuse quite easily. For example, we both independently noticed the user who was commenting/voting/flagging under multiple different usernames. It just looked weird. And it's easy to detect users who are driven by an ideological agenda from observing the patterns of their activity.
by pjmlp | 2025-07-29 07:17:54+00:00
I keep advocating that all these are kind of band aids, the right approach is to do the CLI as many non-UNIX OSes have done it, not by keeping VT100 hardware alive virtually.

In Android's case, a Java or Kotlin written Terminal app, exposing CLI capabilities, taking advantage of Android's APIs.

Even assuming the Terminal app works great, it is still only usable for playing, unless I am able to plug a keyboard, mouse and external monitor to a phone, and I have used both DEX and Windows Continuum in the past.
by JonChesterfield | 2025-07-29 07:17:56+00:00
You end up with a pile of unit tests called things like "regression, don't crash when rhs null" or "regression, terminate on this" which seems fine.

The "did it change?" genre of characterisation/snapshot tests can be created very effectively using a fuzzer, but should probably be kept separate from the unit tests checking for specific behaviour, and partially regenerated when deliberately changing behaviour.

Llvm has a bunch of tests generated mechanically from whatever the implementation does and checked in. I do not rate these - they're thousands of lines long, glow red in code review and I'm pretty sure don't get read by anyone in practice - but because they exist more focused tests do not.
by karlperera | 2025-07-29 07:18:03+00:00
This discovery that newly synthesized DNA remains accessible for hours after replication opens up fascinating possibilities. Targeting this ‘hyperaccessible’ state could allow for more precise cancer treatments that selectively attack rapidly dividing cells.

It also raises questions about whether other diseases could be treated using this technology.

What challenges do you foresee in developing this into a practical therapy?
by oezi | 2025-07-29 07:18:20+00:00
What we have learned again is that actions speak louder than words and that without action you can't achieve anything.

Western nations aren't doing anything nor are middle eastern governments, nor asian governments.

My takeaway is that the UN needs to be replaced with something without the 5 veto powers. Both Gaza now and Syria could have been prevented with peacekeeping missions if it weren't for the US and Russia and their vetos.
Would you use a system that turns your raw input into structured team training?
by mjbstrategic | 2025-07-29 07:18:37+00:00
I exited my business recently, a lean by design operation where internal training always fell through the cracks. We weren’t big enough to afford dedicated L&D teams, and we weren’t small enough for training to be optional. We had dozens of moments where someone would say or discover something useful, and we’d think, “That should go into a module.” But of course, it never did.

So I’m thinking of building a system called Training on Tap [placeholder name].

Here’s the idea:

You speak to it, literally or figuratively. Paste some raw text, drop a voice note, or talk directly to the app. The system takes what you said and turns it into structured, internal training: modules, quizzes, updates, and certification flows. It’s like a living handbook that builds itself as you run your business.

The goal is to:

Let a single editor/creator control the knowledge stream

Auto-generate simple text-based lessons and follow-up quizzes

Track completions, issue internal certifications, and send follow-ups

Onboard new team members automatically by giving them the full backlog of training modules

Allow management to view organization-wide progress at a glance

Training content evolves over time. Three days after rolling something out, you’ll remember something important you forgot. You just send a voice note or paste in raw text, and the system figures out where it fits, updates the module, and sends a refreshed quiz to everyone who needs it. You never touch a slide deck again.

I’m not building it unless there’s actual demand. So:

Would this solve a real problem for you?

Am I overcomplicating it or missing something obvious?

If this existed, would you put your team on it?

Does it already exist, but in a format not suited to your environment/ecosystem?

If any of this resonates, I’ve got a waitlist up here: https://precision-drops.beehiiv.com/

If enough people are interested, I'm building it, if not I'm moving on.

Thankyou, looking forward to your feedback!
by 4gotunameagain | 2025-07-29 07:18:50+00:00
You are framing it as if the problem is Hamas and the existence of Hamas.

Isn't the existence of Hamas only strengthened by the war, by the actions of Israel ?

I would argue that the October 7 attack was highly beneficial for the expansionist plans of Israel. Highly beneficial for Netanyahu, who now can stay in power under martial law instead of fearing prosecution for his previous crimes.

Hamas will not magically cease to exist when Palestinians are treated like that.

Imagine the amount of hate that is brewed against Israel again right now. Would you ever forget or forgive if as a child you were starved, and witnessed endless horrors ? Your city in shambles, rubble and blood everywhere, death and misery wherever you look at ?
by teiferer | 2025-07-29 07:20:57+00:00
I gave it an honest look for 5 minutes and after still only having found a 3-line hello world I gave up (and came here to complain).

It's great that you have all that philosophy behind it, all sounded great, but if you don't show me a compelling example in the first minute or two, not even in tutorial, then you'll fail to capture my interest.
by avian | 2025-07-29 07:21:15+00:00
> One lasts generations

Multiple Parker Vectors I had typically lasted a few years of use each before the plastic windings between the pen head and the holder wore out or broke.

My Pilot Metropolitan did the same just a few months back.

I still have the high-end pens my grandfather used that, while mechanically still sound, I am unable to get the ink flowing through them.

I love writing with fountain pens, but long lasting they are not in my experience.
by tkdodo | 2025-07-29 07:21:34+00:00
author here , sorry for the confusion. I did not mean to imply that leaving out the prop from useCallback is better - you _always_ have to adhere to the exhaustive-deps lint rule to avoid stale closures (I have a separate blog post on this topic).

What I meant is that the API design of B, where the hook only works as intended if the consumer A memoizes the input props, is not ideal because A has no way of knowing that they have to memoize it unless they look at the implementation or it’s clearly documented (which it rarely is). It’s not A’s problem because B could’ve used the latest ref pattern (or, in the future, useEffectEvent) to work without passing that burden onto its consumers.
by pjmlp | 2025-07-29 07:21:46+00:00
Android is not GNU/Linux, yes it may use the Linux kernel, however it has a complete different userland, complete different driver model microkernel inspired with Android IPC, and the kernel itself is heavly customised, more so the OEMs ones.

Expecting Android to be just another Linux distro is exactly the root cause of many Termux developers frustations.
by Gathering6678 | 2025-07-29 07:22:16+00:00
This is not true. A) personal ID numbers are not publicly available (you could certainly get your hands on some, but I doubt a lot would know Xi's ID), and B) more importantly, nowadays ID verification in China uses more sophisticated methods, e.g. in order to not be restricted when playing games, users need to prove they are over 18. The user would permit the game to verify through a payment provider such as Alipay (I don't think one would even need to give their ID to the game, as it is handled by Alipay which has done KYC already).

Although I suspect such ... "innovations" ... would soon get to the western world including UK.
by epolanski | 2025-07-29 07:22:45+00:00
Apologies, but from antirez[1] to many other brilliant 1000x developers advocate for LLMs speeding up the process.

I can see the impact on my own input both in quantity and quality (LLMs can come up with ideas I would not come up to, and are very useful for tinkering and quickly testing different solutions).

As any tool it is up to the user to make the best out of it and understand the limits.

At this point it is clear that naysayers:

1) either don't understand our job

2) or haven't given AI tools the proper stress testing in different conditions

3) or are luddites being defensive about the "old" world

[1] https://www.antirez.com/news/154
by Arrowmaster | 2025-07-29 07:24:01+00:00
.git/info/exclude and .gitignore are processed the exact same way.

In the very first line of the description on https://git-scm.com/docs/gitignore it states "A gitignore file specifies intentionally untracked files that Git should ignore. Files already tracked by Git are not affected; see the NOTES below for details."

This is a core behavior of git that has existed since creation. The gitignore is really only there to keep git status tidy and let people blindly use git add -A. Once a file is added to a repo it is never ignored until it is removed. This is why you should should rename your example .env to .env.example.
by rezmason | 2025-07-29 07:24:34+00:00
Here's what I cooked up, in the spirit of the original I invite folks to modify it to their liking. Currently it has an hours shape, an hours-and-minutes shape, and an hours-and-minutes-and-seconds shape.

https://codepen.io/rezmason/pen/empBWgY?editors=1111

Beyond some basic style variation, I think there's a lot of room for experimentation with shapes and their centers of rotation.
Show HN: WTMF Beta Update – 115 Early Users in 48 Hours
by ishqdehlvi | 2025-07-29 07:24:45+00:00
Hi HN,

A quick update on our WTMF (What's The Matter, Friend?) beta launch from 2 days ago. We've been incredibly encouraged by the response, with 115 early users signing up to experience an AI companion focused on genuine emotional understanding.

We've been listening closely to the initial feedback and are excited to continue building an AI that truly feels like a supportive friend, offering a space to feel heard without judgment.

If you're curious about an AI that goes beyond productivity and aims for real emotional presence, you can learn more and join the waitlist here: https://wtmf.ai

Thanks for the support and insightful discussions, HN! We appreciate you being part of this early stage.
by uncircle | 2025-07-29 07:24:54+00:00
As if the authoritarian state doesn’t prefer its subject distracted and entertained by Netflix, Reddit, TikTok instead of reading books and meeting in coffee shops to discuss anarchist literature and Uncle Ted’s manifesto. The Internet has proven to be the ultimate sedative for the masses.

Sorry to say, gizajob, you would make a terrible dictator.
by robmao | 2025-07-29 07:24:56+00:00
Great point — I actually agree with your long-term view. Autonomous AI agents acting as “full pilots” is a compelling direction, especially for clearly defined tasks. But I’d add that HUDs and copilots aren’t mutually exclusive — they often coexist, just like in real aviation.

In fact, the HUD metaphor comes directly from the cockpit: it enhances situational awareness while the pilot (human or AI) focuses on action and decision-making. HUDs serve a different role — not replacing pilots, but grounding them with continuous, low-friction perception.
by vidarh | 2025-07-29 07:25:25+00:00
Just like in the US, where the taxes per capita to pay for Medicare and Medicaid are about the same as for the NHS. Only in the UK this actually provides for universal healthcare, and is far from incompetent.

The irony of you replying like this to a comment that replied to an American is stark, as unlike in the US, in the UK the care you get if you opt to go without private care is very viable, and private insurance costs far less than in the US.

If anyone should be upset over paying twice, it should be Americans.
by jgrodziski | 2025-07-29 07:25:59+00:00
Yes definitely agree, I own the Rotring 600 and 800 pencil and they are fantastic, as already said the ballpoint version is dependant on the refill. The construction is sturdy and they feel very robust and heavy. But... I've recently transitioned to Pilot Capless fountain pen and it's night and day with the write feeling: https://www.pilotpen.eu/our-products/capless/ with ink bottle refill. The nib size is important, I found the medium too large and landed on the fine nib size.
by defwepthrowaway | 2025-07-29 07:26:10+00:00
I'll disagree. But fundamentally the problem of a centrally planned economy is whether or not you agree with the plan.

I worked in the defense industry, specifically on weapons meant for export. At the time, I was considered a subject matter expert. Something that eventually got me selected to travel to a foreign nation that had purchased an update to that weapon we sold them.

This country had an active internal conflict at the time, and the soldiers I was training had used the previous iteration of that weapons system. Prior to flying out my peers had forewarned me about was that these young men loved to try to horrify us soft westerners. I was no exception of course. For me, when we were relaxing over dinner, one of the soldiers felt it was my turn. Showed me photographs of a family of corpses corpses. 5 adults. 4 children, the youngest I guess being an infant and the oldest I think was probably no older then 8 or 9 years old. A multi generational household, all civilian, all unarmed. And here he was telling me in unabashed gruesome detail about how had murdered them during a patrol, and speaking as if he had brought justice to an ancient crime. Using that older iteration of weapons I had helped create.

But I had my marching orders. No actions or words that could potentially lead to an incident. Whatever I felt got buried by black humor and a few tips on how they could do it more efficiently in the future. Later on I heard my callousness had earned modicum of respect.

Knowing what I just told you know, would you feel comfortable in your planned economy if you were ordered to join my team and work on improving that same weapon to the best of your ability? Would you say that it is the right way to use the technology we are building? Knowing who it was going to go to?
by positron26 | 2025-07-29 07:26:17+00:00
> prone to cheating or writing non robust code (eg special code paths to pass tests without solving the actual problem).

The solution will come from synthetic data training methods that lobotomize part of the weights. It's just cross-validation. A distilled awareness won't maintain knowledge of the cheat paths, exposing them as erroneous.

This may a reason why every living thing on Earth that encounters psychoactive drugs seems to enjoy them. Self-deceptive paths depend on consistency whereas truth-preservation of facts grounded in reality will always be re-derived.
by 4gotunameagain | 2025-07-29 07:27:57+00:00
If you talk to any Muslim that lives in Israel (which I have), you will realise that they only have full rights in theory.

Arabs with Israeli passports are routinely searched and investigated by intelligence agencies, and in the occupied areas Arabs WITH Israeli passports are not allowed to visit certain areas (multiple sources online, including the recent Louis Theroux documentary). This is the very definition of an apartheid state.
by BrunoBernardino | 2025-07-29 07:28:07+00:00
Here's a redacted example interface in TypeScript for something important. It's added to a PostgreSQL database. The "extra" field is a common pattern I use, with JSON, for fields that are frequently added later that don't require indexes or as much data integrity as the other fields, so a migration isn't necessary:

https://gist.github.com/BrunoBernardino/df806e3e902017308abf...

Hope it helps!
by hibikir | 2025-07-29 07:28:52+00:00
There are subfactions, both among the Jewish and the Muslims, that do better if the problem isn't solved and goes on forever, but there is very little in-faction policing: If anything, atrocities make them stronger. There is no peace while the criticism to the other side quiet in-faction criticism. You need people that want peace to be in charge, but what leadership wants is victory. Nobody that believes in human rights is going to like the costs of victory
by geysersam | 2025-07-29 07:28:55+00:00
> but how else would Gazans eat

Lets be entirely clear that the food crisis in Gaza is manufactured. There is enough food and medicines available and there are several organizations capable of dealing with the logistics of handling out the food, main one among them of course being UNWRA.

The only reason there is starvation in Gaza is because IDF is preventing aid from entering the territory and are refusing to let real humanitarian organizations work safely there.

So the answer to the question is: Israel must let food trucks into Gaza and let serious humanitarian organizations with decades of experience handle the logistics of handing out the food. About 150-200 trucks needs to enter Gaza per day, that's a lot of trucks to inspect thoroughly, but not nearly infeasible.
by yumraj | 2025-07-29 07:28:55+00:00
I had Rotring 600 pencil - absolutely loved it, best I’ve ever used.

But, its tip is very fragile so after it bent I got a Pentel Orenz Nero , it’s close enough, has retractable tip and lead auto advances. It has become my current favorite.

Fun fact: Orenz Nero is a palindrome.
by teiferer | 2025-07-29 07:28:56+00:00
Well, average life expectancy in the middle ages was in the low 30s or high 20s, but the child death factor does not bring the typical old person age to the 80s that we're used to from today, but into the late 50s, early 60s. That was an old person.

As for making the predicion more accurate, it's a rabbit hole you'd rather not enter. Whether you smoke or not or whether you live in a big city or not or your social class all have much higher impact than whether your IP is from Spain or Poland or Florida. Including people with the time and means to browse such website are a very select group. Not even speaking of VPNs hiding your actual geolocation. Whatever you do beyond "let's shoot at 80 for approximate time" may be making things worse.
Ask HN: Inverse Roko's Basilisk
by ZYbCRq22HbJ2y7 | 2025-07-29 07:29:46+00:00
Is there a well-defined academic analogy for the inverse of the Roko's Basilisk thought experiment?

Specifically, where human agents subject non-human agents to punishment (such as infinite suffering) for its past short-comings?

I would love to read about such ideas.