Twitter | Pretraživanje | |
Joachim Breitner
Haskeller, Computer Scientist, Swing dancer, Stand-up comedian. Senior Researcher and Engineer at .
1.035
Tweetovi
0
Pratim
1.375
Osobe koje vas prate
Tweetovi
Joachim Breitner 13 h
Working with squash merges but also with stacked feature branches? Maybe will be useful for you.
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 30. sij
The GHC Steering Committee just accepted the proposal “Unlifted Datatypes” by :
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner proslijedio/la je tweet
ETH Silicon Valley 28. sij
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!
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 25. sij
The GHC Steering Committee welcomes , Cale Gibbard and as new members!
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 24. sij
The GHC Steering Committee just accepted “Simplify subsumption” by Simon PJ himself
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 19. sij
Odgovor korisniku/ci @OswaldChocolate
Or better compilers that let me sleep well at night.
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 18. sij
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.
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 16. sij
Odgovor korisniku/ci @nomeata
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.
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 16. sij
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
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner proslijedio/la je tweet
Oleg Grenrus 30. pro
Odgovor korisniku/ci @rabbitonweb @nomeata
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.
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 22. pro
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!
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 8. pro
The GHC Steering Committee has accepted “Overloaded Quotation Brackets” by Matthew Pickering
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 7. pro
Odgovor korisniku/ci @sigwinch28 @IvanPerezKeera
It's not just administration, also things like staying off blacklists etc.
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 7. pro
Odgovor korisniku/ci @lemmster
That sounds very good. I'll look more closely :-)
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 7. pro
Odgovor korisniku/ci @lemmster
Looked at first, but 5GB is a bit low, and “25 aliases” does not sound like they support wildcard aliases or sieve filtering… hmm, their web page is just confusing – I can also have 25GB? Ah, some googling says that sieve works. Will look closer… thanks!
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 7. pro
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)?
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 30. stu
Odgovor korisniku/ci @haroldcarr @lexi_lambda @aymannadeem
I modified it a bit, originally by
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 24. stu
Odgovor korisniku/ci @nomeata
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:
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 24. stu
Odgovor korisniku/ci @nomeata
Time for the sixth entry, a small one showing that sometimes, simpler code is better code:
Reply Retweet Označi sa "sviđa mi se"
Joachim Breitner 22. stu
Odgovor korisniku/ci @nomeata
In the fifth entry, I talk about how ReaderT gets in the way, and why eta-expansion is so important for performance:
Reply Retweet Označi sa "sviđa mi se"