Hacker Newsnew | past | comments | ask | show | jobs | submit | alichapman's commentslogin

Computer science isn't concerned with the uncountable infinite though, which is what measure theory is mostly concerned with as countable sets all have measure zero.


Every non halting program with partial results correlates to a real number, and this sort of thing is talked about in theoretical C's all the time. Broadly speaking program analysis is akin to statements on the reals. The fields are the same. Even most day to day computer programming is ultimately reliant on the same kind of reasoning


What? You can find tons of textbook examples when dealing with the uncountable sets from non-deterministic finite automata. Those frequently deal with power sets (like when you have an infinite alphabet) which are quintessentially uncountable


Yes but the last time a monarch vetoed a law was in 1707, and that was only because parliament asked Queen Anne to veto the law.

In reality, if King Charles started vetoing then after a short constitutional crisis, parliament would basically just change the rules of the game to say that the monarch no longer has the power to veto laws.


Wouldn’t the loophole still be if one house of the parliament co-opts King, essentially simulating American democracy where you have a Republican King and Republican Party in power allowing the Republicans to veto laws and stop monarchy reform in parliament?


Is it the noise that makes it exhilarating though? If you had to use an electric motorcycle would your enjoyment be decreased that much? I'm sure you're right that it's a small amount of people riding obnoxiously, but those people make walking around a city stressful and unenjoyable for a far greater number of people.

What I'm saying is that although this will be a bit crap for you, to the average person that's probably worth the trade off.


I am dead against noisy bikes, but from having an old 1 litre 60bhp Peugeot 106 hatchback car many years ago, the noise of the full-open throttle with your accelerator pedal mashed into the floor with revs rising to a crescendo at the red line etc is certainly quite exhilarating, even if you were not actually going all that fast with 60bhp. (I am getting hairs down my back just typing this).

I would imagine you'd get a similar sensation from the whir/whine of an electric car picking up in pitch etc as you approach "the red line", but I don't know how well that is hushed away in modern EVs


This is the right question I think.

For me personally, not the person you replied to, it is the noise.

After years of soul-searching, and as a music lover, it’s about the noise. I will (or would) leave NYS over this. 76dB 50ft away under 35mph and over 35mph it’s 82dB - a joke. Once I found the perfect engine note, the rest is history. Speed is fun, but sound and steering are more character.

Currently the goal of purchasing this soul-rending, sonorous beast is sustaining me in life.

I’ll do my very best to be judicious with valves closing the exhaust around town and at night.

Making a financially foolish move and touring the country isn’t the worst mistake you could make in an awful mood.


Northern Ireland has its own football team, although players from both sides of the border can play for either team.


Association Football a.k.a. soccer, is governed by two separate organisations, however many sports likes gaelic football, hurling, camogie, rugby, cricket, hockey etc are governed on an all island basis, as their governing bodies predate the partition of Ireland.


I live in the UK and I've never come across any company that does shitty stuff like this. Is there some EU law we've still got that explicitly prevents this?


Yes, there's an EU directive which broadly considers arbitration clauses unfair in consumer contracts, and declares that unfair clauses in consumer contracts must be considered nonbinding in law - https://eur-lex.europa.eu/legal-content/EN/TXT/PDF/?uri=CELE...

(The basic relevant articles in the directive are Article 3, Article 6 and the Annex here.)


Indeed. At least for now, this is the law in the UK as well... EU directives have to be implemented into national law by member states, and this one is old enough that the UK actually implemented it.

Now that the UK left the EU, and given the "conservative" (i.e. neo-con, market-liberal) government, I wonder if the UK laws concerning this kind of consumer protection will get watered down (or already have been).


Potentially this[1]:

> Under EU law, standard contract terms must not: > * be contrary to the requirement of good faith; > * disadvantage consumers (in terms of rights & obligations), in relation to sellers/suppliers.

There might be a more specialized law/regulation though. The EU is pretty bad with their public relations stuff so it's hard to tell.

[1]: https://europa.eu/youreurope/business/dealing-with-customers...


Yes but if the number of people on the bus dropped to zero do you think their employers would keep running the route?


The passenger count is so heavily influenced by factors outside of the bus driver’s influence that this example doesn’t make sense.

Passengers don’t abandon bus routes because the bus driver didn’t smile at them. They abandon routes when the schedule is inconvenient, there are better alternatives to the bus, the fare is too high etc etc. None of these are in the control of the bus driver.


My old bus route to work used to amuse me greatly because on it there were two drivers who were the polar opposite of one another. One guy I assumed had previously been the pilot of a commercial airliner because he used to greet everyone who got onto the bus with that sort of demeanor and make announcements etc. Always brightened my day. The other guy was the grumpiest piece of shit bus driver I've seen anywhere in my life who would frequently berate passengers and oftentimes frighten unsuspecting foreigners. Everyone who needed to get to where they were going showed up and took the bus regardless. It's about the least important variable there is and it averages out to getting a reasonably OK bus driver almost all the time across the different busses you take and the different times of day you take them.


The author of the article


* You can't run your distro of choice unless you build it yourself

* Lots of programs don't work properly (citation needed, can't remember specifics)

* You can only run command line programs, although I understand this could be different in Windows 11

My last job mandated windows laptops so I used WSL for a couple of months before I got too frustrated and just ran a virtualbox VM.


>You can only run command line programs, although I understand this could be different in Windows 11

WSLg solves this, apparently

https://github.com/microsoft/wslg


In the article it says clearly that you can run the distro of your choice using WSL.


The distro of your choice from the small pool that you are given to choose from.

It's not a completely unrestricted choice.

That pool includes Ubuntu, Debian, SUSE, Fedora and a few others if I remember correctly, although it may have expanded since.

I'm not sure how straightforward rolling your own is.


You have no idea what you are talking about. You can install any kind of distribution by copying over their rootfs. For example, I am running Void Linux on WSL2.


The pool in question is open - anybody (not just Microsoft) can package and publish a distro there.

And for one-off use, there's wsl --import: https://docs.microsoft.com/en-us/windows/wsl/use-custom-dist...


And building a custom one is easy. I have Gentoo running in WSL with no fuss.


Can it run Linux From Scratch (LFS)? It seems like it could.


Yes sure it can, create a usable (chrootable) Linux From Scratch rootfs tarball and import it using wsl --import, and everything should be fine. Though don't forget to remove the kernels because WSL don't load them, instead WSL uses a custom kernel shipped with the Windows system.


Can't you run an xorg server under Windows and let the WSL apps connect to that?


Yeah, you can, but it's pretty janky.


Not if you use an X server that's specifically designed for it: https://x410.dev/


I'll have to check that out, thanks!


I'm not confident that any rule changes will have a meaningful impact. It's thought that it isn't just collisions to the head that cause a problem, but all tackles. This is because your brain gets damaged when it moves around in your skull, and this will happen every time your velocity suddenly changes e.g. when being tackled to the ground. This is also the reason that headguards/scrumcaps aren't effective in cutting down on head injuries.

What can be done to protect the players is limiting the number of contact training sessions they can attend, and also limiting the number of games a season each player is allowed to play.

Another option could be to seriously limit the number of substitutes each team is allowed to make, as this will mean the players will have to be fitter and therefore not as big, and hopefully this will reduce the impact each tackle will have. However Rugby League is also having to deal with head injuries and that game requires a lot more fitness than Rugby Union.


I expect that, like League, Union will lose the contested scrum at some point. That will at least lead to a decrease in the asymmetry in weight between forward and back. A step in the right direction, and nothing really lost in the game since scrums aren't really contested any more.


I'm not so sure that'll be a good thing for safety (collapsed scrums aside).

It'll eliminate a role for stocky, relatively slow moving 18 stone players specialising in scrum technique, and create more roles for fast, athletic 17 stone players specialised in blasting opponents out the way. It'll also mean the ball's in play for longer, resulting in more impacts overall.


I agree. I also can't imagine that World Rugby would consider removing one of the two elements of the game that differentiate it from Rugby League (the other one being contested rucks).

As a League fan I'd love it - I don't care what it's called I'd just like more people to play and watch Rugby League.


Yep. They've been tinkering with the scrum ever since I was a kid, but to me it feels like they result in a collapse, a penalty[0] or one side being totally steamrolled 90% of the time. I wish I had stats at hand to back this up, but I feel like even though they're technically "contested" they're rarely actually contested.

If it's not enjoyable for spectators, doesn't really do much for the game and is dangerous then I can see why it could get phased out in the long run.

[0] = or multiple collapses then a penalty


I don't think this is accurate. The majority of scrums at every level lead either to possession for the team with the put-in, or a penalty in their favour. If the weaker team has the put-in, they can pretty much roll the ball straight back to the number 8 and get it away (possibly not in the rules but completely never policed).

It's exciting when either side gets a shove on and that there's at least the possibility to win one against the head, but I agree the game wouldn't lose that much for anyone but the purists and the front row specialists if we just moved to uncontested scrums.


In theory, the weaker team can "try" to get the ball out the back as fast as possible but in practice, I see penalties for teams getting steamrolled in the scrum quite often which would suggest that the tactic is not entirely effective.

I don't understand much of what goes on in the scrum, but I love watching the battle for dominance over the course of a game. Are there collapsed scrums frequently? Yes. But it is an aspect of the sport that gives a chance for the heavies to shine. The increasing use of mauls on the other hand...


Like I said I don’t have the data, so maybe take 90% with a grain of salt :-) But some 6 Nations games in recent years have been pretty frustrating wrt scrum, and I don’t see it getting any more interesting or safe


Or, OR: we put players in control of robots, and have the robots smash each other to bits!


I can't imagine that sovereign nations like being blackmailed by tech companies, so whilst in the short term this could work it seems like the exact move that would cause the country to go the other way and outright ban Google and Apple products.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: