ocschwar @ocschwar@qoto.org

Joined Nov 2022

35 Following 13 Followers

Posts Posts and replies Media

Nov 12, 2022, 16:17

ocschwar @ocschwar@qoto.org

@nygren Bruce sterling calls these "attention conservation notices".

Nov 12, 2022, 01:18

ocschwar @ocschwar@qoto.org

Haskell

@gamache otherwise I'm doing in Lean 4 (which is pretty much LiquidHaskell with mathematical notation where appropriate.)

Nov 11, 2022, 19:39

ocschwar @ocschwar@qoto.org

Haskell

I'm thinking of doing Advent of Code in it.

ocschwar boosted

Nov 09, 2022, 10:18

6502 Nerd @6502Nerd@oldbytes.space

RT @TheArduinoGuy
I defragged my zebra....

8be571d14203bb37.jpeg

ocschwar boosted

Nov 11, 2022, 18:37

Somerville YIMBY @somervilleyimby@better.boston

QT @AaronGuhreen@twitter.com:

“Frustrating how New Zealand confirmed the YIMBY thesis correct, literally based their reforms on Scott Wiener’s SB 827, built a ton of housing and saw decreases in real housing costs for households of all incomes but we still talk about this issue like it’s an open question.”

https://twitter.com/AaronGuhreen/status/1591128801760915457

Nov 11, 2022, 01:30

ocschwar @ocschwar@qoto.org

@cshabsin Does it work?

ocschwar boosted

Sep 15, 2018, 09:16

Alisca @Alisca@mastodon.social

I'm gonna keep posting this until one of you fucking boosts it

e40023e86c4d58c3.jpg

ocschwar boosted

Nov 08, 2022, 06:36

Fidel Destro @cjrando@mastodon.art

Mastodon is so last week. Now everyone is on Narwhal. It's not a social network. We're just riding on the back of a sweet ass narwhal. Get on, loser.

Nov 07, 2022, 21:45

ocschwar @ocschwar@qoto.org

@gretathunberg Well, given that Mars is flat, I prefer earth.

Nov 07, 2022, 21:10

ocschwar @ocschwar@qoto.org

I want an alpaca.

Nov 07, 2022, 18:06

ocschwar @ocschwar@qoto.org

@bsafieldeen mention #leanprover, get a follower. Hi.

ocschwar boosted

Nov 07, 2022, 16:51

Greta Thunberg @gretathunberg@mastodon.nu

Hi, this is Greta. You are welcome to follow me here, if you prefer planet earth to planet mars.

Nov 07, 2022, 17:03

ocschwar @ocschwar@qoto.org

Lean 4 & VS Code, where my homies?

Nov 07, 2022, 17:00

ocschwar @ocschwar@qoto.org

Greetings to all in my monkey sphere. Must remember not to get too candid here.

Nov 07, 2022, 14:01

ocschwar @ocschwar@qoto.org

Confusion to our enemies!

Joined Nov 2022