MurphyA/hacker-news huggingface dataset:
by simiones | 2025-06-06 09:38:13+00:00
While there used to be resistance to coming up with new formal systems that played with loosening certain restrictions in long-used systems, I think this has not been true for a long time. If you want to come up with a new set of axioms of arithmetic today in which pi = 3, and you can actually come up with a set of meaningful axioms and prove some interesting property of this formal system, I don't think it would be that hard to get mathematicians to accept it and occasionally use it.
by timbooksy | 2025-06-06 09:40:03+00:00
Booksy | Multiple | Remote | Full-Time | www.booksy.com

At Booksy, we're more than just the #1 booking app for beauty and wellness — we’re on a mission to empower small business owners around the world.

Every day, millions of customers rely on Booksy to book services and manage their routines — and thousands of service providers count on us to grow their businesses. As an engineer here, your work directly impacts real people: helping barbers, estheticians, nail techs, and stylists thrive in their craft.

Right now we're hiring for:

Mid-Level Engineer (Python/JS) - Remote (UK/Poland/Spain) Senior Python Engineer - Remote (UK/Poland/Spain) Staff Engineer - Remote (UK/Poland/Spain)

If interested please reach out to Tim.McAllister[at]booksy.com
by arp242 | 2025-06-06 09:42:13+00:00
There is no reason for it to spread, but also no reason for it not to. Presumably there was another (completely unrelated) trait, and it happened to spread because of that.

> There should instead be a mixture of those who can and those who can’t synthesize vitamin C.

Probably was for a long time. All of this happened about 60 millions years ago. It's been a while.
by ulrikrasmussen | 2025-06-06 09:44:04+00:00
> I mean, this is just capitalism.

Yes, capitalist forces are incredibly strong, which is why we need regulation to avoid negative externalities to spiral out of control. Regulation that is intended to protect consumers often end up being moats for the monopolies to cement their monopolies even further, because the regulation is too heavy and expensive to comply with for the smaller competitors.

I think that child protection laws is an example of such regulation because it will impose a huge legal and financial risk on small sites and forums which were never part of the problem.

This is why I would rather go for regulation which more or less outlaws or severely limits the viability of the problematic business model. This could also backfire of course, but I believe it will be better even though many will find it inconvenient if YouTube disappeared.
by anentropic | 2025-06-06 09:44:44+00:00
I have some big notes and tbh I find it totally fine (on macOS)

The two things that would make a world of difference to me are:

- having a 'code block' style, preferably accessed via familiar single and triple-backticks markdown syntax - for the Android app to have a "magnifying cursor" like mobile apps are all supposed to have... trying to edit a note and drag the cursor around with your finger without having the little magnifying popup is a complete pain
by 2wrist | 2025-06-06 09:46:12+00:00
Mental fatigue is something that can manifest in different ways.

To keep it short, for me, It is like I can think down a path, but slowly, it is like I have this plodding speed, if I try to think 'quicker' (or more reactive/agile) it feels like a lot of effort, like I have to focus and push myself. The more effort I apply the more energy I use. The more energy I use the longer this state lasts for. The longer this state lasts for the more chance I develop physical issues. When I am in this state, I can't mentally fit pieces together. It is like I am wearing oven mits and trying to build lego. It just doesn't fit together. oh and I get really clumsy, my movement becomes really uncoordinated.

So it is like I have a smaller pool of energy, and I can spend it slowly over a longer period. Or faster over a shorter period. When I go over my limits, then see above.

The only cure, is rest, and that is usually about 3 days of not pushing myself mentally too hard, to get back to a reasonable baseline. It is improving, if we had had this conversation three years ago...

I have seen this in other devs, a friend of mine has MS and she needs to meter her energy levels like this. My neighbour came out of hospital after a serious illness and she has some of these symptoms. It is more common than you would think.
by aa-jv | 2025-06-06 09:46:55+00:00
Whether you are in the UK or the USA, your freedoms are being degraded even outside the media-consumption sphere.

Until GCHQ and NSA are properly reigned in, nobody is getting their human rights back.

With the base expectations for the abrogation of human rights being set at global scale by these heinous organizations, which subvert our democracies and corrupt them, there can be no expectation that the broader sphere of local human rights will ever recover from the damage caused.

We cannot fight for a free and open society, when that free and open society is being used to abrogate literally billions of human beings rights outside of our own state borders.

The issue will never leave the commons for as long as the military industrial complex is allowed to violate human rights at immensely despicable scales. The protection many claim are being provided, is a fallacy - the net effect of GCHQ/NSA control over our information and communications systems is, a deleterious effect on our ability to protect our rights at an individual level.

A government which promotes this abrogation of human rights at massive scale is never going to be brought to heel over those same rights being returned, locally - whether British, American, Canadian, Australian or Kiwi...
by close04 | 2025-06-06 09:48:12+00:00
> this justifies concepts like Trump's tariffs based on trade deficits

It doesn't have to. Thinking you want to spend locally and building options isn't a problem - you can just invest in local capacity to deliver, build it and they will come. Artificially putting barriers (tariffs, threats) so people have to spend locally is the problem. Don't confuse these 2 just because they achieve the same and people spend more at home and less elsewhere.

> if it spent 1+ billion euro on some EU or even Finnish alternative to MS

Even if you end up paying the same, 1bn Euro spent locally goes a lot further than 1bn Euro spent across the ocean.
by throw_m239339 | 2025-06-06 09:48:37+00:00
> If you want it to stop then we need AGPL software and a decentralised internet. We are in a local optimum so it will seem worse at first before it gets better.

But we already have a decentralized internet, it's just that most people will go for convenience rather of freedom...

Furthermore, some people here keep claiming that they are willing to pay for ad-less services, yet learned nothing from cable TV... even paid streaming services have ads...
by anshumankmr | 2025-06-06 09:48:57+00:00
>Also, the examples provided are not only not practical but potentially bad practice. Why do you need a manager pattern to control a bunch of language translation agents when most models will do fine especially for latin-based languages? In practice a single LLM will not only be more cost-effective but also good for the overall user experience too.

Usually that's how these agent tutorials work. I don't think there any open sourced large scale agent applications that anyone has published online yet, especially those agent that hand off to other agent sort of apps.
by dust42 | 2025-06-06 09:49:05+00:00
Two weeks ago the same website (heise.de) reported that the german military will use Google cloud services [1].

If there is any place where local cloud and open standards would make sense, then it seems to me the military would be it. I can't really imagine that the US would ever use another country's IT infrastructure to host sensitive information.

[1] https://www.heise.de/en/news/Bundeswehr-relies-on-Google-Clo...
by Kaijo | 2025-06-06 09:50:54+00:00
It depends on the kind of work. If it's routine stuff, past seven hours or so, I can keep going and not feel tired, but I increasingly don't want to, and the feeling that I'd rather be doing something else becomes very distracting. If the work is technical and intellectually rewarding, I might feel inspired to continue, but I start making mistakes and past a certain point, it becomes counterproductive. If the work requires conceptual or creative insights, my brain stops delivering them for free and my backup methods for squeezing them out start failing too. If I'm speaking or writing, I lose the thread and my words lose their punch and personality. My occasional bouts of insomnia bring a different kind of all-encompassing fatigue. I become overemotional. At my most sleep-deprived, I struggle to operate a kettle. Things were different when I was younger. Writing up my PhD, I essentially slept every other night for months, yet stayed sharp, productive.
by lucideer | 2025-06-06 09:50:54+00:00
This seems great but:

> The library automatically manages PGlite npm dependencies.

I'm sorry what? Please don't do this. There is no way you can do this in a way that:

(a) is compatible with every pre-existing in-repo NodeJS setup

(b) plays nicely with all SCA automation configurations (Dependabot, etc.)

---

Edit:

After closer inspection there's a config[0] to disable this which defaults to True, but no documentation on how to manage required Node deps when setting that value to false.

I would strongly suggest the authors default this to False with accompanying docs in the README

Overall though I do like the simplicity & readability of the codebase - it makes these gotchas really easy to find & verify even without docs - will definitely be using this.

[1] https://github.com/wey-gu/py-pglite/blob/b821cf2cfeb2e4bc58b...
by johnisgood | 2025-06-06 09:53:10+00:00
Are you referring to the Installation Guide that had everything on one page? The guide now consists of many links, it is no longer on one page which is kind of annoying (still helpful, but there is more friction when using links/lynx).

I do not remember the "Noob guide" otherwise, but I do remember the old Installation Guide which was great as it had everything on one page!
by aleph_minus_one | 2025-06-06 09:53:29+00:00
> When the likes of Peter Scholze (fields medal!) and other very high profile mathematicians find (serious) flaws in every posted manuscript about this... I mean, it's pretty clear to me what's going on. The proof just doesn't go through.

On the other hand, Ivan Fesenko (also a heavyweight; he is for example the PhD advisor of the Fields medalist Caucher Birkar) insists that Mochizuki's proof is correct.

* Here is a popular scientific article from 2016 where Ivan Fesenko presents his perspective on this topic: https://inference-review.com/article/fukugen

* A popular scientific article by David Michael Roberts (also a renowned mathematician) from 2019 about where he believes an important contentious point in the different viewpoints of Scholze/Stix vs Mochizuki lies: https://inference-review.com/article/a-crisis-of-identificat...
by sebstefan | 2025-06-06 09:54:15+00:00
It reminds me of Lambda calculus

You can express `a + b` or `a * b` in their regular algebraic notation or you can express them as a lambda expressions

ADD = λab.(a S)n

MUL = λxyz.x(yz)

Manipulating these expressions instead of algebra, you can suddenly compute things such as "+ * +" (Plus times plus). That will yield you another expression for sure, but we don't even know what that means.

So maybe an analogy would be, it's like you developed a field where, from that mess, you could derive important insights and even turn them back into proofs

And there's debate on whether all invariants truly are maintained throughout the entire process
by memming | 2025-06-06 09:55:06+00:00
This is a vast simplification. Every neuron has a different preferred baseline firing rate. Not all neurons can fire at 500 Hz. In fact, most neurons in neocortex fire at a much lower firing rate. (most neurons are in the cerebellum!)

As for the internal sense of time, there isn't a consensus as to how it is kept, but for the cognitive time scale, it seems that it is a distributed time keeping mechanism rather than some sort of central unified clock mechanism.
by pmayrgundter | 2025-06-06 09:55:15+00:00
Main points are that brain takes ~20% of body's Base Metabolic Rate, and that active thinking takes 5% more than BMR.

Whole body context: - Base Metabolic Rate (awake): ~1.0-1.1 kcal/kg/hr - Deep Sleep Metabolic Rate: 0.8-0.9 kcal/kg/hr

CG says brain follows this as well.

So it suggests brain power use varies from 0.8 minimum to 1.1, with an extra 0.05 for thinking. This supports ideas that thinking is a relatively minor brain function, at least energetically.
by ndepoel | 2025-06-06 09:55:22+00:00
Us Europeans have been extremely naive and complacent for the past decades. We've been all too happy to rely on America for our tech and defense needs, and America has been all too happy to provide. There have been plenty of warning signs in the past that this situation is not as self-evident as we'd like to believe and not sustainable in the long term, but so long as things keep churning along we'd rather just ignore the problem instead of proactively tackling it and becoming more self-sufficient.

And yes, now that America are showing their true colors with Trump leading the way, finally, finally we are starting to see that maybe this isn't how we should want things to be. It's still going to take a long time for Europe to shake off its dependence on the US tech industry and truly start to challenge it, but hopefully this is a wake-up call that will gradually push things in the right direction.
by smallnix | 2025-06-06 09:55:47+00:00
Or perhaps ideas need not only be had, but also pass through more layer of filters to make it into the world proper. Ideas that were had more than once had more than one chance. Ideas that made it into the world but were only once, were lucky. So that would mean there is a bias when looking at ideas that made it. So the correlation might be due to an inversed cause and effect.
by redeeman | 2025-06-06 09:56:24+00:00
but its not about the information, its about who spouts it. For example its possible for the same government entity to be 100% whitelisted in saying "DONT MASK", and also "MASK OR YOU KILL GRANNY", both are 100% allowed, but when some layperson says the one that isnt favored by the regime at the time, well, they are censored at best.
by belorn | 2025-06-06 09:57:01+00:00
Since Swedish policy during covid, produced by medical professionals and researchers, was contrary to US policy during covid, this kind of information was also removed.

You do not have this kind of disagreement within the professional field with bomb making materials. Pandemic prevention is an on-going research topic where a lot of different professionals has wild difference in views and approaches, and the meta studies done post the covid pandemic has also demonstrated that much of the strategies deployed by countries all over the world, including US and Sweden, was proven to be inefficient or directly false. The effectiveness of non-N95 respirator against an airborn virus that mostly spread through aerosols (rather than droplets) was one of them, and the Karolinska Institutet in Sweden demonstrated that in an early study when they found live virus surviving the filtered air conditioning in the hospital.

Some people in Sweden first learned about the US censorship because official news from the Swedish government was removed from platforms. Some fringe Covid disinformation might get people kill, but the chilling effect from liberal use of censorship will also kill people.

The biggest killer of all seems to be the politicization of pandemic research. The meta studies seems to be mostly ignored by the political discussion, and its very possible that we get a repeat of the pandemic sooner than later without any thing changing from last time.
by ErikBjare | 2025-06-06 09:58:18+00:00
I've been building ActivityWatch as an open source local-first cross-platform time-tracker that does this too (also with an API).

We even built an app "Thankful" which let's users donate to creators they frequent way back in 2018. Never went anywhere, but I still kinda believe in the idea.

Nice to see you got iOS screen time working! We've tried over the years, but Apple always made it hard. I'll have a look how you approached it.
by jillesvangurp | 2025-06-06 09:58:28+00:00
https://en.wikipedia.org/wiki/Karsten_Wildberger

He's not your typical politician (lawyer or otherwise non technical background, no corporate experience). He actually did a Ph. D. in physics and worked as a management consultant at BCG, and ran a few companies. Pretty impressive profile for such a role as far as I can see.

We had some encounter with German bureaucracy in our company that is proper face palm material.

We're basically being asked to tell the Rentenversicherung (the state pension fund) a lot of stuff they should already know. We're expected to dig out a lot of stuff from our HR records and send it to them by means of some tedious form. By Fax! We'd laugh about it except we are too busy doing all this bullshit work for them because they can't figure out how to operate in this millennium. We have to dig out records for employees that are long gone, go over their monthly statements, etc.

How can they not know the stuff they are asking for? It's not like we don't file taxes, we are a properly registered Gmbh, etc. All the information they are asking for is already known to the German government. And yet they pay some poor soul to take stacks of paper from a fax machine and enter it into god knows what kind of filing system they have to "update their records". Absolutely appallingly stupid.

We're also supposed to sign that fax with our company stamp. This is an actual thing in Germany. At least it used to be. It's no longer actually required to have one. But obviously the German bureaucracy is full of dark little corners that haven't updated their processes since the cold war era when faxes were a new thing.

I'd recommend a chainsaw approach but considering how Doge escalated in the US, maybe appointing somebody with a clue is maybe the better move. It's not a bad start. But clearly, something drastic needs to happen. Something more than vague intentions and some IT agency is going to chin stroke over this for a few years. Which is the usual German thing. Lot's of waffle, not a lot of action. And it's probably going to take a decade.

My recommendation: disconnect all Fax machines. Anyone caught operating one should be forcefully retired/fired immediately. Make no exceptions. Monitor the telephone network for rogue fax usage and eliminate anything and everything still depending on that nonsense. And then tackle company stamps, civil servants copying information manually from paper into a terminal, etc.
by noirscape | 2025-06-06 09:58:35+00:00
At its simplest; the economics of hosting video quickly become unsustainable.

A well formatted blog takes maybe 1MB at most per request (a really well made blog can lower that quicker). 20 minutes of 1080p video is ~500mb according to most YouTube downloading tools. Hetzner offers you 20TB of free internet traffic per month for every VPS you buy.

That one blog can be send up to 20000000 (that's 20 million!) times to people every month before you'd have to start looking for CDNs or other fancy solutions. By contrast, that 20 minute video runs out of bandwidth after 40000 (40 thousand) times before you hit the same scenario. (These are hypotheticals, of course you'd incur more due to traffic overhead and the realistic answer that you'll have more than one page/file on your site.)

It's essentially a scale problem; bandwidth is really expensive if you don't outright own (and have the need to use) a data center or colocate. (And even then it's still expensive, it just goes from completely unreasonable to "maybe a sustainable business".) Alternatively, CDN solutions also get very expensive very quickly at the amount of traffic that digital video tends to consume (which wouldn't be selfhosting it anymore, but is worth a mention).

And that's without going into the discovery issues or the fact that browsers accept much fewer codecs than you'd expect for video playback (which can further bloat up storage size as you might have to use less efficient solutions.)
by alpineman | 2025-06-06 09:59:52+00:00
Absolutely agreed. It is disillusioning. We have become completely consumed by 'TC', Bitcoin, vesting, conversion, SaaS, subscriptions, monetization etc.

We are folding ourselves into an ever smaller bubble and disconnecting from the world we live in. Not unlike the finance industry in the 2000s prior to the crash.

It's sad because technology can and does improve so much in the world.
by hsbauauvhabzb | 2025-06-06 10:00:24+00:00
> or any tools that automatically slurp up YouTube content.

I’ll bite. Last time I tried yt-dlp on a vps, YouTube wanted me to login - inevitably that’d lead to a banned account, which is the same reason I was using a vps in the first place.

Are there any tools that source videos either via a vps or decentralised for popular channels?

I refuse to not use ublock, and I’m not paying whatever ridiculous amount premium costs (now, or when they inevitably increase prices).

Edit: i want to download videos from YouTube to stream via Jellyfin, I don’t need a hosting platform.
by wvh | 2025-06-06 10:02:03+00:00
I have no experience with Datadog, but I'm not sure "cheaper" is an easy adjective to quantify. The whole metrics/logs/traces thing in Kubernetes is still painful, a lot of work and there's no end to the confusion. After several years in the trenches, it still takes me longer (i.e. more money) to install, configure and make sense of a monitoring stack than to set up the software it is monitoring.

It doesn't help that typically most software is ancient, spits out heaps of stack traces and wall-of-text output, doesn't use structured logging and generally doesn't let itself be monitored easily.

So yeah, getting meaningful insights from a highly available observability stack will take some serious time and resources, and I can understand smaller companies just handing it over to a third party so they can get on with their core business (AKA easy billing).
by olowe | 2025-06-06 10:02:45+00:00
> I thought prevailing wisdom was that a used 3090 with it's larger vram was the best budget gpu choice?

The trick is memory bandwidth - not just the amount of VRAM - is important for LLM inference. For example, the B50 specs list a memory bandwidth of 224 GB/s [1], whereas the Nvidia RTX 3090 has over 900GB/s [2]. The 4070's bandwidth is "just" 500GB/s [3].

More VRAM helps run larger models but with lower bandwidth tokens could be generating so slowly it's not really practical for day-to-day use or experimenting.

[1]: https://www.intel.com/content/www/us/en/products/sku/242615/...

[2]: https://www.techpowerup.com/gpu-specs/geforce-rtx-3090.c3622

[3]: https://www.thefpsreview.com/gpu-family/nvidia-geforce-rtx-4...
by noone_youknow | 2025-06-06 10:04:16+00:00
For me, it’s not the typing - it’s the understanding. If I’m typing code, I have a mental model already or am building one as I type, whereas if I have an LLM generate the code then it’s “somebody else’s code” and I have to take the time to understand it anyway in order to usefully review it. Given that’s the case, I find it’s often quicker for me to just key the code myself, and come away with a better intuition for how it works at the end.
by GuB-42 | 2025-06-06 10:04:41+00:00
These are just terms of service, not copyright.

It means that assuming training AI models is fair use (if it wasn't AI companies including xAI would be in trouble), they can't really stop you.

But now, essentially, they are telling you that they can block your account or IP address if you do. Which I believe they can for basically any reason anyways.