Joachim Breitner

@nomeata

Haskeller, Computer Scientist, Swing dancer, Stand-up comedian. Senior Researcher and Engineer at .

Freiburg, Germany
Joined June 2009

Tweets

You blocked @nomeata

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

  1. 2 hours ago

    Working with squash merges but also with stacked feature branches? Maybe will be useful for you.

    Undo
  2. Jan 30

    The GHC Steering Committee just accepted the proposal “Unlifted Datatypes” by :

    Undo
  3. Retweeted
    Jan 28

    We're very happy to have Joachim Breitner () speak to us on Sun Feb 16 on "Lattice attacks on Ethereum and Bitcoin." He'll show how poor choices of ECDSA nonces can allow attackers to recover your private key Please join us!

    Show this thread
    Undo
  4. Jan 25

    The GHC Steering Committee welcomes , Cale Gibbard and as new members!

    Undo
  5. Jan 24

    The GHC Steering Committee just accepted “Simplify subsumption” by Simon PJ himself

    Undo
  6. Jan 18

    Tonight I dreamed that I wanted the bike shop to eta-expand the gears of my bike, because they were built via function composition, and it would allow inlining and make the bike simpler, but the bike shop didn't want to work on the gears of existing bikes.

    Undo
  7. Jan 16

    Maybe the closest to what I want is # at rev 123 git rebase X --onto Y git reparent -p 123 Y git commit --amend -m "Merge Y" using I.e. I want the same _tree_ as with git rebase, but I want it to look like a regular merge commit.

    Show this thread
    Undo
  8. Jan 16

    Git question: Branch with X merged into, and X has become Y (e.g. due to squash merge into master), then git rebase X --onto Y will fix that. Is there an equivalent merge? I could imagine something like git merge master --equivalent X Y

    Show this thread
    Undo
  9. Retweeted
    30 Dec 2019
    Replying to

    About Text-fusion. From inspection testing paper (by ), it’s not that reliable (it’s not in types: cannot blindly trust). I suspect that many don’t need fusion, and when they need, the separate type (heh!) with limited (but actually fusing) API would be ok.

    Undo
  10. 22 Dec 2019

    War gerade bei einem Schulfreund zu Besuch, der einen kleinen Tiptoi-Fan zum Sohn hat. Mittels konnte ich denen im Handumdrehen ein Familienfoto mit dem Tiptoi antippbar machen. Sogar das Drucken der Codes gelang auf Anhieb! Frohe Weihnachten!

    Undo
  11. 8 Dec 2019

    The GHC Steering Committee has accepted “Overloaded Quotation Brackets” by Matthew Pickering

    Undo
  12. 7 Dec 2019

    Running my own mailserver becomes less and less viable… :-( Which good mail hoster allows external domains, supports sieve filters and wildcard aliases, fitlers spam well, and ideally charges by actual resources used (storage/traffic _not_ domains/aliases)?

    Undo
  13. 24 Nov 2019

    After a week, I can publish the seventh and (for now) last entry, where we introduce a “control stack” (or should I say, “zipper-like data structure”)? I am also sharing the code used for the benchmarks, stats and the graph:

    Show this thread
    Undo
  14. 24 Nov 2019

    Time for the sixth entry, a small one showing that sometimes, simpler code is better code:

    Show this thread
    Undo
  15. 22 Nov 2019

    In the fifth entry, I talk about how ReaderT gets in the way, and why eta-expansion is so important for performance:

    Show this thread
    Undo
  16. 20 Nov 2019

    The forth entry is a small one: Export lists help improving performance:

    Show this thread
    Undo
  17. 19 Nov 2019

    Third in the series: Difference lists give you O(1) concatenation, and every Haskell programmer should know about them. And they can even fix memory leaks (although I am not entirely sure why).

    Show this thread
    Undo
  18. 18 Nov 2019

    As the second optimization, we use SPECIALIZE to avoid the overhead of monad-polymorphic code:

    Show this thread
    Undo
  19. 17 Nov 2019

    First optimization was easy, but very effective: Use mutable vectors, not immutable ones:

    Show this thread
    Undo
  20. 17 Nov 2019

    New blog post series on how I made an interpreter written in 700× faster

    Show this thread
    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

    ·