Sebastian Graf

@sgraf1337

Talk to me about Haskell, GHC, general CS or my trumpet

Karlsruhe, Baden-Württemberg
Joined July 2014

Tweets

You blocked @sgraf1337

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @sgraf1337

  1. Jan 30

    My first GHC proposal just got accepted 🎉

    Undo
  2. Jan 10

    Meanwhile I had success with fixing typos, Darwin is green! This is the glorious diff: That's it, I'll go home crying for the rest of the weekend

    Show this thread
    Undo
  3. Jan 10

    Nothing left but to hunt for typos in comments to fix GHC's compilation performance

    Show this thread
    Undo
  4. Jan 10

    > Spents his day trying to understand a CI regression on Darwin > Finds this commit > 😭

    Show this thread
    Undo
  5. Retweeted
    Jan 1

    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 thread
    Undo
  6. 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"

    Undo
  7. 12 Dec 2019

    Random idea: awk to VHDL compiler

    Undo
  8. Retweeted
    5 Dec 2019

    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): Genuinely crazy!

    Undo
  9. Retweeted
    27 Nov 2019

    Für jeden Retweet pflanzen wir einen Baum! 🌳🌳🌳

    Show this thread
    Undo
  10. 22 Nov 2019

    Also it now has a WIP MR . Once the pipeline turns green, you can try it out with the following nix invokation: nix run -f \ --argstr branch wip/unlifted-data \ ghcHEAD cabal-install

    Show this thread
    Undo
  11. 21 Nov 2019

    Also this is what I can compile right now

    {-# LANGUAGE UnliftedDatatypes #-}
{-# LANGUAGE MagicHash #-}

module Lib where

import GHC.Exts

pack :: Bool -> Bool -> Int#
pack False False = 0#
pack False True  = 1#
pack True  False = 2#
pack True  True  = 3#

data unlifted SBool = STrue | SFalse

spack :: SBool -> SBool -> Int#
spack SFalse SFalse = 0#
spack SFalse STrue  = 1#
spack STrue  SFalse = 2#
spack STrue  STrue  = 3#

data Tree a
  = Branch !(Tree ...
    Show this thread
    Undo
  12. 21 Nov 2019

    Now I only have to find all the places it breaks and fix them

    Show this thread
    Undo
  13. 21 Nov 2019

    Apparently I managed to add support for custom unlifted data types () to GHC with delightfully minimal patch 🎉 The fact that I barely had to touch anything besides parsing and type-checking is just amazing

    Show this thread
    Undo
  14. Retweeted
    16 Nov 2019

    Me reviewing pull requests

    Show this thread
    Undo
  15. Retweeted
    17 Sep 2019

    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.

    Show this thread
    Undo
  16. Retweeted

    It’s happening.

    Undo
  17. Retweeted
    3 Sep 2019

    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)

    Show this thread
    Undo
  18. 2 Sep 2019

    Found this in an alley around Glasgow University... Feed!

    Undo
  19. 27 Aug 2019

    Me declaring victory over "the last bug" in my patch

    Undo

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.

    You may also like

    ·