pipoquinha curiosa (@celsobonutti) 's Twitter Profile
pipoquinha curiosa

@celsobonutti

(he/him) / elm & haskell @noredink / the playstation can produce mind-boggling effects

ID: 710992543966584833

linkhttps://cel.so calendar_today19-03-2016 00:53:26

6,6K Tweet

352 Followers

378 Following

Shriram Krishnamurthi (primary: Bluesky) (@shriramkmurthi) 's Twitter Profile Photo

I've read multiple times that Reddit 1.0 was written in Lisp. I didn't realize the source is public. It's amazing. You can read the whole thing in one sitting. Even an undergrad could. It's like the essence of a…Reddit. We took a wrong turn w/ software. github.com/reddit-archive…

Luca Casonato 🏳️‍🌈 (@lcasdev) 's Twitter Profile Photo

So, Google Chrome gives all *.google.com sites full access to system / tab CPU usage, GPU usage, and memory usage. It also gives access to detailed processor information, and provides a logging backchannel. This API is not exposed to other sites - only to *.google.com.

She hopf on my fibration (@girlbossmoder) 's Twitter Profile Photo

Everyone is mocking this but I can't even bring myself to laugh cause there's something deeply depressing about how my field has been coopted by these dweebs trying to signal intelligence

Evil Haskell Tips (@evilhaskelltips) 's Twitter Profile Photo

“Semigroup” and “Monoid” are exclusionary terminology. Prefer “smashy-smashy” and “smashy-smashy-with-extra-nothing”.

Ryan Briggs (@ryancbriggs) 's Twitter Profile Photo

Gambling is one thing I’ve flipped on as I got older. I used to laugh off the critics and think of gambling as “a tax on those who can’t do math” but I’ve come to think that’s cruel (and regressive) and paternalism is good here. This paper is another brick in that new wall.

Racket (@racketlang) 's Twitter Profile Photo

Racketeers may be interested in the complete LACI (Logic and Computation Intertwined), which prepares one for Agda or Coq by constructing a small proof assistant (Proust) in Racket. cs.uwaterloo.ca/~plragde/flane… (thanks to @plragde for sharing this)

SwiftOnSecurity (@swiftonsecurity) 's Twitter Profile Photo

Remember kids, when you get assigned the special kinda illegal project at work – it's not because you're on the inner circle – it's because you're the expendable fall guy weakling who will misinterpret inclusion to illicit conspiracy as the illusion of respect you crave.