MurphyA/hacker-news huggingface dataset:
by pjc50 | 2025-04-02 08:34:33+00:00
Again: preferring a default is not a reason to take away an important choice.

I can see the argument for bitlocker for laptops, due to easier theft, but for desktops the tradeoff against being able to swap disks is one to consider.

(I'm in an odd position: I tried to avoid using my Microsoft account for a new PC, gave up and logged in, then it decided the account was somehow unsuitable and gave me the local account I wanted anyway.)
by DicIfTEx | 2025-04-02 08:34:53+00:00
The US is one of very few countries not signed up to various anti-statelessness conventions, and they will allow you to renounce your citizenship without having another to fall back on.[0] This has been used a handful of times over the decades by activists (particularly during the Vietnam War). Perhaps the most recent prominent recent examples are Mike Gogulski,[1] who now resides in Slovakia, and Glen Lee Roberts,[2] who resides in Paraguay.

But the US is, of course, a fairly unique case here. Most people become stateless due to state persecution (famously many Jews were stripped of their German citizenship by the 1935 Nuremberg laws, and many Kurds were denied Syrian citizenship under Assad) or by falling through weird administrative cracks (for example, see the cases of Mehran Karimi Nasseri [3] and Shamima Begum [4]). There are also cases (e.g. many Druze in Israel and the occupied Golan Heights) who refuse to accept citizenship they are offered on political grounds,[5] who would be considered de facto stateless if they do not have another recognised citizenship (though I'm not sure how Israeli citizenship works; the US considers you a citizen with worldwide tax obligations whether you accept it or not).

The interim solution is to get a 1954 Convention Travel Document[6] from one of the signatory states, which functions like a passport (and taxes in most countries are levied based on residence, rather than citizenship, so you'll still be paying them already). For a permanent solution, you'd need to go through the normal naturalisation process to become a citizen of a new country.

[0] https://en.wikipedia.org/wiki/Statelessness#United_States

[1] https://www.vice.com/en/article/a-bum-without-a-country-0000...

[2] https://dollarvigilante.com/2015/07/20/interview-with-glen-r...

[3] https://en.wikipedia.org/wiki/Mehran_Karimi_Nasseri#Life_in_...

[4] https://en.wikipedia.org/wiki/Shamima_Begum#Citizenship

[5] https://en.wikipedia.org/wiki/Druze_in_Israel#Status_of_Druz...

[6] https://travel.stackexchange.com/a/8745
by aylmao | 2025-04-02 08:35:18+00:00
Fun fact, he did end up switching to CS [1]:

> Ph.D. Computer Science, November 2004 > University of Wisconsin, Madison

> M.S. Computer Science, May 2001 University of Wisconsin, Madison

> B.S. Physics, June 1999 Stanford University

[1] https://pages.cs.wisc.edu/~kovar/cv.html

EDIT:

Went on to work at IL&M for 5 years and has been at Google for 14 [2]. My guy did indeed end up rolling in cash haha

[2]: https://www.linkedin.com/in/lucas-kovar-185a3531/
by palebt | 2025-04-02 08:35:40+00:00
SEEKING WORK | REMOTE | Worldwide availability (EU based)

Technologies: Swift (iOS), Kotlin (Android), Dart, Java, Python (Django), Docker, Stripe, Vue.js, Compose Multiplatform, KMP, FHIR

Small team (3). Experience in top-tier companies (Google, Amazon). We develop custom software solutions, including mobile and web applications.

Contact: info {at} paleblueapps.com
Show HN: I made a Simple Wealth Tracker to reduce money-related stress
by ozaitsev | 2025-04-02 08:35:44+00:00
Hi HN, I built WealthyMe, a mobile app that helps people feel in control of their finances and significantly reduce money-related stress by giving them a clear, real-time picture of their wealth.

People say I need to be technical here, so here’s my story:

WealthyMe extends PersonalExcelExperience { void main {

while(me.isAlive) do { me.trackWealth(); } friends.observe(me); me.growWealth()..isHappy = true; friends.curios()..tryingMySystem(); do { friends.forEach { friend.trackWealth()..stressLevel.decreased() } record++; } while (record < 3); friends.happy(); }

}.toHumanLanguage(): “This idea comes from personal experience — I’ve been tracking my own wealth for over 5 years, continuously optimizing my system. It’s helped me make better decisions, grow my wealth, and most importantly — feel less anxious about money.

When I shared my system with friends, many realized their real wealth was more significant than they thought. They started feeling more confident and less stressed, just by having clarity and control. That’s when I decided to turn it into a product, hoping it could help many more people.

Psychology and behavioral finance research confirm this: people who actively track their finances feel 60% less anxious and grow their wealth faster.”

What WealthyMe does:

• Dynamic net worth tracking

• Categorized assets and obligations with fully customizable subcategories

• Real-time insights and analytics on how wealth changes over time

• Designed to motivate users with visible progress and small wins

The goal: Help people live happier, more confident lives, with money that’s growing under control — not a source of constant stress.

I’d love your feedback and happy to share more about the project, system, build.
by throwaway2037 | 2025-04-02 08:36:11+00:00
To be clear, that developer survey asked:

> Which programming, scripting, and markup languages have you done extensive development work in over the past year, and which do you want to work in over the next year?

It does not ask if you are gainfully employed and using this language for your job.

Also, in the same results, just above Rust, I see:

> PowerShell 13.8%

<sarcasm> So, I guess that we can safely say that Microsoft PowerShell is still more popular than Rust. </sarcasm>
by netcyrax | 2025-04-02 08:36:23+00:00
SEEKING WORK | REMOTE | Worldwide Availability (EU-based)

Technologies: Kotlin (Android), Python (Django), Java, Dart (Flutter), Stripe, FHIR, Compose Multiplatform

About Me: Formerly at Google and Amazon, driven by a deep passion for software and technology

Contact: myerou {at} paleblueapps.com

LinkedIn: https://linkedin.com/in/myerou
by gqgs | 2025-04-02 08:36:40+00:00
I believe there is a distinction between those concepts.

Axioms are true by their own definition. Therefore, discovering an axiom to be false is a concept that is inherently illogical.

Discovering that a formal verification system produced an incorrect output due to a bug in its implementation is a perfectly well-defined concept and doesn't led to any logical contradictions; unless you axiomatically define the output of formal verification systems to be necessarily correct.

I believe this definition don't make sense in the general case considering the number of vectors that can introduce errors into software.
by rwmj | 2025-04-02 08:37:31+00:00
I knew someone in the 90s who was born in Sarajevo and was stateless after whatever country he was born in (I'm going to say Yugoslavia?) ceased to exist. Searching this now I see the UNHCR had a campaign to get such people papers[1] so I guess he would have resolved this by now. Anyway at the time he was living in Britain as a refugee and couldn't or didn't want to leave the country, fearing that he either wouldn't be able to leave (because no other country would let him enter), or wouldn't be able to return.

[1] https://bosniaherzegovina.un.org/en/234262-live-without-nati...
by aktau | 2025-04-02 08:38:24+00:00
I should correct and clarify: I meant 3-4x more expensive in relative terms. Meaning:

- For C++ programs, the allocator (allocating+freeing) consumes roughly 5% of cycles. - For Go programs, the allocator (runtime.mallocgc) used to consume ~20% of cycles (this is the data I referenced). I checked and recently it's become closer to 15%, thanks to optimizations.

I have not tested the performance differential on a per-byte level (though that will also differ with object structure in Go).
by morsch | 2025-04-02 08:38:36+00:00
I've got a shelf full of physical cookbooks -- The New Best Recipe, The Food Lab, an Ottolenghi book, On Food and Cooking, etc. I like them, I've read through all of them, I sometimes use them for inspiration.

It's rare that I actually cook directly from them -- usually, that'd be big and fancy stuff or stuff I'm very unfamiliar with; in both cases I usually take the time to cross reference whatever the cookbook says with additional resources from the internet.

ChatGPT, on the other hand, I frequently use when or before cooking (and I cook virtually every day).

It's great when I only have a vague idea based on stuff in the fridge; five minutes later I've got a checklist I can reference. If it hallucinates something that I flat out don't think will work or, much more likely, comes up with something that I don't want or cannot do for lack of ingredients or time or whatever, I'll tell it to adjust the recipe and it does.

It's also great when I feed it a couple of existing recipes (from real people) to compare and contrast and integrate and reformat in a way that's most useful to me, e.g. a tabular format, or scaled to a different serving size.

With all that said, the AI based recipe sites don't really do it for me, either. If I want to cook purely AI generated recipes, a chat interface works fine -- and probably better. What I really want is an AI tool that helps me curate my own recipe collection. E.g. I want to ask it "I'd like to make Ramen, how did I do it the last time, what were my notes" and when it's done I want to tell it "ok, this was fine, I decided to double the mirin and next time I'd marinate the eggs longer" and have it update the recipe.
by hilbert42 | 2025-04-02 08:39:25+00:00
The trouble with all these schemas is that to be useful the wider world has to be informed of them, ipso facto Microsoft automatically becomes informed hence their shelf life is always going to be limited.

I wish some bright spark would find a way of simply eradicating the code or subsystem that contols that, or patch it so it is effectively neutered.

Sure, if its eradicated then a new account creation system would have to be installed, so patching it would likely be the best option.

OS protection could be bypassed by booting from say a Linux disk. That's how I now rip out much of what I don't want and it's turned out to be reasonably successful.
by bilekas | 2025-04-02 08:39:50+00:00
It has some basic features that are 'in-house' like a login, everything else seems to be using third party API's. As per the longer article :

> Eleven Labs API for text-to-speech conversion

> streamio-ffmpeg gem for audio file analysis

> Active Storage integration for audio file management

> OpenAI integration for recipe generation

etc. I'm not saying it's not a fun excersize in 'vibe coding', I'm just very curios the quality of the code that was actually produced. Its my feeling project maintainability is something that will be a big pain point in the future is people are relying on these tools.. 35k LOC for this recipe app smells like that to me at least.
by derkades | 2025-04-02 08:40:07+00:00
Nice project!

Did you know that instead of buying new motor controllers, you can re-use the hoverboard motor controller? Awesome people have made open source firmware you can flash to it: https://github.com/EFeru/hoverboard-firmware-hack-FOC. With this firmware you can make the motors go way faster, up to 40km/h with a 12S battery.

We are also building a kart with hoverboard motors, with a custom welded steel frame. Vibrations are a real issue with the standard solid rubber wheels, hopefully I can find the same air tires you used!

Our website is in Dutch, but you can watch the videos: https://projects.raphson.nl/projects/kart/
by croon | 2025-04-02 08:42:53+00:00
Seriouseats, Epicurious, Bonappetit, or anything with Kenji Lopez-Alt (for always going the distance in methodically and empirically testing all variations of whatever he is evaluating/developing).

If you want something in the short form video era, I do appreciate Andy Hearnden (andycooks) as he is both concise, consistent and always posts the full recipe in the video descriptions (all too rare).
by subscribed | 2025-04-02 08:43:20+00:00
I can imagine a firefighter, miner or steelworks worker relying on the smartphone in emergency. Like, seriously, a miner, half of a mile under the rock.... Carrying smartphone?

Heavy duty wearable tags and a dense network of wall-mounted relays pinging them and triangulating 24/7 can be the only solution. Sure you can use BLE beacons for that, and this is being solved with multiple competing products as we speak (look up "locating objects in warehouse"), but specifically for the human safety applications, they would have to be imposed by the regulators. Workforce is seen as disposable and nothing short of laws and regulations is going to force employers to improve safety.
by mandmandam | 2025-04-02 08:43:36+00:00
> you're so hyperbolic and hysterical I don't even know where to begin.

No they aren't.

The situation is just so absurd and extreme, yet normalized, that accurately describing it makes people sound weird. That's why Chomsky speaks in that extreme monotone, to counterbalance the very real horror and extreme nature of the things he is saying.
by waynesonfire | 2025-04-02 08:43:42+00:00
Switched to FreeBSD at home as well and it was such a wonderful decision.

As a long time Linux user, what was unexpected and eye-opening was seeing how FreeBSD does things. Somethings better and somethings worse. The better things are WAAYY better. And, for many of those things that felt better, in summary it's really the culmination of the entire ecosystem. The whole package is just better to me. The cohesive system is really a killer app. Oh, and pf is great too.

I havn't given up on linux; it's just running as a VM in bhyve now.

I also run Freebsd on a Thinkpad T490 laptop. Works great.
by psychoslave | 2025-04-02 08:43:48+00:00
Also note that the following is a valid Crystal-lang code:

%w[Peter Julia Xi].map { |name| "Hello, #{name}" }.each { |greeting| puts "#{greeting}! Enjoy your Crystal" }

As they put it:

>Crystal is a general-purpose, object-oriented programming language. With syntax inspired by Ruby, it's a compiled language with static type-checking.

But this time, one can probably say that Crystal will lake the benefits of ecosystem that only a large popular language enjoy.

I guess on that side F#, relying on .Net, is closer to Kotlin with Java ecosystem.
by aucisson_masque | 2025-04-02 08:44:00+00:00
> There was a bit of an uproar a few years back about how many premiership football players were using asthma medication, a higher rate than the general population. The implication being that they were using them as performance enhacning drugs. But if you take into account that they disproportionately come from poor inner-city areas (not all, but many more), the proportion with asthma looks much more in line with the background rate.

That part can also be explained because asthma drug is used as masking agent when taking steroids and other PEDS, which is quite common at this level.
by adrian_b | 2025-04-02 08:44:06+00:00
More than 20 years, with a single-core Pentium 4, it could take indeed something like 3 days of continuous compilation to compile an entire Gentoo distribution, in order to have a personal computer with every application that one might want.

However, already after the appearance of the first dual-core AMD Athlon64, 20 years ago, that time could be reduced to not much more than a half of day, while nowadays, with a decent desktop CPU from 5 years ago, most Gentoo packages can be compiled and installed in less than a minute.

There are only a few packages whose compilation and installation can take a noticeable time, of up to tens of minutes, depending on the chosen options and on the number of cores of the CPU, e.g. Firefox, LibreOffice, LLVM.

There is only a single package whose compilation may take ages unless you have an expensive CPU and enough memory per core: Google Chromium (including its derivatives that use the same code base).
by stavros | 2025-04-02 08:45:25+00:00
I didn't go into the implementation details so I won't comment on that, but I will say that this is a really important problem to solve. I've long wanted/needed an agnostic sync layer that apps could use to sync my changes across clients and servers, and it would be great if app developers didn't have to put any work into it, they'd just point their database to a URL and the database would take care of all the syncing.

This means that the app developer could support private syncing without any effort, and I wouldn't have to pay a subscription just for sync, I could just run a sync server on my NAS and all apps would know to sync their data with it. Of course, app developers don't want this because subscriptions are a reliable income stream, but hopefully users would push for it.
by matteason | 2025-04-02 08:48:11+00:00
If anyone would like to play with something more interactive, I'm testing out some new effects on Ambiphone, my ambient soundscape web app. The test version is at https://test.ambiph.one

There's a basic playback speed control now (basic in as much as it doesn't preserve pitch) plus things like reverb and delay effects

Here's some slowed-down ambient music: https://test.ambiph.one/?m=1-Slow+Realisation-ap50a25c60

And a cat purring at 50% speed makes a pretty convincing lion: https://test.ambiph.one/?m=1-Lion's+Den-aa8a34c60e37f100ac50...

(Audio may be a little glitchy on Android Chrome if you have lots of sounds playing - I'm debugging that at the moment)
by mapleoin | 2025-04-02 08:49:00+00:00
Arenko (energy transition/batteries) | London, UK | 2x/week in office

We work on industrial/grid-scale batteries and other renewable generation: monitoring, managing and trading them on multiple energy markets. Batteries like these: https://en.wikipedia.org/wiki/Battery_energy_storage_system Everyone starting from the C-suite is passionate about addressing climate change and transitioning to renewable energy!

We're a small team of 7 backend engineers atm (other teams have Ops, FE and DS roles). We have paying customers and have been around for 10 years. Our current goal is to make the platform more scalable to deal with the customer growth and move to new markets. The biggest challenge is understanding how the various energy markets and energy storage in general work and then translating that to reliable working software.

We're currently looking for a Senior Backend Engineer (Go). Our office is in London Blackfriars and most engineers come in about 2 days a week, but this is flexible.

Feel free to message me with any questions or apply directly:

https://arenko.bamboohr.com/careers?source=hn

https://arenko.group/careers/
by ZeroGravitas | 2025-04-02 08:49:17+00:00
Musk is the share price.

Tesla could become a normal electric car and battery storage company and be fine, thrive even.

The share price would plummet to the same valuation as other companies doing similar work, which would be disastrous for people who bought in at the insane valuation that seems disconnected from reality and has done for years.
by reify | 2025-04-02 08:49:26+00:00
I have been living on a ketogenic diet for over 20 years.

I do find it strange that when I go to my GP to have my annual health check up, my cholestrol levels have always been below normal.

Yet, My daily fat intake is around 75% of my calories.

I do only eat quality fats, avacado oil, olive oil, butter and coconut oil, as well as the fats in the meats that I eat. I eat about 18 eggs every week.

I'm knocking on 70's door. Keto has worked for me, why not other people.

I was always told when I was a young man that high cholesterol was due to eating fats. yet this is not true.

Low fat Margarine was promoted as the next big thing for good health. years later we are now told its the most dangerous thing we can put in our bodies.

Eggs, in particular were the evil culprit, One must always avoid eggs.

I remember a TV advert in my teenage years promoting eggs with the line "go to work on an egg".

My ex-wife used to be a persoanl trainer who worked for the NHS with patients who had open heart surgery.

she told me, that when eating natural fats, the ones that out bodies recognise, our bodies take what it needs and then passes the rest out from our body.

When eating margarines and fake manufactured low fat spreads and oils etc, our bodies do not recognise the unnatural fats and cannot choose what to use and what to pass from the body, instead all the fats are absorbed into the body.

maybe an answer as to why half the population of the western world is obese.

I grew up on a family diet of meat and two veg.
by genocidicbunny | 2025-04-02 08:51:08+00:00
To offer a counter view, for me, I might enjoy having the photos rendered in the Ghibli style for a short period of time, but they will never be either timeless moments of my kids, or stills from a timeless animated film. I'm always going to find myself associating the images with a fairly low-effort attempt to do something 'cute' because I am hard pressed to feel that prompting an AI and feeding it an existing image is the appropriate effort on my part to create something memorable.

This is highly personal though, and if it works for you, then you have one of the best reasons for using this sort of image generation -- to create memories and experiences with your family.
by isoprophlex | 2025-04-02 08:51:14+00:00
This is just excellent, it works a lot better than I thought it would. You can really drown in the song, whoa.

aaaallllll myyyyyy paaaasssstt aaaaaaandd fuuuttuurrreeesss

I'll add that there's a lot of extremely timestretched tracks from Aphex Twin's Selected Ambient Works II on youtube as well. They all sound glorious, too
by pjsousa79 | 2025-04-02 08:52:35+00:00
In 2019, ambient air pollution claimed the lives of young children at alarming rates in several countries. Here's the top 10 list of countries with the highest number of deaths per 100,000 children under 5 due to ambient air pollution: Nigeria – 18.95 Chad – 18.10 Sierra Leone – 12.02 Mali – 10.56 Guinea – 9.90 Niger – 9.64 Cote d'Ivoire - 9.04 Central African Republic - 8.79 Cameroon - 8.69 Burkina Faso - 8.68

These numbers highlight how air pollution isn't just an urban problem — it's a public health crisis in low-income countries where children are the most vulnerable.

Source: Baselight analysis using data from Our World in Data, originally supplied by the World Health Organization (WHO). https://baselight.app/u/pjsousa/query/top-10-countries-with-...
by sethammons | 2025-04-02 08:54:05+00:00
Periodic and regular cycles (sine wave) suggests that there is over correction happening in the system, preventing a stable point. More regular measurements or tempered corrections may be called for.

Concrete example: the system sees it's queue utilization as high so it throttles incoming requests, but for too long, the queue looks super healthy on the next check, so the throttle removed but too long until checking again, and now the util is too high again.
by adrian_b | 2025-04-02 08:54:46+00:00
This is somewhat exaggerated.

The compilation of firefox could take a few hours on some laptop dual-core Skylake CPU from 10 years ago.

Nowadays, on any decent dektop CPU with many cores the compilation of Firefox should take significantly less than an hour, though it remains one of the handful of open-source applications with a really long and non-negligible compilation time.

The Linux kernel is normally compiled much faster than Firefox, except when one would enable the compilation of all existing kernel modules, for all the hardware that could be supported by Linux, even if almost all of that is not present and it would never be present on the target computer system.