Lambdaカクテル

京都在住Webエンジニアの日記です

Invite link for Scalaわいわいランド

Alloyでオーク問題を解く

猥雑な話で怒られそうなので恐縮ですが、オークが女騎士に怪しい薬を盛るというパズルがあったので、最近興味を持っていたAlloyでモデル検査をしましょう。 gist.github.com 解を図示するとこうなります。 Alloy初めて触ったのですが面白いですね。ところが…

会議体には適切な名前をつけてほしい

会議の名前をめぐって会社でごちゃごちゃ揉めてしまった(揉めたというほどではなくて,議論になった,くらいなのだけれど)。 チームで持たれている会議の名前がわかりづらいことがあって,リリース予定なのか会議なのかわからんから替えてくれ(会,という接…

髪切った&&ジムに行った

美容院篇 同僚の紹介で二条駅付近の美容院に行った。有料だがシェービングもしてくれるので男女ともにお得。 自転車停めていいか心配していたが勝手に移動してくれて、帰るときに戻してくれた。 自分はいつも同じ美容院を使うという感覚があまりなくて、割と…

エンジニアが柔軟に考える事の内面化について考えた

id:Windymeltです。夜はもうめっきり涼しくなりました。とはいえ不眠の調子はまずまずで,睡眠外来の医者を取ろうとしたら最短でも12月になるらしく。相当数の人間が今日も眠れないのだろうと思いながら記事を書いています。 自分は慢性的な不眠症を持ってい…

ウブ

(NSFW)

#ISUCON 9に2人チームとして初参加し,負けた

標題の通り。弊社では今回のISUCONに4チームほど参加したようでしたが,われわれは自分と id:Pasta-K の二人チームで参加しました。使用言語はRubyで,スコアは4010点でした。 毎年ISUCONに同僚の人間が参加しているのを見ていいな~と思っていましたが敷居…

"大人"になんてならなくてよかった

卒業してから今の会社に就職して,人生のゴールが一度達成されてしまったけれど,その後のことなんか考えてなかったし,大学では良い(大)企業に入ることが至上命題にされていて,やれTOEICだの簿記だのを受けさせられて,それが単位要件ときたもんだから,就…

★記事をRTしてもらえると喜びます
Webアプリケーション開発関連の記事を投稿しています.読者になってみませんか?