Tweet Hello, just a quick note to say that I’m doing a webinar with the PostSharp folks on a technique my team developed whilst working on Here Be Monsters (a MMORPG that had more text than the first 3 Harry Porter books combined) which allowed us to localise the whole game with a handful of lines of

Tweet Tweet

タバコをやめるために禁煙に挑戦している人は多いですが、無事に成功できた人もあれば、途中で挫折してしまう人もあります。 電子タバコなどのグッズを利用しても、物足りなさを感じている人も多いのではないでしょうか。 禁煙に成功で...続きを読む 投稿ニコチン依存と効果的な禁煙の手段は禁煙を開始して体を健康に！の最初に登場しました。

This blog post is an edited and more accessible version of an article Thinking the unthinkable that I recently presented at the PPIG 2016 conference. The original article (PDF) has proper references and more details; the minimalistic talk slides give a quick summary of the article. If you find this interesting, you might also be interested in a workshop we are planning. To keep in touch leave a comment on GitHub, ping me at @tomaspetricek or email tomas@tomasp.net! Our thinking is shaped by basic as[...]

When you start working in the programming language theory business, you'll soon find out that lambda abstraction and functions break many nice ideas or, at least, make your life very hard. For example, type inference is easy if you only have var x = ..., but it gets hard once you want to infer type of x in something like fun x -> ... because we do not know what is assigned to x. Distributed programming is another example - sending around data is easy, but once you start sending around function values, thi[...]