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

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[...]

世界保健機関は毎年5月31日を世界禁煙デーとしています。最近は喫煙できるスペースが減り、特に公共の施設内では禁煙のところが多くなっています。昔はオフィス内でもデスクでタバコを吸うのが当たり前でしたし、役所などでも休憩スペ...続きを読む 投稿世界禁煙デーの認知により施設内では禁煙が当たり前には禁煙を開始して体を健康に！の最初に登場しました。

Tweet First of all, apologies for taking months to write this up since part 1, I have been extremely busy since joining Yubl. We have done a lot of work with AWS Lambda and I hope to share more of the lessons we have learnt soon, but for now take a look at this slidedeck to get a