MurphyA/hacker-news huggingface dataset:
by chuckadams | 2025-07-31 13:01:48+00:00
> You traverse and read JSON and convert it to HTML

It gets converted to DOM nodes, and there is zero HTML source involved when using a component toolkit. Whereas in PHP, you can do things like this and it won't make a peep:

$foo = '<h1 <um & hi=="bla""foo"""arglebargle>>>>>'; ?><?= $foo ?>

Other template engines like twig or blade will at least escape it by default, but of course have a syntax for interpolating it raw, otherwise they wouldn't be very useful as template engines. That's the sort of templating I'm talking about. JSX is a tree builder syntax that doesn't even produce strings at all on the client side, and when rendered in SSR, produces HTML source that's correct by construction (syntactically anyway). You can call that "fake templating", I'd say it's not templating at all.

Obviously there are other server-side template engines out there that are also correct in this fashion (HAML comes to mind), but I'm not referring to those, and neither is most of the "server-side is all you ever need" crowd.
by harperlee | 2025-07-31 13:01:51+00:00
Perhaps this thread is a good place to ask, could anyone contribute their own opinion about the relative future of lean vs. idris/coq/agda? I want to dedicate some time to this from a knowledge representation point of view, but I'm unsure about which of them will have less risk of ending up as so many esoteric languages... I sank a lot of time on clojure core.logic for a related project and got burnt with the low interest / small community issue already, so I've been hesitant to start with any of them for some time.
by bigfudge | 2025-07-31 13:03:14+00:00
Even in the loosest sense, I struggle to see how the uk is any more theocratic than any other European country. The lords spiritual have minimal practical influence over policy. And while I’m a republican, I don’t think the monarch has much influence over public policy. I guess you could argue they have soft power but that seems like it might also be true of religious leaders in any country. Is Israel a theocracy in your view?
by ports543u | 2025-07-31 13:03:26+00:00
The owner of this site is involved in a scrapping business[0]. How can she justify that with fast-ness?

>Performant stealth mode

>Scale browsers with bot anti-detection. Access high performant residential proxies and built-in auto-CAPTCHA solvers

[0] https://www.onkernel.com/#:~:text=Performant%20stealth%20mod...
by mr90210 | 2025-07-31 13:04:11+00:00
> Congrats, rustc forced you to wrap all your types in Arc<Mutex<_>>

Also, don’t people know that a Mutex implies lower throughput depending on how long said Mutex is held?

Lock-free data structures/algorithms are attempt to address the drawbacks of Mutexes.

https://en.wikipedia.org/wiki/Lock_(computer_science)#Disadv...
by CodeBrad | 2025-07-31 13:04:36+00:00
I may be biased, as I definitely love more than 50% of Rust, but Go also does not protect against logical races, deadlocks, etc.

I have heard positive things about the loom crate[1] for detecting races in general, but I have not used it much myself.

But in general I agree, writing correct (and readable) concurrent and/or parallel programs is hard. No language has "solved" the problem completely.

[1]: https://crates.io/crates/loom
by fjfaase | 2025-07-31 13:04:37+00:00
I understand that the Mizar community is rather closed and primarily focused on extending the Mizar Mathematical Library. The Mizar proof checker is closed source.

Lean is gaining traction, which can be seen from the fact that at the moment 81 [1] of the 100 theorems of the 'Formalizing 100 Theorems' [1] have been proven in Lean, while Mizar stands at 71 [3]

[1] https://leanprover-community.github.io/100.html

[2] https://www.cs.ru.nl/%7Efreek/100/

[3] https://mizar.uwb.edu.pl/100/
by mapontosevenths | 2025-07-31 13:04:56+00:00
> Did I say I supported them?

You did not say you supported it. However, you used minimizing language to describe it, and whattaboutism to distract from it. That's the same thing as defending it.

Other people having also done bad things in the past is not sufficient justification to continue doing bad things now.

Trumps cages were built with cruelty in mind. Obama's had air conditioning and showers. Trumps were intentionally built in broiling hot swamps without AC or enough showers. Obama's also housed families together, rather than ripping children from their parents. Trumps cruelty was part of the point and very much intentional.

I'm in favor of enforcing existing laws, although I do believe they should start from the top down by arresting those who hire illegals rather than the illegals themselves. They'll stop coming once the jobs dry up.
Nova: A New Web Framework for Erlang
by taure | 2025-07-31 13:06:16+00:00
Hi Hacker News community,

I'm excited to share Nova, a new web framework built for Erlang, designed to make web development in Erlang simpler, faster, and more approachable. Nova leverages Erlang's concurrency, reliability, and scalability to create a robust yet lightweight framework for building modern web applications.

Key features:

* Lightweight and modular: Easy to integrate with existing Erlang projects.

* Built for concurrency: Harnesses Erlang's actor model for high-performance web apps.

* Developer-friendly: Simplifies routing, middleware, and template handling.

* Extensible: Supports plugins and custom integrations.

Check it out: GitHub: https://github.com/novaframework/nova Homepage: https://novaframework.org Getting Started Guide: https://dev.to/taure/getting-started-with-nova-1ioo/stats

We’re early in development and would love feedback from the community! If you’re an Erlang enthusiast or curious about building web apps with a language known for its reliability (think WhatsApp or RabbitMQ), give Nova a spin and let us know your thoughts.

What do you think about using Erlang for web development? Any features you’d love to see in a framework like this?
by robenkleene | 2025-07-31 13:06:59+00:00
I think your mainly indexing on the word I used "technical", because yes I agree I'd also categorize creating a design system as "technical". But it's technical in a different way than say, creating a glass material in a 3D modeling program, or simulating 3D effects in a 2D image-editing program. So I mean the way the latter is technical, not the former, if there's a better word than technical to use here, I'm all ears (maybe "skilled"?).

The key difference in the specific context of Figma is that a layman without any technical skills can give pretty good feedback on a design system, but say, wouldn't be able to give good feedback on how a 3D modeling material is constructed.

> which apparently using the gradient setting in photoshop is a Big Scary Skill™ that flat design solved

This isn't what I mean, I meant combining layers to create 3D effects like this https://www.reddit.com/r/coolguides/comments/kj9yut/guide_to... i.e., creating the gradient itself isn't complicated, it's composing layers to achieve a specific effect that's complicated (and "technical").
by plusfour | 2025-07-31 13:07:39+00:00
> but I just don’t feel the interest to pursuit any intellectual hobbies that I used to pursuit

> Interest

maybe you outgrew them. maybe don't try to pursue something you're not Interested in. let interest be the north star that guides your attention.

that "conflict" you feel between what you Are interested in, and what you Think you should be interested in, is not healthy.
by hellojesus | 2025-07-31 13:07:51+00:00
Why would you want this to be done at the government level and not the parents'?

Force a proxy through your network to a specific allowlist for dns and direct ip and port requests.

Install a root ca on your kids phone so you can decrypt their connections, and send the data to your logstash to monitor to make sure you don't have any blind spots, and run some local models to alert when inappropriate media is categorized.

Maybe some of this plan is bad or incomplete, but it wqs what immediately came to mind. I'm sure it could be improved with a few hours of research.

Why do we want to normalize government censorship and mass surveillance when we could instead normalize technical education?
by TheDong | 2025-07-31 13:08:33+00:00
As a sibling said, Go has all the same deadlocks, livelocks, etc you point out that rust doesn't cover, in addition to also having data-races that rust would prevent.

But, also, Go has way worse semantics around various things, like mutexes, making it much more likely deadlocks happen. Like in go, you see all sorts of "mu.Lock(); f(); mu.Unlock()" type code, where if it's called inside an `http.Handler` and 'f' panics, the program's deadlocked forever. In go, panics are the expected way for an http middleware to abort the server ("panic(http.ErrAbortHandler)"). In rust, panics are expected to actually be fatal.

Rust's mutexes also gate "ownership" of the inner object, which make a lot of trivial deadlocks compiler errors, while go makes it absolutely trivial to forget a "mu.Unlock" in a specific codepath and call 'Lock' twice in a case rust's ownership rules would have caught.

In practice, for similarly sized codebases and similarly experienced engineers, I see only a tiny fraction of deadlocks in concurrent rust code when compared to concurrent go code, so like regardless that it's an "unsolved problem", it's clear that in reality, there's something that's at least sorta working.
Ask HN: Tech Peeps and Privacy
by shaunpud | 2025-07-31 13:08:36+00:00
I recently discovered Omarchy, not that I'm using it, but I really like the passion from dhh, and to be honest the script looks amazing. But I noticed he has dedicated a script for Dropbox, and uses it. Now I'm old enough to be an early adopter of Dropbox, and I remember clearly one particular email from them saying how interesting it is for users using their service for x and y, and since then I assume they can see _everything_ which really put me off. So I guess my question is how can people heavily in the tech industry use third party tools (Dropbox, github, etc) and not be too concerned about other eyes looking over their files/code/data/etc?
by whilenot-dev | 2025-07-31 13:08:52+00:00
Code that demands to pay off its dept isn't non-working code, it's rather code that exceeds one's ability to maintain it properly (your mention of "unreadability" included). Whether a PR introduces debt isn't always known and often times has to be discovered later on, depending on how fast its maintainers fluctuate and the ecosystem advances.

That said, tech debt isn't paid by developers individually, it's paid by organizations in developers time. Only in rare cases can you make a deliberate decision for it, as it grows organically within any project. For example, most python2 code today that used niche libraries with outdated docs that have been taken offline in the meantime has to be considered expensive tech debt nowadays.
by abirch | 2025-07-31 13:09:40+00:00
There are superforecasters, but they're not the pundits you see on TV. Superforecasting is a great book, see if your library has it.

From: https://ig.ft.com/sites/business-book-award/books/2015/longl...

In a landmark 20 year study, Professor Philip Tetlock showed that even the average expert was only slightly better at predicting the future than random guesswork. Tetlock’s latest project, an unprecedented government funded forecasting tournament involving over a million individual predictions has since shown that there are, however, some people with real demonstrable foresight.
by nicoburns | 2025-07-31 13:10:26+00:00
Not really. Everything has a spec, so it's pretty clear what's in scope and what isn't. Also, we don't have time for bloat with our team size. We have to be laser focussed on what actually makes a difference to real websites. It's Chrome that has bloat!

Also the specs don't change much (there are additions, but almost always backwards-compatible), so once written the code shouldn't need too much maintenance.

I see it as writing a piece of foundational infrastructure. You can write your own HTTP library. But you don't need to: there are high-quality libraries readily available (e.g. curl or hyper). Similarly for HTML parsers or 2D graphics rendering. Nobody's done that for web layout yet (except arguably React Native's Yoga [0], but that's much less ambitious in terms of how much of the spec it attempts to support), so everybody has to write their own. But it's possible so we're doing it.

[0]: github.com/facebook/yoga/
Show HN: Clauditate – Breathing exercises while Claude Code is thinking
by ykumards | 2025-07-31 13:10:27+00:00
Hello HN!

I realized how often my mind wanders while waiting for Claude to finish "thinking". So I built Clauditate, a lightweight meditation menubar app that helps you with some breathing exercises.

It uses Claude Code hooks and pops up with a breathing guide. I added some heuristics to make it less "annoying", for example if you dismiss it twice within 30 mins, it won't show up for another 2 hours. You can also tweak this behavior (and more) in the settings.

It's early, but I'd love to hear your feedback!

Github: https://github.com/ykumards/clauditate
by jakelazaroff | 2025-07-31 13:10:45+00:00
Two paragraphs in and it's clear that your source exist exclusively to pump out hasbara (note the scare quotes around "famine"). Thousands of Gazan children are experiencing malnutrition and a child has died of starvation every single day for the past two weeks: https://www.npr.org/2025/07/29/nx-s1-5483520/gaza-famine-hun...

> The report said that more than 20,000 children have been admitted for acute malnutrition treatment between April and mid-July, with more than 3,000 of them severely malnourished. Hospitals have also reported a surge in hunger-related deaths among children under 5, with at least 16 fatalities recorded since July 17 alone.
by Certhas | 2025-07-31 13:11:04+00:00
I think Mozilla makes a lot of sense if you consider the following long term strategic goal: Become independent of Google money. None Google income has grown to 150M$ in 2023, up from 80M$ the year before. Mozilla has used dramatically more of the Google money to build up assets than it spends on advocacy or other projects that irl some people so. In 2023 they had 1B$ in investments. Net assets have been going up by 100M+ per year.

They are not yet in striking distance to truly become independent, but they are making significant steps in that direction. The share of Google money in their revenue went from 90% in 2020 to 75% in 2023.

I don't think following the money actually shows what you think it does.

As a postscript:

Damned if they do, damned if they don't. There were plenty of people at the time arguing that Firefox maintaining one independent browser engine was idiotic and they should just switch to Chromium like everyone else. People like to lambast Mozilla over relatively minor advocacy spending stuff and cry that it should just focus on Firefox, but insist it should have obviously continued with Servo. Even though Servo probably wouldn't have made a substantial difference to Firefox post Quantum for a very long time.
by sroelants | 2025-07-31 13:12:56+00:00
The rules that you use to compose axioms and propositions are a different set of axioms defined by the Logic system you're using. e.g., can a proof consist of infinitely many steps? Can I use the law of excluded middle? Some logic systems won't let you re-use the same proposition more than once, etc,...

They're usually considered separate, because they're orthogonal to the foundational axioms you're using to build up your mathematical systems. With the exact same system of axioms, you might be able to prove or disprove certain things using some logic systems, but not others.
by squeegee_scream | 2025-07-31 13:13:45+00:00
I agree, looking at portraits he looks just fine. I wouldn't call him handsome but certainly not "ugly" or "grotesque". But it seems part of the impact of his appearance was due to his movements and his proportions, neither of which are going to be easy to discern from portraits. Take this image, for example. https://upload.wikimedia.org/wikipedia/commons/c/c1/Hans_Chr.... It could be his coat exaggerating his proportions, and maybe some amount of forced perspective, but I can begin to see that his hands are quite large, his head seems a bit small.
by ajross | 2025-07-31 13:14:28+00:00
So for those who want the tl;dr: The answer is just "use a udev rule".

Udev is one of those classic open source tools that is immensely powerful and gracefully well designed, with all sorts of emergent power...

...that ends up being an obscure bit of graybeard prestidigitation purely because of it's awful syntax.

No really, there's a very clean mapping between the state in sysfs and the resulting uevents produced. You just can't tell because of the way it looks.
by anyg | 2025-07-31 13:14:50+00:00
I always go back to chess when I have these kinds of doubts. Deep down, we like human creativity and that's what made AlphaZero's chess entertaining for us as well as it wasn't as unnatural as traditional chess engines. But, we still enjoy playing and watching chess. Many new approaches have been discovered using powerful engines which probably would not have been tried out without them. The same thing can happen with math problems. We may have fresh takes on problems previously considered unsolvable, etc.
by aidenn0 | 2025-07-31 13:15:00+00:00
That's good to know; ysh[1] will treat pipelines with a SIGPIPE indicative exit code as successful to allow e.g.

foo |head -n2

to be treated as successful. I haven't seen anyone complaining yet about rust programs breaking this idiom, but I'll keep an eye out for it.

1: https://oils.pub/release/latest/doc/ysh-tour.html
by seanwilson | 2025-07-31 13:15:20+00:00
> There are many types of work where large assets aren't important, e.g., illustration, 2D animation, CAD, 3D sculpting (I think? A lot of 3D work that doesn't need pre-rendered assets have really small file sizes), and as far as I know none of these have hugely popular web apps like Figma?

Maybe just a matter of time? I'm not familiar with all these domains, but I'm sure there's vendor lock-in, proprietary file formats, integrations/automations, plugin ecosystems, and general popularity/momentum (plus maybe lack of full GPU and other hardware support?) for certain tools that make it hard to switch and slows down competition. It wasn't that long ago that spreadsheet and word processor software being local only was the norm either.
by sigwinch | 2025-07-31 13:15:37+00:00
udev is useful for customizing all sorts of ergonomics. My example: when my keyboard/mouse switches from one machine to another, control signals are sent to each monitor. This mimics a very expensive 8k DisplayPort KVM.

So that’s an option rather than power. Devise where you’d place a YubiKey on an extension cord, with its removal triggering logout and shutdown.
by Aurornis | 2025-07-31 13:15:49+00:00
Some good advice. It’s missing one of the most difficult topics: Performance Management.

Most first-time managers have already read a lot of advice about being humble, delegating, celebrating your team’s wins, and the other feel good topics.

If you want to write internet advice that gets upvoted and shared you almost have to avoid the difficult conversation topics and assume that the team is full of perfect people that the manager just needs to serve.

I’m in a semi-private peer group for managers and the number one most common struggle for new managers is their first encounter with employees who aren’t working unless a manager is standing over their shoulder, or who are causing problems within the team. Books like “The Managers Path” can help, but in my experience the best help is to find a more experienced manager you can talk to for advice. A lot of the difficult realities of managing people are messy or even painful and are often intentionally avoided in feel-good internet advice.
by benterix | 2025-07-31 13:16:07+00:00
I would insist something is wrong here. 3k a month for an SWE seems on the lower end, really. I'm pretty sure you could get 4k just by switching jobs without too much effort and staying at the mid lever. 5k should be possible for senior positions. If you take this into account, it changes the dynamics.

But even if we assumed for a moment that 3k is some kind of upper limit: remuneration reflects demand. If nobody wants to do jobs that are necessary for the society, the related wages go up. From this perspective, things might be working as expected in a society with too many SWEs and too few bus drivers.
by lesuorac | 2025-07-31 13:16:21+00:00
Name 1 company that makes over $1 Billion in annual revenue where somebody 2 links below the top makes less than a congressional salary. Congress critters are paid peanuts and also rent in an above-median cost of living area as well as their own district.

~150k sounds like a big salary but when you're very much in charge of trillions of annual revenue it's not.
by fuzzfactor | 2025-07-31 13:16:34+00:00
You can also consider the "build and sell" vs "build and use privately".

Whether it's your core value or not which might be a good thing to be crafted for customers to embrace.

I think it can be all over the ball park even for physical tools.

Turning a tool into a "product" can be a completely different effort compared to building the tool itself.

Lots of times you can pretty much start from a baseline where it's about an equal effort to turn an effective tool into a valuable product, as it is to build the tool to begin with.

With so many variables a 50:50 ratio would not be exact very much of the time really, but it should be possible to come up with a good guideline number for your situation which you can accept.

It has to be worth it to turn your marvelous tool into a product rather than spend that effort creating more marvelous tools.

Worth it in some way or another too, maybe not financially or with short-term deployment in mind either.
by gramie | 2025-07-31 13:16:59+00:00
Loopop's guide looks interesting, but to unlock the book I had to join (for free) the Patreon channel. Then it immediately tells me that to unlock the book I have to become a paid member.

It turns out that the free tier only gets you notifications when new content is published; to read that content, you have to pay.

I wouldn't mind paying, but dislike the bait and switch approach.
by hollerith | 2025-07-31 13:17:07+00:00
The current pay for members of the House of Representatives and Senate is $174,000 per year [1]

Rayiner is claiming we would get better members if we raise it to $1 million per year, to which your reply is unresponsive.

[1] https://en.wikipedia.org/wiki/Salaries_of_members_of_the_Uni...
by jeffhuys | 2025-07-31 13:17:47+00:00
Well the author has many, many repositories like this.

It seems like he's still stuck in the "If I just say to my AI that I want a production-ready package that people will pay me $99/month for, I'll get it eventually, right?" phase of discovering LLMs.

The end-result is many commits saying "fixed all issues, enterprise-ready now as requested!" adding 500 lines of code causing more issues.

The funniest part, to me, is that this only damages his image, instead of solidifying it. We've had so many applicants at my company recently where we go to their github, and they have 10 repositories all obviously vibe-coded together, acting like they made some amazing stuff. Instant deletion of application, no coming back from that - this person would NOT get a job here.