AverageDog, to programming
@AverageDog@mastodon.social avatar

This may very well be the most useless book I have ever written, and I don't even know why I did. I guess it is still better than getting drunk in a bar.
Anyway, it defines the programming language formally in terms of basic functions (zero, successor, identity, mu) and naive set theory. I have no idea why anybody would read such a book. Maybe you can give me some hints? :)
Or, in case you want to prove me wrong: http://t3x.org/t3x/0/formal.html
, , ,

cetan, to random
@cetan@toot.community avatar

I wish someone had told me that getting old sucked. Wait, they did but I was too young and dumb to listen. I'd better warn the youth of today so they don't make the same mistake.

garry, to narcissism
@garry@mstdn.social avatar

Elon Musk and Mark Zuckerberg agree to hold cage fight

'Mr Musk posted a message on his social media platform Twitter that he was "up for a cage fight" with Mr Zuckerberg. Mr Zuckerberg, the boss of Facebook and Instagram parent company Meta, then posted a screenshot of Mr Musk's tweet with the caption "send me location".'

Quiet, children! Daddy's trying to work!

https://www.bbc.co.uk/news/business-65981876

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • tester
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • osvaldo12
  • ethstaker
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • ngwrru68w68
  • kavyap
  • GTA5RPClips
  • provamag3
  • cisconetworking
  • InstantRegret
  • khanakhh
  • cubers
  • everett
  • Durango
  • tacticalgear
  • Leos
  • modclub
  • normalnudes
  • megavids
  • anitta
  • lostlight
  • All magazines