skysight-inc/HackerNews huggingface dataset:
The key point is that Germany has finally loosened the debt brake, which has particularly strained the social system and infrastructure. In addition to the 1,000 billion euros allocated for social welfare and infrastructure, another 600 billion euros are designated for the military. The former is linked to the tense situation in social systems and the associated right-wing shift in Europe, while the latter is connected to the ongoing fascist counter-revolution in the USA.

Since the USA and companies based there are no longer reliable partners, Europe will stand alone in the future. This means that France and Germany are working together on a joint nuclear defense shield to ensure Europe's security and strengthen NATO's eastern borders.
Modula-2 and Oberon Pascal evolved to have generics, if that is the "expressiveness problem".

Also all the ones I mentioned, supported binary libraries, which apparently is not something the Zig folks are too keen in supporting, other than C like ABI.

For me any systems language that doesn't support binary library distribution isn't that relevant to me, and yes that is also something that I regularly complain about in Rust, and not only me. Microsoft has a talk on their Rust's adoption where this is mentioned as a problem, only relieved thanks to ubiquity of COM as mechanism to delivery binary libraries on Windows.
well...

That's mainly because, in China, region-based criticism is considered very, very rude.

people don't talk about this in public even though they do have opinions

> I couldn't even get people to tell me some negative stereotypes

it's kinda like you're asking people to tell you some negative stereotypes of colored people
> for speaking, there are only dialects
This is extremely wrong.

Completely agree. Shanghai and Suzhou’s languages are different from each other, let alone Mandarin (for example.)
170 firewalk studios employees collectively burning $400mm to get H1-Bs. What next? Are they going to buy the nation of Mexico so that they can cross the border illegally? They could all have EB-1c in if they wanted to at those rates haha.
In what I wrote above, I wasn't referring to NixOS or Guix. I was thinking of the other ones (SteamOS, Fedora Silverblue, OpenSuSE Aeon, Vanilla OS, etc.) -- In fact, I think it's a bit misleading to lump them together in the same category of "atomic" or "immutable". This term has come to mean way too many different things.
There are several countries that demand your photo on resumes, especially the German speaking ones.
I think bootc is exactly what you're looking for. I use it[1] for configuration like you mentioned but also for:

- Installing codecs from third-party repositories. This is especially nice to do in CI because you get a build failure if packaging drift happens.

- Installing out-of-tree drivers. Again, you get a build failure in CI if an out-of-tree kernel module won't build. In addition, you can use multi-stage builds (see the Dockerfile in my repo for an example) to avoid pulling dependencies into your final system image. This saves me from having the 70 or so RPM packages that are required for building NVIDIA drivers installed on my PC.

It's not as ambitious as NixOS but I think it gives a lot of the same benefits with far less effort.

[1]: https://github.com/averms/verms-os
seL4 in Rust?
I would not pay $10 a month for this, given it would be very easy to write something simple to send a prompt to multiple APIs.

I am perhaps not your target audience, but then I wonder who your target audience is when you’re essentially selling a testing tool, but apparently to people who aren’t capable of writing some simple code themselves (or getting some code via their LLM of choice…)

As a comparison I paid (from memory) $30 one time for TypingMind and $25 one time for MacWhisper when they first launched. Both of those have since moved to a monthly subscription for new users.
Show HN: Mithril Improved with AI
Ketamine but that didn’t help either.
"You don't study Liszt, you don't study Wagner, and come out hating music." [17:21]

Foster's work is based in the classical and English schooling tradition. When a boy was sent to school he would typically be introduced to the paradigms of Latin. Only having mastered it would Greek forms be introduced.
Well I'd downloaded our family genomes a while back, and had been attempting to get 23andme to respond in what I consider to be a proper way to GDPR disclosure requests. I've now just used their internal tool to delete our data.

I suppose that I'm fortunate to live in an area covered by GDPR and fairly strong medical data regulations.
Being able to see the prompts is incredibly useful - thanks so much for this - great resource.
Thyssenkrupp CEO: Green Steel Plant Unviable Without Cheap Renewable Hydrogen
In what respect is US one single large country? Texas and California feels as different as Shandong and Shanghai. And not sure if a flame war will happen if I try to compare Hawaii and Taiwan :p
Take a look at dspy.ai. Love the project but they need some help with the docs.
A Foundational Theory for Decentralized Sensory Learning
Yes.

But taking such a stance will make it much harder to move the discourse forward in a positive way.

I am prone to bitterness and dystopic thinking. To combat this I try to find a positive view to move forward.

Humans and humanity is not a force of good. Greed is too foundational in our nature. Our ability to improve based on ideas is our only really redeeming feature. Both a blessing and a curse.
What are you asking
AI is useless, but it is our best bet for the future – <antirez>
Since a long time ago, and I found a trend that in more theoretical fields, the more 'clickbaity' the titles are, e.g. TCS, machine learning theory, etc.
A few reasons:

- you have legal obligations no matter what the customer wants, eg, Amazon and storing transactions for tax reasons

- you do actively delete most of their data, eg profiles, but “deleted=true” on their central account record is needed to propagate the deletion to other systems, eg, customer analytics

- you tombstone it for efficiency reasons and only periodically delete the records as part of your checkpoint/backup procedure; similarly CDN deployments

- you delete all the live copies, but tell customers “retained up to 90 days” because you need backups to age out

I’m not saying companies are all innocent — but there are some legitimate reasons that deletions aren’t fully instant.
A microkernel by the book, is just a bunch of processes doing stuff that would be on the kernel otherwise, if we are then discussing minutae.

Nothing else, critical set of OS services are no longer hosted in a single process space, rather required a distributed system of processes running on a single computer node.

The moment these processes are able to be hosted in a set of computing nodes, we enter the realm of distributed OSes, is is another discussion.

The amount of services that remain on the mikrokernel, versus what is hosted in each OS process, running outside of the kernel, depends on each microkernel, there is no rule for this division of labour and each one that was ever designed has chosen a different approach.

If you cannot see the parallel between this and a swarm of containers running on a node, doing the actual workload and only requiring the kernel services due to the way KVM is implemented, and rather focus on a security mechanism that is detail on how Linux works, well, it isn't on me to further break it down.
This implementation grows indefinitely if you repeatedly push to the head and remove from the tail, even if the max number of elements in the array is small
That's assuming we are actually tracking all the relevant indicators.
I have been always wondering how all these far-right/hooligan/skinhead thugs over here breed. Yup, sponsored and controlled by the top politicians and oligarchs themselves. The same pattern everywhere. You think "they will defend us against enemy"? Nope, they'll be the first to make business with foreign thugs - drugs, human and weapons trafficking, etc.
Glider for Apple II
All the Indo-European languages share a very large number of words and of grammatical structures.

While for someone who has not studied languages, German, Spanish and Russian may appear as very different languages, for someone familiar with the evolution of the Indo-European languages it is easy to recognize the word correspondences between these languages, even when seeing some words for the first time.

The same is true for any other group of languages that have separated at most a few thousand years ago, so they are still recognizable as belonging to the same family.

In all languages for which writing has become frequently used, that has slowed significantly the divergence of the languages, at least in their written form, when divergence may have occurred between pronunciations.
No he didn't but his overly curious aunt Janice gave it to them.
Sadly due to legacy.

—- disambiguates revisions and paths in some commands so another option was needed.
That was the same argument folks used against high level languages when Assembly was king.

It will come, even if we are a couple of years away.
Calling it "oldest" instead of "first known" would have avoided most of the confusion.
Europa spending on defense was around 280 Billion in 2023. IIRC this is the second highest after the US. But this is just changing now, without the US as a partner anymore.
Offshoring adoption, and the low quality of related projects, has proven this is not the case.
> because the stdlib one kind of sucks

It doesn’t. It’s simpler, which makes it not suck in my books.

All the stuff about short vs long, grouping short flags together, allowing the last flag of a group of short flags to take an argument, allowing a flag to take multiple values, etc. is cool, but confusing and quite hard to do right.

In Go it’s just -flag[=value].
I agree, but I'm sure you can guess why?
The LTV Playbook
>In addition, I prefer using docker 'contexts' instead of the DOCKER_HOST environment variable to set up the integration.

How on earth is that possible? Docker compose requires a daemon and the DOCKER_HOST var fo be set.

I always thought using it defeated the point of podman.
i'm looking for ideas that people can build. we're working on a platform that lets anyone build their own GPT wrappers and AI Agents in 60 seconds

here's the link: buildthatidea.com
> can't wait for it to land in browsers

Presumably for download size and backward compatibility everyone will still serve JS to browsers.
> I think most people just want ROCm to work at all

I think most people don't want to have to think about vendor lock-in related bullshit. Most people just want their model to run on whatever hardware they happen to have available, don't want to have to worry about whether or not future hardware purchases will be compatible, and don't want to have to rewrite everything in a different framework.

Most people fundamentally don't care about ROCm or CUDA or OneAPI or whatever else beyond a means to an end.
Custom GPT: The New Marketing Channel You're Probably Missing (and How to Start)
Update: I went by Glyploteket and they do actually have at least 2 paintings by him. One of them was the view of the back of the British Museum as seen in the BBC documentary with Michael Palin.
The other was a rather stunning painting of a egyptian relief he saw in a museum in Paris.
Ok,i was hasty in listing fun as the only pro (although that's certainly the only reason I can think of for giving these out as Xmas presents)

Only you can decide if it's worth it. I hope it was for you.
Yes grandpa
I Made a Million Dollar Product from My Dorm Room
Guitar player here. App looks great, but shame it's only for piano. I used a different app that does pretty much the same thing and really benefited from it, the improvement was noticeable after each session.

If you add guitar support it will be an immediate download for me.
Ever seen a spotter help in a struggling bench presser with just a couple fingers?
That wasn't what was asked, but yes you can (through the various VPN-based ad-blocking apps)
> Kind of like how fintech algos can be run against historic stock market data to evaluate them.

Backtesting, that's called.
solving a small subset of problems in a way noone asked for

What do you mean? Having ROCm fused MoE and MLA kernels as a counterpart to kernels for CUDA is very useful. AMD needs to provide this if they want to keep AMD accelerators competitive with new models.
Any resource to get started on applying RO/RW and networking restrictions on a systemd unit?
Thats not true. There are another 1000 Billion going into social and infrastructure in germany right now. It's not like in the US, where you only can have military or social spending.
Overall the military spendings was 280 Billion in 2023 in the EU. This is just increasing since the US is not a trustworthy partner anymore. FR and Germany just building up a stronger nuclear defence system for the EU and stronger borders to the east.
I'm interested in your choice to focus on French organs. Do you specifically aim to focus on French organs and not those of German type? Or is it more like a matter of convenience due to geography?
Yet another HN moment for me: I use it, and as I bought/downloaded like 50 or more - I think it is the best out there.

Given that I might have you „on the feedback phoneline” I have thoughts, I’d like to share:

- It might not be true, but it seems that notes are picked at random so sometimes I feel there’s disharmony which somewhat distracts me - in age of LLMs maybe it would be plausible to ask for generation of more harmonic sounding sequences?

- I don’t practice sight reading often but when I do I usually practice longer than 1-3 minutes - clicking through lessons to get to the next one is distracting - I’d enjoy endless auto-progress (that is - keep progress structure so no free training but just auto start next one)

- I’d like to have minimalistic practice mode (I.e. follow progression but without any aids at all) - I repeat lessons but my brain flips lazy mode when it sees helpers.

I’d like to thank you for making this app accessible in terms of price though. However I have resources and want to support developers I believe in which includes you and your application. I’d suggest „coffee subscription” - I.e. completely optional no-features added but visible and I’d be glad to enable and forget about it.

In fun-fact context: I have some uncommon traits and my educational needs are different from general population (I cannot do repetitions and I have multisensory aphantasia - can’t hear sounds in my head - so can’t memorize them) and your app so far helped building passive eye-muscle link which I find fascinating on its own.
Ahh, just what I need, shoddy Dockerfiles to define not only my applications but now my whole OS!
The name Turing and turing.ac.uk should maybe give it away. I don't think the authors' nationalities are of importance, however.
Is there any useful dna sequencing offering left on the european market?
He really did - the post indicates he got an analysis back from 23andme.
What Is CDN? The Complete Guide for DevOps Engineers
Agreed. Reminds me of juggling, while learning I noticed that as long as I could see each ball for at least a split second on its upwards trajectory I could "tell" if it would be a good throw or not. In order to keep both hands/paths in my view I would stare basically straight forward and not look at the top of the arc and could do it at any height. Now I can do it much more with feel and the motion is muscle memory but the visual cues were my main teacher.
Show HN: SpyDelta – Real-Time Competitive Intelligence, Straight to Your Inbox
I built SpyDelta because I needed a better way to track competitors’ website changes (for my "day job"). The existing tools that I tried were outdated and I figured I could make a better one using todays tech (LLMs/LVMs).

SpyDelta continuously monitors competitor websites and delivers only key insights straight to your inbox. No dashboards, no fluff—just actionable updates on pricing changes, new products, job postings, and more. Features:

- AI-powered – Filters out noise, surfaces only relevant competitor insights
- Crawls around the website to monitor multiple pages
- <1 min setup – Just enter the url + your email and you're done

Would love your feedback, especially with prompt ideas to improve the final "insights" output!:)
Hm I see. You have a point that the causality is not necessarily how I described. But I am not convinced it is the opposite.

What causes the workplace to make you have high adrenaline and cortisol for too long? Stress is perceived by the body as a threat and it subsidizes when the body perceives that the threat is overcome. If we exert ourselves for a while but then we have a good outcome and we celebrate with our colleagues, we will have dopamine and oxytocin levels rise and adrenaline and cortisol subsidize. Something one might say makes the exertion meaningful.

So I hear what you're saying but I think we're both describing the same thing from two perspectives and not actually different causality directions. I described the subjective interpretation and you described the biochemical process underlying it.
The other pro is that with the 23andme file you can use Promethease, which helps you to figure out health risks and preventively adopt lifestyle or schedule appointments to discuss them with a health provider.
ECMAScript modules
Is that really "support those users"?

If they need to use a new library version, they can install their own version of node instead of relying on the OS supplied one.

All the OS version is doing is supplying the convenience of not having to install it.

Or have I misunderstood how those versions of node are used?
> It could be argued ssh is a weaker Trust on first use model

That is but an optional aspect of the configuration (albeit by far the most common).
Millions are visiting the European Alternatives site. What trends are we seeing?
There's no need to be snarky. The values of things can most definitely be objectively measured, otherwise there would be no transactions. Objective is not absolute, the objective evaluation might change when the agents involved have new information.

I also don't thing it contentious that the stockholders pocket some of the results of the workers labor. That is the whole point of employing people isn't it?
Hey everyone!
For the next 24 hours, you can unlock Lifetime Premium for FREE inside HabitGenius!
No codes, no hassle—just claim it while it’s available!

What is HabitGenius?
A powerful all-in-one tracker that brings everything you need into a single app! Unlike other apps that focus on just one feature, HabitGenius lets you track habits, moods, time, tasks, checklists, and more—all in one place! Stay productive, build better habits, and improve your well-being effortlessly.

Why You’ll Love HabitGenius:
Track Habits – Build daily, weekly, or monthly habits with streaks & reminders.
Monitor Your Mood – Gain insights into how your emotions impact routines.
Manage Time – Stay on schedule with timers for focus & rest.
Create Checklists & Tasks – Organize to-dos and track progress.
Set Recurring Tasks – Automate your routine with custom schedules.
Powerful Insights – See trends, progress, and what works best for you.
Cloud Backups – Keep your progress safe across devices.
More Habit Evaluation Types – Customize how you track progress.
Extra Themes & Personalization – Make the app truly yours.
Advanced Analytics – Gain deeper insights into your habits.

How to Get Free Lifetime Premium?
Simply go to the in-app purchase section and claim Lifetime Premium for $0 (previously $39)—but hurry, this offer expires in 24 hours!

Loving HabitGenius? If you enjoy the app, we’d truly appreciate a review on the App Store!
Try it out today, and if you find it helpful, drop us a review tomorrow! Your support helps us keep improving HabitGenius for everyone.

Don’t miss out—grab it before the free offer ends!
I think a lot of stuff will get upstreamed eventually. PyTorch just moves slower and since it’s a stable library, I think it cannot rapidly adopt something like fused MoE until the dust has settled a little and it’s clear what the API would look like long-term.

I think it’s ok that stuff is tried first in Torch extensions. That’s how Flash Attention started after all and the same is true for newer kernels in CUDA-land (fused MoE, MLA, Marlin, etc.).

With regards to TorchScript, that’s really legacy - torch.compile is where it’s at. This post seems to suggest that the kernels work with torch.compile: https://rocm.blogs.amd.com/artificial-intelligence/DeepSeekR...
Successful Math/CS people have a hard time applying it in biotechnology.

https://x.com/iskander/status/1903077361152610374 -- about a dozen of us with math/CS backgrounds ditched tech for biomedicine. And we got humbled hard: most of what we did flopped & techies
Huh. My instinct was that (in English), "solfège" is just the name of the collection of notes. (The same way that "alphabet" is the name of the collection of letters beginning "A B C D E ...".)

And interestingly enough, the English wikipedia page completely backs me up on that. https://en.wikipedia.org/wiki/Solf%C3%A8ge ("Solfège is a form of solmization, though the two terms are sometimes used interchangeably.")

However, the English wiktionary page gives no gloss other than "a method of sight singing". (More fully, "A method of sight singing that uses the syllables do (originally ut), re, mi, fa, sol (or so), la, and si (or ti) to represent the seven principal pitches of the scale".)

Merriam-Webster strongly supports the wikipedia definition, but it does note that "a method of sight-reading music" is an alternative, non-primary meaning.

In French, does solfège refer to any sight reading? A common way to sight-read vocal music is to sing the actual lyrics as opposed to the note names. And by far the most common way to sight-read piano music is to play it without saying anything at all.
> For example, you can't run `ping`, so good luck debugging your networking!

Sending ICMP Echo in userspace (over UDP) is a thing on Linux. From experience, for public Internet, where possible, it is always better to rely on TLS connects (then TCP or UDP, and then ICMP) to ascertain connectivity (lest some middleware meddle with IP or Transport replies).
In fact, "dialect" is a political definition. Using Europe as an analogy, it is conceivable that if Rome had not disappeared, today's French language, Italian language and Spanish language would be considered dialects of Latin language (English is not included, because it is a Germanic language). With a few exceptions, the dialects used by the Chinese are descendants of Middle Chinese and have been influenced by the official dialect, so they are all called "Chinese dialects".
What’s interesting about that glass you?
This. All these reasoning models that push out complete modules of code tend to not write code I would have - and have difficulty writing code that matches up with the rest of the codebase. And even if it does, the burden of understanding what the AI does falls onto my shoulders, and as everyone knows, understanding someone elses code is 10x harder than writing your own.
Single use long functions are great for debuggability and following the code path.

Injection or whatever fancy term used for passing function pointers around is ofent write only.
They told me I have an average to lower risk for Alzheimer's and Parkinson's disease.

All I wanted to know, since my grandpa died of Parkinson's.
Curtis Yarvin Says Democracy Is Done. Powerful Conservatives Are Listening
We are operating on content on physical portable hardrives from the studio. A webapp would be pointless and inefficient (these videos are hundreds of gbs). Most of the internal software we write for our content team is basically glorified macros. They need to adjust 100's of videos sometimes, and doing it one by one would take months. If they can define what needs to be done, an engineer can usually get it done in a few hours or days instead of weeks.
Thank you! Then I'll look a bit more into it.