ocschwar @ocschwar@qoto.org
Joined Nov 2022
ocschwar
boosted
Jason Kander:
Classified #documents - a shopping analogy:
As #Biden walked out, the buzzer went off and he realized he mistakenly failed to pay for an item in his cart. He went back in and returned it.
#Trump stuffed items in his pockets. When the buzzer sounded, he ran to his car and peeled out.
ocschwar
boosted
First time that a paper I coauthored gets a push notification!
@spaf I follow you for your insights on information security. Nobody follows me for my insights on information security, so that is not something I'm likely to repost.
@gretathunberg Perhaps it's time for you to concentrate your postings here rather than on Twitter.
ocschwar
boosted
My first posting on mastodon but as I have no followers nobody is likely to see it.
I am a pencil artist based in the West Midlands and this is one I did recently just for a bit of fun and called it Emmy Emu..
@pete I'm pretty psyched, actually. I'm finally starting to get Haskell mindset
@pete doing it in Lean. Two days behind as a result now.
@librelenny@theway.social @gretathunberg oh, what nonsense.
ocschwar
boosted
Needed some pictures to illustrate a semi-serious presentation, so I finally gave Dall-E 2 a shot, and what can I say, the Hacker Cats of Dall-E are quite good.
@Digitalyn I'll back you up if you do.
ocschwar
boosted
Sad news from UNC Chapel Hill Computer Science — Fred P. Brooks, the founder and long-time chair of the department (and a major influence on my professional outlook) passed away a few hours ago.
@jbsegal the older term should be reconstitooted.
@trinsec true enough, that I just had a hot take that easily fits in 500 characters. I'm as Twitter-poisoned as anyone, and just as much in need of developing more worthwhile things to say.
My hot take: the next thing Mastodon should do is not just hold to the 64k limit (or raise it) but start evolving the desktop and mobile UIs to encourage longer posts. Twitter and Facebook's pivoting of our brains towards required brevity is a major part of how we all wound up in this hellscape out of Black Mirror. It's time to nudge people back towards normal attention spans.
@nygren Bruce sterling calls these "attention conservation notices".
Haskell
@gamache otherwise I'm doing in Lean 4 (which is pretty much LiquidHaskell with mathematical notation where appropriate.)
Haskell
I'm thinking of doing Advent of Code in it.
ocschwar
boosted
Joined Nov 2022
