rlamacraft @rlamacraft@qoto.org

Just had the realisation that as long as a language has parametric polymorphism and higher order functions, it implicitly also has a mechanism for defining an abstraction independently of its implementation (e.g. interfaces, protocols, etc), by defining lenses/prisms. These allow code module to depend on being able to get/set part of a large data structure without having to know it’s internal structure, simply by being passed lenses over the parts, and only parts, that it depends upon.

The very fact that companies pay tax on profit but you or I do on income, says everything about the modern world.

"1D languages require jumps for flow control, but since any graph can be embedded in three dimensions, languages of three or more dimensions can be written jump-free. An easy way to do this is to allow changing the direction of the instruction pointer rather than its position."

http://evincarofautumn.blogspot.com/2012/04/frighteningly-ambitious-programming.html

4 chancellors in 4 months… strong and stable…

If the Tories are suddenly anti-tax and they want to be re-elected one day why don't they tackle arguably the greatest injustice of the tax code: VAT. Eliminate VAT on the products that are rising fastest and that'll bring down inflation, no?

This (https://twitter.com/wtwiwf2/status/1570130245365420032) suggestion really isn't as silly as it sounds. I think it would have been far better to have had a procession snaking down the country rather than flying the coffin to London and then having everyone queue. They could even put a stone cross-like marker at each point where the procession stopped each night…

Charles will not cool on climate action, say friends
https://www.bbc.co.uk/news/science-environment-62876790

Good, I say. Climate change is not and should not be a political issue; it's time everyone in society stood up and took action on the reckless behaviour of our civilisation. But if he's going to be vocal though, then that action had better start at home -- a commitment to travel by train instead of private jet would be a start.

Type-driven development means the type checker is my copilot.

I wonder whether the smell of petrichor is a biologically engrained thing, simply because its a sign that the drought is over, in much the same way that salt and sugar taste good. In related news, IT'S RAINING!

Forget CO2 concentration, mean temperature, or what have you, I think far more accurate measure of climate change is the number of days in a year that I have to resort to putting on shorts

“People around the world no longer need to fear the vicious and determined killer.” -- says Joe Biden, announcing the state-sanctioned assassination, by remote drone, of a man without any trial or jury

Is there an ActivityPub service for sharing reviews or restaurants, hotels, etc?

I appreciate the humour of the PureScript library: Argonaut is the JSON parsing library, Biscotti is the HTTP cookie header library

"The cost of sending a text message depends on how long it is. Anything over 160 characters counts as more than one message." What year does GDS think it is, 1993??

https://gds.blog.gov.uk/2022/07/20/how-rewriting-text-messages-can-help-services-to-save-money/

If he’s not going to get on board with his party’s legislative agenda why is Manchin even in the Democratic Party? In the U.K. if you don’t vote in favour of the key pieces of legislation you lose the whip