Both human-driven and robo-driven taxis are financially incentivised to spend as much time as possible carrying fare paying passengers and as little as possible driving empty to pick someone up.

Anyway, I agree that walking, cycling, and public transit, are all IMHO preferable to any form of taxi.

You make the type system statically encode categories of side-effects, so you can tell from the type of a function whether it is pure computation, or if not what other things it might do. Exactly what categories of side-effect are visible this way depends on the type system; some are more expressive than others.

But it means when you use a hash function you can know that it's, eg, only reading memory you gave it access to and doing some pure computation on it.

https://web.archive.org/web/20040904214302/http://www.guinne...

> If there's any, even the slightest, chance that buying from a business might one day reflect badly on the civil servant in the procurement office, then they won't buy from that business.

You don't think that spending £4.1 million on this garbage might reflect badly on someone?

Edit: to be just slightly nicer about it: having a plain text version is great, that's a really good thing. But the "that's a valid choice" paragraph is unnecessary and just distracts from your actual article. If I pick the plain-text version it's because I want to just get straight to the point (other people may have other reasons), and I certainly don't need your validation.

https://news.ycombinator.com/showhn.html

I think some of these people need to be reminded of the Bill Gates' quote about lines of code:

“Measuring programming progress by lines of code is like measuring aircraft building progress by weight.”

"Zeroth Law added" https://en.wikipedia.org/wiki/Three_Laws_of_Robotics#:~:text...

Any naive crawler is going to run into the problem that servers can give different responses to different clients which means you can show the crawler something different to what you show real users. That turns crawling into an antagonistic problem where the crawler developers need to continually be on the lookout for new ways of servers doing malicious things that poison/mislead the index.

Otherwise you'll return junk spam results from spammers that lied to the crawler.

I've never done it so maybe it's easier than I imagine but I wouldn't be quick to assume that crawling is solved.

Search for something like "doom on Puya PY32"

https://hackaday.com/2025/09/20/when-low-sram-keeps-the-doom...

https://github.com/atc1441/Vape_DOOM_ScreenShare

https://www.bbc.co.uk/future/article/20240308-daylight-savin... (you can find both "saving" and "savings" here, I guess they couldn't decide which to use?)