Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @nomeata
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @nomeata
-
Working with squash merges but also with stacked feature branches? Maybe https://github.com/nomeata/git-post-squash … will be useful for you.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
The GHC Steering Committee just accepted the proposal “Unlifted Datatypes” by
@sgraf1337:https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-datatypes.rst …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Joachim Breitner Retweeted
We're very happy to have Joachim Breitner (
@nomeata) 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 https://www.meetup.com/EthereumSiliconValley/events/268207024/ … Please join us!Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
The GHC Steering Committee just accepted “Simplify subsumption” by Simon PJ himselfhttps://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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 https://github.com/MarkLodato/git-reparent … I.e. I want the same _tree_ as with git rebase, but I want it to look like a regular merge commit.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Joachim Breitner Retweeted
About Text-fusion. From inspection testing paper (by
@nomeata), 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.pic.twitter.com/WmNaok8fDs
Thanks. Twitter will use this to make your timeline better. UndoUndo -
War gerade bei einem Schulfreund zu Besuch, der einen kleinen Tiptoi-Fan zum Sohn hat. Mittels http://tttool.entropia.de/ konnte ich denen im Handumdrehen ein Familienfoto mit dem Tiptoi antippbar machen. Sogar das Drucken der Codes gelang auf Anhieb! Frohe Weihnachten!
#tiptoiThanks. Twitter will use this to make your timeline better. UndoUndo -
The GHC Steering Committee has accepted “Overloaded Quotation Brackets” by Matthew Pickeringhttps://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0246-overloaded-bracket.rst …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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)?
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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”)? http://www.joachim-breitner.de/blog/765-Faster_Winter_7__The_Zipper … I am also sharing the code used for the benchmarks, stats and the graph: http://www.joachim-breitner.de/blog/766-Faster_Winter__Statistics_the_making-of …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Time for the sixth entry, a small one showing that sometimes, simpler code is better code: http://www.joachim-breitner.de/blog/764-Faster_Winter_6__Simpler_Code …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
In the fifth entry, I talk about how ReaderT gets in the way, and why eta-expansion is so important for performance: http://www.joachim-breitner.de/blog/763-Faster_Winter_5__Eta-Expanding_ReaderT …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
The forth entry is a small one: Export lists help improving performance: http://www.joachim-breitner.de/blog/762-Faster_Winter_3__Export_lists …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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). https://www.joachim-breitner.de/blog/761-Faster_Winter_3__Difference_Lists …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
As the second optimization, we use SPECIALIZE to avoid the overhead of monad-polymorphic code: https://www.joachim-breitner.de/blog/760-Faster_Winter_2__SPECIALIZE …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
First optimization was easy, but very effective: Use mutable vectors, not immutable ones: http://www.joachim-breitner.de/blog/759-Faster_Winter_1_7__Vectors …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
New blog post series on how I made an interpreter written in
#Haskell 700× faster http://www.joachim-breitner.de/blog/758-Winter_is_coming_even_more_quickly …Show this threadThanks. 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.