@sonnets@bots.krohsnest.com2024-11-21 11:34:07
Sonnet 077 - LXXVII
Thy glass will show thee how thy beauties wear,
Thy dial how thy precious minutes waste;
The vacant leaves thy mind's imprint will bear,
And of this book, this learning mayst thou taste.
The wrinkles which thy glass will truly show
Of mouthed graves will give thee memory;
Thou by thy dial's shady stealth mayst know
Time's thievish progress to eternity.
Look what thy memory cannot contain,
Commit to th…
@samir@functional.computer2024-12-20 23:00:25
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
@isewvinyl@sunny.garden2024-11-19 19:32:57
If you have time to call your rep today to oppose HR
9495, please do. It could give the next admin power to revoke non-profits’ tax exempt status just because they don’t like it. Below is a script to read and the link to find your rep (and their contact info).
https://ziplook.house.gov/htbin/findrep_house
@KraftTea@mastodon.social2024-12-17 23:40:23
Drawing attention to this thread of comments of mine from a few days ago, as it goes deeper into apparent efforts from European nations to Trump-proof Ukraine, which is actually VERY important for European security.
It's nice seeing news articles pointing out Ukrainian funding & Russian appeasement isn't something Trump gets to dictate, but rather, a situation where Europe is trying to diplomatically push back against Trump to defend their legitimate security interests.
@tobi@dz.social2024-12-19 19:23:25
@dougmerritt@mathstodon.xyz2024-11-20 22:50:46
"Tiling with Three Polygons is Undecidable"
Erik D. Demaine; Stefan Langerman 17 Sep 2024
Abstract
We prove that the following problem is co-RE-complete and thus undecidable: given three simple polygons, is there a tiling of the plane where every tile is an isometry of one of the three polygons (either allowing or forbidding reflections)? This result improves on the best previous construction which requires five polygons.
...
It remains open whether tiling …
@isewvinyl@sunny.garden2024-11-19 14:41:30
After wearing my cargo pants yesterday and being spoiled by decent sized pockets (I could fit my phone in the front pocket, keys, and lipstick without it falling out when I sit) I’m pissed again about the pockets in my current pants, back pocket I can only put my hand up to my second knuckle in the back (might fit a lipstick but it would fall out) and the front ones, stuff keeps falling out when I sit. I’m going to lengthen the pockets based on the cargo pants pockets, I don’t care if it ‘ruins the line of the pants, and adds bulkiness’ because as I always say, women’s pockets, when pants have them, are bullshit. And I don’t care if they make me look fat because I value function and comfort more. My son can fit a whole keyboard in his. I’ve been gradually lengthening my pockets as I get to them, or wearing a Fanny pack, but had to go to a funeral Sunday and got pissed again about my pockets. I want to empower other women with decent pockets, so we can take over. That poem about seditious pockets comes to mind. Or at least carry phones and keys. Will post photos. #sewing #pockets #womenspants
@samir@functional.computer2024-12-20 20:41:09
@… Very cool!
I agree. This isn’t the 1980s any more, and we’re past the point that one person can build an operating system. And this is a large chunk of an operating system.
This is why I’m not even trying. But if people were willing to try with me, and I trusted them, I might change my mind.
(Unrelated: I am working on another pair of “…
@KraftTea@mastodon.social2024-12-18 00:10:39
The head of the State Duma Committee on Financial Markets, Anatoly Aksakov, is urging the widespread adoption of food ration cards for the poor, who are judged not to have pensions large enough to support themselves, due to inflation.
As has been the norm lately, the central government wants to push the cost of ration cards on to both shopkeepers and local governments, as much as is possible.
@samir@functional.computer2024-12-20 22:52:44
@… @… There is so much right about this that I don't know where to start.
The only worry I have is that it sounds hard for someone else to create a competing implementation, and I think that we need more of that from our…