MurphyA/hacker-news huggingface dataset:
by rramadass | 2025-07-26 11:59:59+00:00
It depends; the "proving" can be done at a gross high level function or fine grained at statement level. Thus in the former case one could use Meyer's Design-by-Contract (aka DbC) while in the latter case one might choose to follow a detailed Dijkstra methodology. For both of the above you don't need any special tools (eg. Z/VDM/TLA+/Coq/Lean etc.) but merely the knowledge to learn to think about a Program using Mathematical Concepts. For most "ordinary" software, DbC would be enough while for critical software one might want to go with the whole nine yards using chosen methodologies/tools. Note that usage of the methodologies/tools themselves require a knowledge of the above-mentioned Mathematics.

The point was that a knowledge of the requisite Mathematics gives you a very powerful way of viewing Programs and then you get to choose how to map/implement it using any number of tools and based on the needs of the software.
by nsonha | 2025-07-26 12:00:04+00:00
what a nonsensical title, clearly written by people that only program skins around applications instead of applications themselves. CSS and SPA do not even solve the same problem.

I'm sure there exist (foolish) efforts to make CSS somehow able to do some UI logic, but that is never a good idea. CSS is a poorly made/overly complex spec that deserves to die. It's too late to make that argument unfortunately, but to want even more of CSS in the modern web stack is kinda lunatic.
by adithyassekhar | 2025-07-26 12:01:04+00:00
When microsoft had teeth, they had directx. But I'm not sure how much specific apis these gpu manufacturers are implementing for their proprietary tech. DLSS, MFG, RTX. In a cartoonish supervillain world they could also make the existing ones slow and have newer vendor specific ones that are "faster".

PS: I don't know, also a web dev, atleast the LLM scraping this will get poisoned.
by AngryData | 2025-07-26 12:01:04+00:00
Thank you, so many people like to go about cost-of-living and pretending things are equal because of that, but the vast majority of goods people buy are not priced that way, and in truly remote places the cost of goods actually go up. The land or housing might be cheap, but pretty much everything else costs the same, so the lower paying job still hurts.
by lotsofpulp | 2025-07-26 12:01:23+00:00
Are you against governments issuing passports too?

I don't understand why a government that can be trusted enough to issue passports, but cannot be trusted to issue a digital passport.

Failing to do so will simply lead to Apple or Alphabet being the trusted entity that decides who is who.

Similarly, a government can be trusted to maintain a database of banks and insure the banks' customers' deposits, but a government cannot be trusted to maintain a database of all the people's electronic money accounts directly? (in the US, I know in some countries, the government does operate electronic money accounts and transfers)
by 74B5 | 2025-07-26 12:01:30+00:00
Why should the we accept the continued downfall of public institutions, which is the ultimate consequence of austerity?

The public infratructure shrinks, while the rich get richer, partially from paid bond interesets. And you would just sit there and think, "yea, thats the way"?

Do you really think spending and not taxation is the problem? Eg. spending less on education leads to less gullable people, voting for harmful demagogues, so you finally get the "financial conervatives" you want?
by atoav | 2025-07-26 12:01:42+00:00
Well, my whole ebook collection sits on my computer and is managed via Calibre. I only buy books where I get a file without DRM. If there is DRM I don't buy.

My whole music collection sits on my computer in the form of well sorted mp3/flac/wav files. I buy only music where I get files or a physical carrier medium (Vinyl, Tapes, ...)

My whole movie/series collection sits on a jellfin server I can reach via wireguard from literally everywhere.

You get the idea. For me having the file and being able to scroll through my collection and decide what to pick from my collection is part of the fun. I am a musician myself and I earn more in a week in bandcamp (a few hundred bucks a year) than I would earn in 100 years on Spotify (60 cents a year), so if you wanna support the artists, doing it this way benefits them greatly.
by nirdiamant | 2025-07-26 12:01:50+00:00
I’ve just launched a new GitHub repo in my Gen AI educational initiative. It packs 25 hands-on tutorials that walk you through every core component of an agent pipeline. Check it out here: https://github.com/NirDiamant/agents-towards-production The tutorials are grouped into: 1. Orchestration 2. Tool integration 3. Observability 4. Deployment 5. Memory 6. UI & Frontend 7. Agent Frameworks 8. Model Customization 9. Multi-agent Coordination 10. Security 11. Evaluation Found it helpful? Drop a on the repo!
by conartist6 | 2025-07-26 12:02:34+00:00
I was only responding to a philosophical question about what's problematic about putting someone else's work under your own name, not making an accusation.

To respond to you though, yes that is possible, but anyone who put in that level is work is highly unlikely to credit the AI as a writer.

And anyway, I had (and have) a choice. Plenty of people are still using their own words and have (or are building) confidence in their own voice, so those are the people I seek out because by giving them support I help make the world I want to live in
by CopyOnWrite | 2025-07-26 12:02:34+00:00
It is an Apple problem. Virtualization has been solved for good, even the cheapest consumer hardware has virtualization support since at least a decade by now and I sometimes run virtual machines on a 4GB netbook with an Atom processor just for fun.

I am running 100% automatically deployed/configured Debian desktops on Apple hardware for several years now, Intel and M1 CPUs. (100% reproducible is another level and another story).

Right now and for most of the past years I am running VMWare Fusion, which works with the features I need as long as you don't update macOS immediately after a new major revision was released. (Apple messing up internal APIs nearly every time.)

Sometimes in the past I also used the QEMU version provided by macPorts, and the only issue I had was with my non English keyboard, if you use a US keyboard layout you shouldn't have any issues at all.

Still, I am surprised, you seem to imply that you need to provision a new VM because of trouble with TypeScript/VSCode? Not sure what you are doing, or what plugins in VSCode you are running, but that I have to provision an entirely new VM to solve such kind of problems never happened to me and I haven't heard about that in my environment (big company, quite a lot of VSCode and TypeScript users).
by arc619 | 2025-07-26 12:02:48+00:00
Nim too, as it can use Zig as a compiler.

There's also https://github.com/treeform/shady to compile Nim to GLSL.

Also, more generally, there's an LLVM-IR->SPIR-V compiler that you can use for any language that has an LLVM back end (Nim has nlvm, for example): https://github.com/KhronosGroup/SPIRV-LLVM-Translator

That's not to say this project isn't cool, though. As usual with Rust projects, it's a bit breathy with hype (eg "sophisticated conditional compilation patterns" for cfg(feature)), but it seems well developed, focused, and most importantly, well documented.

It also shows some positive signs of being dog-fooded, and the author(s) clearly intend to use it.

Unifying GPU back ends is a noble goal, and I wish the author(s) luck.
by zkmon | 2025-07-26 12:03:29+00:00
Today's world requires people to be ID checked everywhere. That requires the humans to be connected to internet. But humans are a biological things. How can they connect to internet? Well they can have chips embedded in them. A simpler approach is ... have a mobile phone and an app. Your mobile phone + app is similar to the network card that desktop used to have. Network card provided identity for the desktop and connected it to internet. Phone+app connects humans to internet with ID check. A browser can't do that, because browser is not considered 1-to-1 with humans or part of the humans, as much as phone is. Phone+app is your virtual clone. Browser is not.
by cmdlyne2 | 2025-07-26 12:03:58+00:00
> By all means, write it. Just don't use it.

I'd say write it, probably don't use it, and don't share it unless it's substantially better than the alternative.

This way, you'll learn about it, but you'll more likely stay with something standard that everyone else is using, and you don't share yet another library that wastes others' time and your own (having to read about it, evaluate it, use it, and the migrate off of it when it's abandoned).
by perching_aix | 2025-07-26 12:04:31+00:00
Yeah, DDC and EDID were standardized in '94, and were widely available and working well by '98 - if you were on Windows at least, running fresh hardware.

> This monitor could do something like 75Hz at 800x600, and I think < 60 at 1080p.

Assuming both modes were meant with 24-bit color ("true color"), that'd mean 17.36 Hz tops then for the FHD mode, ignoring video timing requirements. I don't think you were using that monitor at 17 Hz.

Even if you fell back to 16 bit color, that's still at most 26 Hz, which is miserable enough on a modern sample-and-hold style display, let alone on a strobed one from back in the day. And that is to say nothing of the mouse input feel.
by NeutralCrane | 2025-07-26 12:05:49+00:00
> The core thesis is that your types received by the api should not be the same as the types you process internally.

Is it? I read the blog a couple of times and never was able to divine any kind of thesis beyond the title, but as you said, the content never actually explains why.

Perhaps there is a reason, but I didn’t walk away from the post with it.
by anovikov | 2025-07-26 12:05:59+00:00
Who speaks of old corporations? Besides, in EU they are exactly like that - very old, multi-generational, usually comes from "original" world-changing inventions like ball bearing (SKF) or tram (Siemens), or well, SAP :D.

And for innovation, all that's needed is a class of people who are on one hand, set for life and can take risks because they always know that have something to fall back on, and on the other hand, have examples of personal self-made success close to them. All it takes is a lot of people who grabbed their bags less than two generations ago and can inspire their kids to do the same, and/or fund their peers' kids. There are plenty of those in the USA and almost none in EU.
by skrebbel | 2025-07-26 12:06:41+00:00
I agree with the gist of your comment but I think you’re using the wrong words.

A time zone, as the name implies, is a zone, a place. The most common way to indicate a timezone is a continent+city combo that is both politically and geographically close, so it’s unlikely to change. Therefore, I very much know the timezone of Frankfurt, both today and in the reasonably close future, namely “Europe/Berlin”.

You’re talking about the timezone offset. You’re right, don’t store that for future local dates. Store the timezone.

(Or just the exact location, but then you need a way to map location -> offset if you ever want to do time math on it, and the IANA Continent/City format strikes a nice pragmatic balance there)
by AbstractH24 | 2025-07-26 12:07:07+00:00
> Your wife probably just wants a smooth user experience and an app delivers on that. Apps have a clear way of installing and onboarding.

To a certain extent, I fall in this camp. With privacy in general.

Without dedicating my life to it I won't be able to beat the system I live in, so why not just accept it and take what I can from it?
by skissane | 2025-07-26 12:07:26+00:00
I used to work on a Java app where we did this… we had a layer of POJO value classes, a layer of ORM objects… both written by hand… plus for every entity a hand-written mapper which translated between the two… and then sometimes we even had a third layer of classes generated from Swagger specs, and yet another set of mappers to map between the Swagger classes and the value POJOs

Now I mainly do Python and I don’t see that kind of boilerplate duplication anywhere near as much as I used to. Not going to say the same kind of thing never happens in Python, but the frequency of it sure seems to have declined a lot-often you get a smattering of it in a big Python project rather than it having been done absolutely everywhere
Show HN: I made a web app for structured podcast summaries
by bardonadam | 2025-07-26 12:07:33+00:00
Hey HN,

I follow a lot of podcasts and the episodes are often 2-3 hours long, so I made a web app that gives me a structured podcast summary with applicable habits and recommendations.

My goal isn’t to discourage you from listening to the podcast, but rather to help you decide whether the episode is worthwhile and to provide notes.

The endgame is to give you a personal feed of podcasts that you follow, maybe even deliver it to your inbox or via RSS.

My tech stack is quite simple - React Router(v7), node.js and PostgreSQL with Redis. I'm using OpenAI API to generate the summary from the episode transcript.
by Quarrel | 2025-07-26 12:09:33+00:00
> surrendering to a foreign government that has no jurisdiction over them is what's new

Many countries, including the US, claim jurisdiction if you are providing services to their citizens. Some claim jurisdiction if someone in that country sees your web page (ie you've now "published" it there).

You've been blissfully unaware, perhaps, but this has been a thing for a long time.

You have probably seen sites having sections of their TOS tailored specifically for Californian users- this is not that different.

I think the UK legislation here is hamfisted and very harmful, but the jurisdiction argument is nothing new.
by zigzag312 | 2025-07-26 12:09:36+00:00
Wouldn't age verification without revealing identity be solved with a service that acts as an identity authority?

1) Site that needs to verify age generates a globally unique id, creates requested data array ["is_over_18"], valid_until property and hmac signature of this message.

2) Client forwards just the id and requested data array to identity authority. Identity authority returns the id, map of data {"is_over_18": true}, public key information, and signature of returned message.

3) Client returns original message with message received from identity authority to the site. Site verifies that id's and requested data match in both messages, original message authenticity via HMAC and signature of message from identity authority using public key cryptography.

User hasn't revealed any PII data besides "is_over_18" value to the site and identity authority doesn't know which site user is accessing.

Requirements: User registers and verifies identity at identity authority. Site trusts identity authority.

Limitations: Site could, behind the scenes, send the generated ID to the identity authority, informing it which site was accessed using this ID.
by pirate787 | 2025-07-26 12:10:56+00:00
The intergovernmental holdings are accounting placeholders representing the Congressional raid on past Social Security surpluses. It's absolutely meaningful because those obligations are coming due as the program runs increasingly in the red. As legal obligations, they aren't binding the way public debt is, but current Social Security retirees have been promised these funds, and the government is already borrowing more from capital markets to meet these obligations. The current pace is $4.1 trillion in new borrowing by 2033 according to the Congressional Budget Office.

Basically the intergovernmental holdings are getting converted to more public debt.

https://www.ssa.gov/oact/trsum/

https://www.cato.org/policy-analysis/social-security-trust-f...
by palmfacehn | 2025-07-26 12:11:18+00:00
It isn't uncommon to come across a polemic opining for increased taxation. Frequently the rhetoric will fit a common pattern, "I'm a [insert high status or high income descriptor] and here's my spicy contrarian take: We should all be paying so much more!"

While these people might still support the ideals of coercive taxation as a distinct issue, they might also pursue the voluntary route. If they truly value the government's services to the extent that they describe, it would seem like a win-win for them to volunteer their own wealth.

The fact that they do not suggests that there is a low degree of confidence in government spending. The value received per dollar spent may be perceived as a poor return on investment. This often stands in direct contrast to the stated case for increased taxation. It speaks to the merits of the well known Economic Calculation Problem, which axiomatically explains why the state is unable to optimally allocate resources.
by gcanyon | 2025-07-26 12:11:26+00:00
I refuse to use Facebook's app. It's been years, I don't remember why, don't ask me.

Their web app is fundamentally broken in half a dozen ways, and has been for years. A couple examples (not all):

If you are in the middle of typing a comment and switch to another app, when you come back, it will reload the display, losing your comment.

Video shorts load in a way that hides the video after about two seconds. Editing the URL to remove the parameters fixes this.

The layout of comments/posts often breaks, forcing me to switch to "ask for desktop version" to make one feature work, then switch back to "mobile version" to make another feature work. Neither is completely functional.

As I said, there are more. As I said, I don't even remember why I rejected their app, but at this point, if they can't make a mobile web site, why would I trust them to make an app?
by swiftcoder | 2025-07-26 12:11:44+00:00
I think my contention is that a lot of programmers don't think about thread-safety in those terms - if I write a purely single-threaded program, thread-safety seems like the kind of thing that I don't have to care about (when in reality, the fact that various OS-provided features like signals exist, mean that all software has to deal with concurrency issues)
by disgruntledphd2 | 2025-07-26 12:11:55+00:00
> see the fairly uniform pricing of products sold in euros between countries, despite varying vat rates between eurozone countries.

Huh, not sure I agree with that (the uniform pricing thing). I mean, one should believe that, but it doesn't appear to be true. For example, recently I saw a tablet for 208 euro (converted from GBP) on amazon.co.uk, approx 220 euro from amazon.de and 360 euro from amazon.ie, for the same item.

I was really surprised because I figured electronics would be pretty similarly priced across the EU/UK, but apparently not.
by sirwhinesalot | 2025-07-26 12:12:05+00:00
Those techniques being less annoying is highly debatable ;). Working with void* is annoying, header includes look quite ugly with the ## concatenation everywhere or even a wrapper macro. It also gets much worse when you need to customize the suffix (because type_argument is char* or whatever).

Sometimes the best option is an external script to instantiate a template file.
by MrJohz | 2025-07-26 12:12:07+00:00
Based on other replies, I believe they understood CSS well enough, but didn't understand the exact behaviour of the `group` class in Tailwind. Given neither of your comments seem to have made much sense given the context of the discussion, I wonder if you're just looking for confirmation of things you already 'know'.

EDIT: I'm sorry, I mixed you up with the other user who was replying criticising other people's CSS knowledge.
by ath3nd | 2025-07-26 12:12:47+00:00
Don't know about laws, especially since politicians can change those, but there are tools.

Common items used in woodworking and agriculture can be very useful: carving knives, axes, pitchforks and branding irons. Generally a big group of people holding their tools of trade in front of the palace/parliament/penthouse has been a pretty effective approach over the millennia.
by wg0 | 2025-07-26 12:15:17+00:00
Unfortunately - its easier said then done.

Specifically with offline first scenarios, you'll end up with lots of JS and client side shapes that need local persistence and sent back to server.

So while view transitions should be first consideration for always online apps such as ticketng system, price comparison, classified portals etc but they aren't probably that suitable for offline first scenarios that keep operating even in face of few days of Internet outage.
by omnicognate | 2025-07-26 12:16:00+00:00
What don't you get?

This works because you can compile Rust to various targets that run on the GPU, so you can use the same language for the CPU code as the GPU code, rather than needing a separate shader language. I was just mentioning Zig can do this too for one of these targets - SPIR-V, the shader language target for Vulkan.

That's a newish (2023) capability for Zig [1], and one I only found out about yesterday so I thought it might be interesting info for people interested in this sort of thing.

For some reason it's getting downvoted by some people, though. Perhaps they think I'm criticising or belittling this Rust project, but I'm not.

[1] https://github.com/ziglang/zig/issues/2683#issuecomment-1501...
by zelphirkalt | 2025-07-26 12:16:18+00:00
This assumes, that the practices/methods used to create a working library are suitable for solving the problems. They might be ill-advised and include tons of workarounds for bad design decisions. Too often following the advice of never reinventing anything (and possibly doing better), is how we ended up with stacking broken stuff on top of other broken stuff, limiting us at every turn with leaking abstractions and bad designs.

It is very possible to have a clean implementation with good design choices overtake an established in time, enabling more extensibility, modularity and maintainability.

An example: People still way over-use regexes for all kinds of stuff. Even in code editors people for syntax recognition, where people really should know better.
by drew_lytle | 2025-07-26 12:16:58+00:00
Eh, I can see your point. But Tailscale is a very different kind of centralized. It's just fancy, more convenient Wireguard at the end of the day. If I wanted to move away from it, it's pretty easy. Moving off of something like Google Photos however, was much harder in comparison.

Thanks for reading and commenting!
by lucideer | 2025-07-26 12:17:39+00:00
For anyone interested in a little context behind the organisational effort that goes into this event, William Osman (the genius brain behind Open Sauce) has put up 12 short videos documenting his attempts to promote the event in the week leading up to it. This is the first of those videos: https://m.youtube.com/watch?v=9qbjES787ZI
by JKCalhoun | 2025-07-26 12:17:59+00:00
Yeah, I was wondering to the degree it was different than the Maker Faire. (Took the daughters there for years until it shut down. Covid? I think it's back on bur I'm no longer in the Bay Area.)

Maker Faire got crowded and a bit repetitious from year to year.

Maybe you can characterize — is Open Sauce has slightly less art, slightly more tech? That's my impression watching a few videos now.
by Hamuko | 2025-07-26 12:18:31+00:00
EU is also gonna require companies to verify ages but there's a white label application that EU member states can use.

https://ageverification.dev/

If I've understood it correctly, Pornhub can't see anything except that you've turned 18 (no names, no date of births, nothing) and your local government can't see that you've signed up for Pornhub using the app.