“K is a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be defined using configurations, computations and rules.” kframework.org/index.php/Mai…
6
Magst Du mir Deine Mailadresse per DM oder an stefan.tilkov@innoq.com schicken? Dann beantworte ich alles dort.
I’m starting to wonder whether maybe, just maybe, designing a good product UX might actually be harder than writing a monad tutorial
5
10
40
I can recommend the Grand Hotel Amrâth, close to Centraal. I have no idea what the cost is as the conference organizer paid the one time I was there.
1
Ärgerlicherweise macht er damit Propaganda auch gegen die guten Seiten der DSGVO und liefert denen, die Datenschutz blöde finden, nettes Material. Außer Clickbait kann ich dafür keinen Grund erkennen.
1
Ich finde das ehrlich gesagt ziemlich doof. Nicht mal der Herr RA selbst wird glauben, dass irgendjemand diese Telefonbelehrung macht oder irgendein Richter es einfordert
1
Wenn Du Dir nichts unterschreiben lässt, darfst Du nur, was offensichtlich ist, also z.B. die Visitenkarte benutzen, um die Person aus genau dem Grund zu kontaktieren, aus dem Du die Karte bekommen hast. Sicher darfst Du sie nicht für Newsletter o.ä. verwenden. /cc @frankfurtine
1
"both accomplished and an unhinged lunatic at the same time" – exactly my opinion about Bret Stephens, too
Great stuff!
Here are the slides for my "#REST beyond the obvious – #API design for ever evolving systems" talk from #SpringIO18… 🍃 bit.ly/2xbAYaY
2
2
8
Für den Kollegen wäre das bei uns ein fristloser Kündigungsgrund. Und sollte es bei jedem anderen AG auch sein.
2
78