meat robot
Joined February 2008
- Tweets 7,659
- Following 415
- Followers 639
- Likes 21,053
202 Photos and videos
20 Oct 2019
The Human Predicament is the best book I’ve read in recent memory. Benatar’s arguments are sharp and his prose is witty and biting. Reading it felt like reading my own words were I had to write, say, an essay on the ethics of suicide (ch 7) or the meaning of life (ch 3).
2
1
5
20 Oct 2019
(In case you were wondering, my views are that (a) life is a meaningless burden and (b) one must be allowed to choose when he wishes to leave.)
1
1
matt retweeted
19 Oct 2019
Picard technology tip: Sometimes your chief engineer can build new systems that are better than your existing enterprise software.
7
134
779
16 Oct 2019
waitress: is that an american card?
me: how did you know?
waitress: the machine doesn’t work with american cards
4
matt retweeted
13 Oct 2019
Related: "Object-oriented programming is an exceptionally bad idea which could only have originated in California" - Dijkstra
9
56
14 Oct 2019
I’m on holiday, which just means that I’m working in a different starbucks in a different timezone
1
6
14 Oct 2019
Long compile times are more bearable when there’s a city you can look at out the window
1
matt retweeted
11 Oct 2019
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
3
11
4 Oct 2019
1. First language: Scheme
2. Had difficulties: Verilog
3. Most used: Haskell
4. Totally hate: Go
5. Most loved: Haskell
6. For beginners: Scheme
1
5
matt retweeted
3 Oct 2019
"Pokemon" is short for "Poket Monoid" where the binary associative operation is "fight" and the identity element is an opponent who immediately flees.
8
67
324
matt retweeted
16 Aug 2019
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
88
1,325
6,579
matt retweeted
28 Sep 2019
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/d9b0…
1
7
36
29 Sep 2019
I've always relied on the Feynman method:
1. Load problem into my head
2. Disappear for a long while
3. Fix the problem
26 Sep 2019
My recipe for effective software debugging is to follow the scientific method:
Step 1: Ask a specific question
In other words, don't tweak random settings or collect random data/logs. Be purposeful in every experiment. Justify every action [1/5]
matt retweeted
4 Sep 2019
We're getting the South Bay Haskell meetup going again with a talk by @tthomasdd introducing dependent types.
Thursday, September 26th in Sunnyvale.
meetup.com/haskellhackers/ev…
3
12
14 Sep 2019
SICP, which got me into Scheme and functional programming, then PL theory, then theoretical computer science
14 Sep 2019
If you had to pick one thing you've read that changed the course of your life, what would it be? (ht @rivatez for the question.)
1
4
matt retweeted
10 Sep 2019
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.
4
47
204
