Tootfinder

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

No exact results. Similar results found.
@volephd@fediscience.org
2024-11-25 19:18:15

Has been far to long that I posted anything.
#IamBack

@samir@functional.computer
2024-12-20 23:42:09

@… Can I interest you in /dev/null As A Service?
For the low price of $5.99/month, you can send me a link to anything, and I will lose it for you!
This is a write-only service.

@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…

@kurtsh@mastodon.social
2024-12-07 01:41:58

The Microsoft Excel Collegiate Championship Finals will be broadcast on #ESPNU in January!
2024 Microsoft Excel Collegiate Challenge | ESPNU Tuesday, January 14 | 2:30 PM

@kurtsh@mastodon.social
2024-12-06 18:47:55

Join us for an exciting episode of Tech Odyssey where we dive into stock market mastery using AI &proven strategies!
✅ Master Stocks Using AI & Proven Strategies w/ Ryan Metcalf - 9 Dec, 2024 | 9:00AM-9:40AM PST
developer.microsoft.com/en-us/