Tim

Data engineer at Native Instruments. Former Ph.D. student and computer scientist @ TU Berlin.

[Tim @timjuni]

Achievement unlocked: Dr.-Ing. 🎓🎉

[Tim @timjuni]

@mrmaxm @ae_play Even the offline use case with mobile application and local database works with OT as long as you do not allow updates between multiple offline devices. For me, the simplicity of the crdt idea makes it so appealing.

[Tim @timjuni]

@cmeik Remember the nightmare level where Max was drugged? So scary 😂

[Tim @timjuni]

@larrydevito Sei froh dass bei dir jedes Kind einen eigenen Balkon hat! 😂

[Tim @timjuni]

@cmeik It is! Would enjoy a little bit more distributed systems challenges t.b.h., but who knows what comes next 😃

[Tim @timjuni]

@cmeik Believe it or not, I do :)
Good to see you find some time to be creative these days.

[Tim @timjuni]

@cmeik Good to see you working with NI software, I like that 😂

[Tim @timjuni]

@lauritzthamsen Btw, the link is not working

[Tim @timjuni]

@lauritzthamsen Where t.f. did you get 3 open positions!? 😂

[Tim @timjuni]

@eliasgruenewald Freitagsrunde = Karrieristenverein

[Tim @timjuni]

@SD10er @silkira91 Look at it go

[Tim @timjuni]

@defconq FoCo or Wrap material?

[Martin Kleppmann @martinkl]

I have recorded an extended version (2 hours) of my introduction to Isabelle/HOL talk. 📹 Take a look if you're interested in formal verification of distributed systems 💡🛠 https://t.co/zXT1QbL7Lb

[Tim @timjuni]

@defconq

[Annette Bieniusa @anne_biene]

Follower power!
I am looking for some basic introduction to operational semantics, preferably some form of tutorial or lecture notes. (We unfortunately don't have enough copies of TAPL in the lib for the students and ordering new ones will take time). Any pointers?

[Tim @timjuni]

@NerdResa Awesome, congratulations!

[Tim @timjuni]

@_morre_ @ekeih @home_assistant Me too 👍

[Tim @timjuni]

https://t.co/6pM429BpJc

[Tim @timjuni]

@larrydevito Ich hätte gern Ersatzverkehr mit Busen 😂

[Tim @timjuni]

@benkeks @ErikMarquardt Same here, go @ErikMarquardt

[Tim @timjuni]

@sallapf Kleiner Tipp: einfach Mal sagen dass du sehr unzufrieden mit dem Artikel bist. Das letzte Mal habe ich vom Händler eine Gutschrift aus Angst vor einem schlechten review bekommen 😂

[Tim @timjuni]

@code_n_roll Sorry for the German tutorial: https://t.co/wUgc1SHgNR

[Tim @timjuni]

@code_n_roll @GCPcloud The IP of the node is used by the pods to communicate to the outside world (outgoing connections). If you don't want to have public IPs on the nodes then start a private k8s cluster and use Cloud NAT if needed :)