There are more people alive now than have ever died since humanity began which means that when you die you’ll be even more lonely, because there is no afterlife and you’ll just shut off like a shitty broken computer and bask in a solitudinal blackness for eternity Enjoy Arby’s

We're getting the South Bay Haskell meetup going again with a talk by Thomas D introducing dependent types. Thursday, September 26th in Sunnyvale. meetup.com/haskellhackers…

Mario Román (Mario Román) on profunctor optics - fresh out of the ACT school I think you can expect this stuff to be coming to a lens library near you

Java dev: Haskell (so I've heard) is very abstract. Haskell dev, opening any Java project: why is there so much pointless abstraction!? Why is there an AbstractProtocolBeanFactory, when there will only ever be one implementation? Stop over-complicating things! Just be concrete.

SICP, which got me into Scheme and functional programming, then PL theory, then theoretical computer science

I found a way to eliminate a monad transformer stack in an Applicative style: :{ runFunDay $ (\() w s result -> result ++ ", " ++ w ++ ", " ++ s) <$$> funReaderT "r" <**> funWriterT <**> funStateT "s" <**> funday1 myRWST :} "result, w, s'" gist.github.com/gelisam/d9b067…

I've always relied on the Feynman method: 1. Load problem into my head 2. Disappear for a long while 3. Fix the problem

I’m back in London and at my favourite bookstore

"Pokemon" is short for "Poket Monoid" where the binary associative operation is "fight" and the identity element is an opponent who immediately flees.

1. First language: Scheme 2. Had difficulties: Verilog 3. Most used: Haskell 4. Totally hate: Go 5. Most loved: Haskell 6. For beginners: Scheme

with Dad×2_jack

New idea: 1. export whole program STG 2. do Control Flow Analysis on STG 3. defunctionalize STG (turn unknown calls to known ones) 4. feed back STG to GHC backend codegen

vaibhav sagar Related: "Object-oriented programming is an exceptionally bad idea which could only have originated in California" - Dijkstra

waitress: is that an american card? me: how did you know? waitress: the machine doesn’t work with american cards

Picard technology tip: Sometimes your chief engineer can build new systems that are better than your existing enterprise software.