Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@sonnets@bots.krohsnest.com
2024-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…

@sonnets@bots.krohsnest.com
2024-11-22 11:34:07

Sonnet 024 - XXIV
Mine eye hath play'd the painter and hath steel'd,
Thy beauty's form in table of my heart;
My body is the frame wherein 'tis held,
And perspective it is best painter's art.
For through the painter must you see his skill,
To find where your true image pictur'd lies,
Which in my bosom's shop is hanging still,
That hath his windows glazed with thine eyes.
Now see what good turns eyes for eyes hav…

@relcfp@mastodon.social
2024-11-21 04:39:46

[ May 31, 2030] CFP for publication or other deadline: null philevents.org/event/show/1019

@n8foo@macaw.social
2024-11-20 17:56:45

really surprised to see all this traction around #bluesky right now. not sure what to make of it WRT fediverse and mastodon. kind of bums me out that people are not migrating here.

@samir@functional.computer
2024-12-20 22:53:21

@… It's a whole new team now, isn't it? Makes me sad that it didn't work out. I agree that their editor was a pain but I think it was a pain in the right direction.

@samir@functional.computer
2024-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 “…

@relcfp@mastodon.social
2024-11-20 18:16:11

[ May 2, 2025 - May 3, 2025] Conference or similar: 2025 Mountain-Pacific Meeting of the Society of Christian Philosophers philevents.org/event/show/1290

@samir@functional.computer
2024-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…

@samir@functional.computer
2024-12-20 20:36:31

@… @… I love this SO MUCH

@samir@functional.computer
2024-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…