Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @sgraf1337
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @sgraf1337
-
My first GHC proposal just got accepted
https://twitter.com/nomeata/status/1222809540292501504 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Meanwhile I had success with fixing typos, Darwin is green! This is the glorious diff: https://gitlab.haskell.org/ghc/ghc/merge_requests/2192/diffs?diff_id=10772&start_sha=c443cd5c1d989de21c204bd8acfd74992eb680fa … That's it, I'll go home crying for the rest of the weekend
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Nothing left but to hunt for typos in comments to fix GHC's compilation performance
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
> Spents his day trying to understand a CI regression on Darwin > Finds this commit https://gitlab.haskell.org/ghc/ghc/commit/d46a72e19e1b508358827e7270139f3273915697 … >
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Sebastian Graf Retweeted
I want to give some perspective for people not from Australia. More Aussie land is currently burning than exists in the entire country of Belgium. The smoke is causing breathing problems in New Zealand, 2,000km away. Half a billion animals have been killed. Eight people are dead.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Sebastian Graf Retweeted
Alan Kay did not have C++ in mind when he coined "Object Oriented Programming"; just like Larry Tesler did not have Go in mind when he introduced "Copy and Paste"
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Random
#plnl19 idea: awk to VHDL compilerThanks. Twitter will use this to make your timeline better. UndoUndo -
Sebastian Graf Retweeted
Remember that video about how block collisions can compute the digits of pi? A friend, Adam Brown, just showed that the math underlying this is actually identical to the math behind a very famous quantum search algorithm (Grover's): https://arxiv.org/abs/1912.02207 Genuinely crazy!pic.twitter.com/mZKx7gnLQv
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Sebastian Graf RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
Also it now has a WIP MR https://gitlab.haskell.org/ghc/ghc/merge_requests/2218 …. Once the pipeline turns green, you can try it out with the following nix invokation: nix run -f https://github.com/mpickering/ghc-artefact-nix/archive/master.tar.gz … \ --argstr branch wip/unlifted-data \ ghcHEAD cabal-install
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Now I only have to find all the places it breaks and fix them
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Apparently I managed to add support for custom unlifted data types (https://github.com/sgraf812/ghc-proposals/blob/unlifted-data/proposals/0000-unlifted-data.rst …) to GHC with delightfully minimal patch
https://gitlab.haskell.org/ghc/ghc/compare/master...wip%2Funlifted-data …
The fact that I barely had to touch anything besides parsing and type-checking is just amazingShow this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Sebastian Graf Retweeted
Me reviewing pull requestspic.twitter.com/s4Zddh1X1Z
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Sebastian Graf Retweeted
My friend’s entire company is locked out of their WeWork office because an umbrella fell, jamming the door. No one can figure it out. It’s been like this for 2 days.pic.twitter.com/ggaUkgYRFR
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Sebastian Graf RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
Sebastian Graf Retweeted
I'd like to address some fallacies I see people make when defending the behavior of people like John De Goes Fallacy 1: "The accused person was nice to me, therefore they couldn't have treated others poorly" I believe this first fallacy is self-explanatory (1/4)https://twitter.com/skillsmatter/status/1168944236181557254 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Found this in an alley around Glasgow University... Feed!pic.twitter.com/GCZq351GTN
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Me declaring victory over "the last bug" in my patchhttps://www.youtube.com/watch?v=Hef3RG3GGpQ …
Thanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
