MurphyA/hacker-news huggingface dataset:
by Koshima | 2025-05-19 10:15:48+00:00
It’s a great question. I think part of the answer lies in changing how we frame entrepreneurship. Instead of just focusing on the hustle and financial rewards, we should highlight the creative problem-solving, the freedom to experiment, and the satisfaction of building something meaningful from scratch.

A lot of the excitement in other subjects comes from discovery and exploration, and starting a business can be just as much about learning and adapting as it is about scaling and profits.

What do you think? Would reframing entrepreneurship as a craft make it more interesting to beginners?
Show HN: Berlin Swapfest #2 – Electronics flea market (July 20th, 2025)
by mirshko | 2025-05-19 10:15:57+00:00
Hey again HN!

After the success of the first swapfest we're happy to announce we're back for a second on July 20th, 2025 in Berlin at c-base.

Thank you so much for all the kind words and an even bigger thank you to those who came through in person.

We're excited to be hosting this event again and excited for the second.

More details on the site!

As requested, we've set up a bluesky account. https://bsky.app/profile/swapfest.berlin
by Cthulhu_ | 2025-05-19 10:17:04+00:00
> RESPECT. The respect you get at this level is just over-the-top. You are THE MAN in almost every circle. Governors look up to you. Fortune 500 CEOs look up to you. Presidents and Kings look at you as a peer.

This was the one that made me question the whole post. I don't for a second believe this respect is genuine. This isn't about the person you are, but the money you could spend on whoever's kissing your ass.

I mean if you can delude yourself into thinking it's genuine I'm sure it can be enjoyable, but I for one am confident anyone "up there" is scheming something. Political and economic chess. I'd rather just be wealthy enough but unknown.
by awanderingmind | 2025-05-19 10:17:38+00:00
A reasonable question - another way of looking at it is that theorems are just a side effect of mathematical research. Much of the world economy depends on things like cryptography, which involves a bunch of theorems. The question is then 'what as yet undiscovered mathematical realms might models think up that could make people money'? It is hard to imagine what doesn't exist yet, but much harder to imagine that all potentially profitable mathematics has already been discovered. This could 'just' look like algorithmic improvements.
by permo-w | 2025-05-19 10:18:00+00:00
my analysis of it is that it's a way of making people wonder "oh why is he writing it like that?" like I did, lead them to the foundation, and have them engage with it and be aware of it in the future; i.e. marketing. it's quite clearly not a practical thing. the probability that by the time 10000AD rolls around we're still using the same year system, we're still alive as a species, we're still technologically capable as a species, and we don't have the capacity to understand older years minus the leading zero seems near enough zero to be zero. call it what you like, marketing, inspiration, whatever, but it's a sneaky way of leading people's thoughts onto a particular pathway, which I call marketing

to be clear, having read through their website, I think what they're doing is great, and this isn't a criticism
by Koshima | 2025-05-19 10:18:47+00:00
It's fascinating how much body language and facial expressions differ across cultures. While some societies value open, expressive interactions, others lean toward reserved or neutral expressions. I’ve noticed this in my travels, a simple nod or slight smile can mean very different things depending on where you are.

I wonder if these cultural norms around eye contact and facial expressions have roots in deeper societal structures, like the emphasis on individualism vs. collectivism, or even the pace of life in different regions.

What do you think? Could these small, often overlooked gestures reflect much larger cultural attitudes?
by StopDisinfo910 | 2025-05-19 10:18:53+00:00
The constant criticism of people actually trying to do something by people who prefer sitting on their hands is impairing in itself.

People are basically constantly dragging everyone down including themselves while doing absolutely nothing.

I mean technically I guess they sometimes vocally protest in the street that they don't understand why someone else is not solving their own problem or that they would prefer we just pretended the problem never existed which is pretty much equivalent to doing nothing if not worse.
by everdrive | 2025-05-19 10:19:16+00:00
Until we start optimizing code, websites, etc this is a meaningless argument. Computers could use much less carbon than they do, but everyone needs them to be really fast, really powerful, use ray tracing, etc. But what most people do on computers could easily be done from a computer 20+ years ago; email, chatting, watching videos, word processing. In an alternate reality, the computing advances over time would have all been about efficiency, and code, operating systems, and websites would be written lean to work on much slower devices. We'll never live in that world, so Seagate's argument could potentially be true in a technical sense, but ultimately doesn't matter.
by Cthulhu_ | 2025-05-19 10:19:35+00:00
> Similarly it took me a long time to realize just how much better the veneer wood furniture and doors are compared to laminated chipwood. Price is 3-4 times higher but it lasts 5-10 times longer and is much more pleasant to use. Unfortunately you need years to notice such long-term differences, unless someone tells you.

Isn't this also down to age? That is, stuff like that built 100 years ago is - in my head - better quality.

However, this may very well be survivorship bias - of course anything built 100 years ago still around today is good, because anything that wasn't as good is long gone. Like my ikea furniture will be as soon as I try to move it.
by bob1029 | 2025-05-19 10:20:02+00:00
I think the numbers might be broken?

If it costs you 5000 kg of CO2 to manufacture the SSD, you will never recoup in operational terms no matter how it's sliced.

A modern NGCC power plant generates 400-500kg of CO2 per megawatt-hour of energy produced. It would take well over 100 years of operation to begin approaching this at a consumption level of ~10w.
by Aissen | 2025-05-19 10:20:08+00:00
The source on Embodied Carbon in SSDs seems to be this 2022 paper: https://hotcarbon.org/assets/2022/pdf/hotcarbon22-tannu.pdf ; but unless I'm mistaken, it does not claim anything like the full Seagate "report": https://www.seagate.com/content/dam/seagate/assets/resources... ; there might have been an "extrapolation" because 30TB SSDs did not exist then (outside labs).

I'd treat it with a two-order of magnitudes (at least) grain of salt.
by zarzavat | 2025-05-19 10:20:21+00:00
Presumably an AI would formalise the proof in a system such as Lean, then you only need to trust the kernel of that proof system.

Rejecting a proof would be more complicated, because while for confirming a proof you only need to check that the main statement in the formalisation matches that of the conjecture, showing that a proof has been rejected requires knowledge of the proof itself (in general).
by bambax | 2025-05-19 10:20:31+00:00
> this is definitely untrue

> Obviously, everyone still use Office because, well, there is no alternative to Office

So it is, indeed, true. Can you clarify what your point is, exactly? (Also: there is an alternative to MS Office, which is LibreOffice. It works ok. It's not as powerful, maybe (maybe!) but it's fine.)

> Do you realise how funny it is to see you complain that you can't see the car companies in a data base about road accidents while not realising how awesome it is that you have access to such a database?

No, I really don't. It's not "awesome" to have access to that data. This is public information. Citizens don't have to be grateful of what the state does. THE STATE WORKS FOR US, not the other way around.

And as it is, it's not very useful, since the most important data is withheld.
by Koshima | 2025-05-19 10:21:06+00:00
You’re definitely not the only one. I’ve seen a few discussions recently about unexpected billing for GitHub’s “code security” features. It seems like the feature gets auto-enabled without clear communication, and turning it off isn't straightforward.

One thing you can try is reaching out directly to GitHub support via their official Twitter account. Sometimes their social media team responds faster than traditional support. Also, check if any new team members or integrations could have triggered the feature.
by karkob | 2025-05-19 10:21:14+00:00
That's only the language, I strongly recommend using dedicated VS Code extension that supports graphical tools VS code extension: https://marketplace.visualstudio.com/items?itemName=verum.de... Verum Dezyne binary: https://verum.com/download/ It's a bit confusing but Dezyne - language, command-line version. Verum Dezyne - same + graphical tools

If you need a working example, you can find a simple Cmake/C++ implementation: https://forum.verum.com/t/automatic-lights-a-complex-system-...

If you are stubborn enough you can model even the smallest detail of logic in Dezyne and then use single lines of C++ hand-written code to manipulate IOs: https://bitbucket.org/j0ran/alarmsystem/src/alarmsystem-no-m...
by Koshima | 2025-05-19 10:22:40+00:00
I’ve noticed this as well. It’s surprising how often the true value of certain high-quality items isn’t obvious until you’ve experienced them firsthand. It’s not just about status, but often about longevity, comfort, or simply a better user experience.

For example, things like handmade leather shoes, solid wood furniture, or even high-end kitchen tools like Miele or Sub-Zero appliances can feel like overkill until you’ve actually used them. Then you start to appreciate the craftsmanship, the reduced hassle, and the longevity they offer.

Curious if others have had similar experiences – what’s one “expensive” item that genuinely changed your perception once you owned it?
by rajnathani | 2025-05-19 10:23:14+00:00
A writing feedback: After you added the "Clarification" update, you could also have put something like "Update (read below)" in the bold part "NFC-F support is not enough to use your phone as an IC card".

Otherwise, thanks for writing this article, it is very insightful, especially the whole parallel NFC standards development process in the early days of the technology by Japanese companies like Sony.
by karkob | 2025-05-19 10:23:48+00:00
Dezyne runs formal verification under the hood (Model checking), which basically means checking all possible situations that might happen in your code. You can create a requirements/constraint like statements and Dezyne will check is there a scenario where you violate them. Also it makes sure that every single has a correct handler, so no more unexpected timer interrupts.

It short words - you don't need to write unit tests and target code generates directly from the model
by Cthulhu_ | 2025-05-19 10:24:11+00:00
> People no longer need 50-100 years furniture, because nobody wants to inherit old stuff anymore.

I'm going to challenge this assertion: did anyone, ever? Looking around in my parents' house (retirement age), there's no furniture from their parents (post-WW2). I don't remember whether my grandparents had any furniture of their parents in use either.

I do recall going to the charity shops and finding older wooden furniture; while I recognize it as better quality as what you can get today, at the same time it's no longer useful today. TV cabinets (with doors) for CRT TVs and video tapes, writing tables, those kinds of things are obsolete. Tables are timeless though.

But also, over time a lot of that old furniture was either destroyed or bought up and exported. What you find in the charity stores near me today is mostly 90's and onwards.
by wvh | 2025-05-19 10:25:07+00:00
That's a lovely idea. I have been working for large open data projects and secretive private data collections and they both fail in their own ways. Maybe the open-source gathering with a proper authority to lock down and shepherd data in case of dispute or vandalism is the golden middle way. Sort of like the BDFL concept: open for all, ultimately vetoed by a benevolent entity.
by archi42 | 2025-05-19 10:25:23+00:00
That's true, at least around here [Germany]. Plus the nasty stuff might leak into the environment over the decades, and it's a pain to dispose of.

IIUC, they replace them with plastics since the plastic is seemingly more ecologically friendly and easier to recycle.

Mind concrete sleepers are what's used these days. You'll find wood only in shunting or cargo yards. (Or museums. Or the US - see linked commen by LeonM).

Source: I randomly met someone involved with that project. A proper train enthusiast can probably elaborate here, but I think I remember the core idea correctly. Also this obviously doesn't necessarily hold globally, though I can imagine many track operators face similar challenges.

Edit: While I wrote the above, LeonM wrote a nice reply on a sibling comment - https://news.ycombinator.com/item?id=44028161
by socalgal2 | 2025-05-19 10:25:33+00:00
I've had the opposite thought. If I had these blinds I'd set them to open around the time to when I want to wake up. The light would tell my body it's time to get up and I'd wake up earlier and possibly more awake. At least that's the hope. Vs now, my blinds are closed for privacy, the room is dark in the morning, dark rooms make me sleep longer.
by SomeUserName432 | 2025-05-19 10:27:29+00:00
> The free web mail client is full-featured, time tested and has no ads.

I'm currently paying for proton mail, but I'll be migrating away for it once my current period expires, exactly because it's not full-featured.

It has the worst search I have ever seen in a mail client. Even after enabling content search it's as good as utterly useless.
by Sammi | 2025-05-19 10:27:36+00:00
Yeah this is why you shouldn't use voting machines. Paper voting is already great. Whoever is trying to sell you a voting machine does not have your best interests in mind.

Very few people have any change of understanding machine voting systems. With paper voting we get much better transparency of the voting procedures. Any form of machine voting is terrible for transparency and democracy compared to just plain old paper voting.
by gnfargbl | 2025-05-19 10:28:39+00:00
I thought so too at first, but after a little bit of research, those really do appear to be the correct numbers. For instance, a detailed report [1] into one of Seagate's 1.92TB SSDs suggests that it consumed >200kg CO2 per TB. Eye-opening, really.

[1] https://www.seagate.com/files/www-content/global-citizenship...
by rsynnott | 2025-05-19 10:28:57+00:00
> We really need more modern moral theories which resonate with people. They all have downsides but the speed with which utilitarianism has been reduced to absurd once exposed to the internet is impressive.

I mean I think the internet is quite good at producing insane fringes for pretty much _all_ moral theories. There is no internet-proof philosophy.
by falcor84 | 2025-05-19 10:29:17+00:00
This is great! I'd also like to mention pytch.org which takes a slightly different approach to the same problem, essentially recreating most of Scratch within python, and teaching learners how they'd go about writing code to do the same sort of stuff they would have done with Scratch, and then to extend it with python stuff that isn't possible in Scratch.

Thinking of it now, I wonder if the two approaches could be combined?
by FinnLobsien | 2025-05-19 10:29:58+00:00
I'll always applaud people building things and experimenting and building momentum, so I think this is a worthwhile exercise, but practically questionable.

I think this is extreme micro-optimization of something that ultimately matters little (or not at all).

The hard part of PKM isn't finding the perfect tool, it's to take the time to:

-read/experience something and actually take good notes on it -actually retrieve something from your notes and add to it with new knowledge

Those two activities are how you get almost 100% of the benefit of note-taking, whether you're using a self-hosted sync or a folder of txt files.

Of course, a few things make these easier (linking, RAG, daily docs), but most of the common tools now offer this
by jajko | 2025-05-19 10:30:15+00:00
Not really, ie that Maldives bungalow - I had exactly same experience in Mabul island for example, with 0 snobbishness that luxury inevitably brings (and is disgusting for me personally). Literally watching manta rays under my feet while eating breakfast. Kids would come on their dhingy and sell fresh coconuts right from water. All for peanuts.

Very similar experiences can be had in ie Togian islands in Sulawesi. And I could go on. Not everything is yet spoiled for rich.

As said its not full end-to-end experience, ie getting there in economy flight class instead of direct private jet is... well different, but the gist of adventure and reason why actually travel there can be easily matched, or surpassed. While leaving much more intense trail of memories and experiences with locals, which is what you are left with at the end. Instead of having everything served on plate like a clueless baby, you discover and 'fight' for your own adventures. And while paying 1-10% of price rich living next door paid.

Coming back from such vacation makes it feel like it lasted massively longer. 2 weeks feel like a month at least, 3 like few months. 3 months in India & Nepal spent in such way felt, and I am not joking, like decades spent traveling. A very surreal and profoundly enjoyable feeling, when memories of life back home feels like memories from previous life before one reincarnated.
by Cthulhu_ | 2025-05-19 10:30:32+00:00
Another related interesting one is that rich people don't wear brands anymore - brands are for normal people, they're advertised to look like they are for the rich but their prices are still in range for a lot of people if they put some money aside. This starts with iphones and airpods and goes to Louis Vuitton and the like.

The tech billionaires don't wear anything branded or flashy besides their $1M watches, just good and well fitting clothes.
by hagbard_c | 2025-05-19 10:30:32+00:00
Could you explain what about my opening paragraph comes across as 'insane' and 'paranoid'? Are there inaccuracies which cause concern for you and if so could you point them out? As far as I see there are no such problems but if you can point them out I may change my mind. If you can not, well, in that case I can only conclude that this ad-hominem attack is the result of you not being able to debate the facts and as such feel like you have to resort to 'comfortably' defaming the character of the debater.
by xnorswap | 2025-05-19 10:31:04+00:00
Right, but the confirmation prompt could say something like,

"You're sending $100k to L33tHaX0R, are you sure?"

But that would require the protocol to also have the ability to set friendly names against public addresses.

You could imagine a wallet that uses certificates for address validation. So a certificate owner could sign that they own a given public key. ( And sign with the public key to show they own that key too. )

Then that could go into a "verified recipients" section of the wallet, and you could set your wallet to only allow sending to verified recipients. ( Or only allow transactions over X to verified ).
by gniv | 2025-05-19 10:31:35+00:00
If you like geometry I recommend problem 2 from that 1987 IMO. Simple formulation, elegant solution. Hard, but not crazy hard imo.

"In an acute-angled triangle ABC the interior bisector of the angle A intersects BC at L and intersects the circumcircle of ABC again at N. From point L perpendiculars are drawn to AB and AC, the feet of these perpendiculars being K and M respectively. Prove that the quadrilateral AKNM and the triangle ABC have equal areas."
by detourdog | 2025-05-19 10:31:48+00:00
My theory is that the appliance market has developed a low cost tier of products that are poorly developed and produced. This tier of products have minimal quality standards and the thinking is the the consumer will replace it or move.

I had to purchase appliances for apartments and the first wave of products were breaking within a couple of years. I ended up purchasing appliances from high-end European companies in the second wave of appliances and haven't had issues for 3 years. The original ovens had 3 out of 5 failures before people moved in. 2 of them broke because the flimsiest plastic door latch protruding about 1" from the door broke. The doors of the oven could be removed with no tools. The company said they could send me new doors for a cost and that I could schedule a video call with the factory to learn how to re-install an oven door.
by jpc0 | 2025-05-19 10:32:09+00:00
Their inktank line is quite scummy tbh…

Catch filter that can be trivially replaced in the field, firmware needs to be reset by an authorised repair center (yes there are workarounds but they aren’t official)

Also on windows their “drivers” install a ton of crap with them, even when you install the most basic version in their installer. When in fact they have go a driver which does exactly what it should and only installs a driver but then they don’t get that sweet spyware installed on your machine.

Never mind their network printer driver just failing to print half the time. Prints fine from my phone, on the same network right next to my PC but from my PC, FU.

Epson are not innocent in the chaos that is printers.
by dl9999 | 2025-05-19 10:32:20+00:00
Same for me. I spent the first 45 years of my life breathing almost entirely though my mouth. Then I tried some nasal spray that was great, but made the situation worse when I inevitably overused it, so I went to a doctor. I had been told when I was a kid that I had polyps, so I went to see about getting them removed. She put me on Flonase, which at the time was prescription, and since then I've been able to breathe through my nose unless I'm sick. It has been a significant quality of life improvement for me.
by AStonesThrow | 2025-05-19 10:32:21+00:00
No, you do not understand Help Desk Level I Troubleshooting.

The steps are invariably:

- Turn it off then turn it back on again

- Force stop, clear your cache and cookies

- Disable AV and firewall then reinstall

If the user cannot be induced to follow this simple script, then we can never move past the most basic of troubleshooting sessions.

Because everyone knows that troubleshooting is about covering up the symptoms rather than diagnosing the root cause.
by StopDisinfo910 | 2025-05-19 10:33:27+00:00
> Most things don't work

Sure, apart from paying your taxes with entirely pre-filled forms, accessing all your medical bills, upcoming reimbursments, communication with the public medical insurance and your full medical history from a single place, doing everything that needs to be done with the French equivalent of the DMV, paying fines, changing your address everywhere with one form when you move, getting a digital copy of your ids and driving licences with the same value as the official one in a couple of minutes, requesting official documents like your criminal record or birth certificate and getting them mailed to you and all of that with the same unique login, absolutely nothing works.

I mean, what have the Roman ever done for us?
by dotancohen | 2025-05-19 10:33:41+00:00
> The burning question that arises in my mind is why nobody was doing this in 01890, 135 years ago > Mason put Masonite into mass production in 01929

Thank you for taking into consideration that for us readers, 1890 was 135 years ago. Just so you know, people from this era haven't started writing 4-digit years with the leading zero yet.