|
Joachim Breitner
@
nomeata
Freiburg, Germany
|
|
Haskeller, Computer Scientist, Swing dancer, Stand-up comedian.
Senior Researcher and Engineer at @dfinity.
|
|
|
1.035
Tweetovi
|
0
Pratim
|
1.375
Osobe koje vas prate
|
| Tweetovi |
|
Joachim Breitner
@nomeata
|
13 h |
|
Working with squash merges but also with stacked feature branches? Maybe github.com/nomeata/git-po… will be useful for you.
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
30. sij |
|
The GHC Steering Committee just accepted the proposal “Unlifted Datatypes” by @sgraf1337:
github.com/ghc-proposals/…
|
||
|
|
||
| Joachim Breitner proslijedio/la je tweet | ||
|
ETH Silicon Valley
@EthereumSV
|
28. sij |
|
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 meetup.com/EthereumSilico…
Please join us!
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
25. sij |
|
|
||
|
Joachim Breitner
@nomeata
|
24. sij |
|
The GHC Steering Committee just accepted
“Simplify subsumption” by Simon PJ himself
github.com/ghc-proposals/…
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
19. sij |
|
Or better compilers that let me sleep well at night.
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
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.
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
16. sij |
|
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 github.com/MarkLodato/git…
I.e. I want the same _tree_ as with git rebase, but I want it to look like a regular merge commit.
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
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
|
||
|
|
||
| Joachim Breitner proslijedio/la je tweet | ||
|
Oleg Grenrus
@phadej
|
30. pro |
|
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
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
22. pro |
|
War gerade bei einem Schulfreund zu Besuch, der einen kleinen Tiptoi-Fan zum Sohn hat. Mittels 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! #tiptoi
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
8. pro |
|
The GHC Steering Committee has accepted
“Overloaded Quotation Brackets”
by Matthew Pickering
github.com/ghc-proposals/…
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
7. pro |
|
It's not just administration, also things like staying off blacklists etc.
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
7. pro |
|
That sounds very good. I'll look more closely :-)
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
7. pro |
|
Looked at mailbox.org 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!
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
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)?
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
30. stu |
|
I modified it a bit, originally by @aymannadeem
twitter.com/aymannadeem/st…
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
24. stu |
|
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”)?
joachim-breitner.de/blog/765-Faste…
I am also sharing the code used for the benchmarks, stats and the graph:
joachim-breitner.de/blog/766-Faste…
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
24. stu |
|
Time for the sixth entry, a small one showing that sometimes, simpler code is better code:
joachim-breitner.de/blog/764-Faste…
|
||
|
|
||
|
Joachim Breitner
@nomeata
|
22. stu |
|
In the fifth entry, I talk about how ReaderT gets in the way, and why eta-expansion is so important for performance:
joachim-breitner.de/blog/763-Faste…
|
||
|
|
||