This domain may be for sale!
Code analyzers can easily find not-so-obvious errors. Want to compete? Try to beat PVS-Studio! We chose 10 code fragments where the analyzer found errors. These fragments are from well-known open-source projects. If you can find an error in under 60 seconds, you score 1 point. The code fragments are small, so 60 seconds is a fair limit. Good luck!
Personal blog of Eren, about computers, math and musicI was just asked to crack a program in a job interview ! TL;DR I was just asked to crack a program in a job interview. and got the job. Hello everyone, i am quite excited about my new blog here.I am planning to write couple of blog posts every week. Since the title gives you a brief information about general concept , i would like to tell you m
Transducers.js: A JavaScript Library for Transformation of Data If you didn't grab a few cups of coffee for my last post, you're going to want to for this one. While writing my last post about js-csp, a port of Clojure's core.async, they announced transducers which solves a key problem when working with transformation of data. The technique works particularly well with channels (exactly what js-cs
Here at WatchSumo we are big fans of Ruby and Erlang, we've been using Ruby and Ruby on Rails for many years and Erlang for the last four years. This is why we are very excited with the launch of Elixir 1.0.0. Elixir is a language created by José Valim which runs on top of the Erlang Virtual machine and provides extra features like macros, better string handling, tools, etc... I won't go into more
17.09.2014 Permalink Recently I gave an itemis internal talk about basic functional programming (FP) concepts. Towards the end I made a claim that objects and their blueprints (a.k.a. classes) have severe downsides and that it is much better to "leave data alone", which is exactly how Clojure and Haskell treat this subject. I fully acknowledge that such a statement is disturbing to hear, especiall
My blog on Haskell, games, functional programming, and programming in general. NotesI’m writing this using Netwire 5.0.0. This tutorial may be out of date in the future. I am also by no means an expert in using Netwire, I’ve just recently learned it and wanted to practice my knowledge by writing something about it. The source for this tutorial can be found on GitHub. I suggest looking around there
Over the past couple of months I’ve been working on a web app, writing it in Clojurescript and using David Nolen’s Om framework. I may end up writing about some detailed aspects of Om, but for now I would like to talk a little bit about what it is like to build an Om app. This isn’t meant to be a tutorial at all, or an example; I just want to give a sense of what it feels like, and what some of th
2014-09-19 実体のある型レベル自然数をHaskellで実装してみた Haskell IT GHC では型システムが急速に進化していて、ついに型レベル自然数 (type-level natural number) も組み込まれました。この型レベル自然数は、0, 1, 2, ... というリテラルによって型レベル自然数を得られ、足し算・掛け算・冪乗・引き算・比較が可能です。考えられる使い道としては、配列の要素外アクセスを制限したり、バージョン管理をしたりといったことを、コンパイル時に静的に行うことでしょう。しかしこの型レベル自然数の類 (kind) は Nat であり、真の型(proper type, 実際に値を持つ類 * の型)ではありません。これはもったいない気がします。型に属する値が何種類あるか、という観点から、ヴォイド型 Void は 0、ユニット型 () は 1、ブール型
17th September 2014 i = i++ This expression, and many like it, demonstrate the sequencing rules of C++ and how they can cause your program to behave in ways you might not expect. What should the result of this expression be given some initial value for i? Questions like this are extremely frequent on Stack Overflow. In this case, the answer is that this code is completely undefined — it could do a
We propose a deep convolutional neural network architecture codenamed "Inception", which was responsible for setting the new state of the art for classification and detection in the ImageNet Large-Scale Visual Recognition Challenge 2014 (ILSVRC 2014). The main hallmark of this architecture is the improved utilization of the computing resources inside the network. This was achieved by a carefully c
How to test Async OCaml code 18 Sep 2014 In the previous blog post, we used Core and Async to write a tiny library for talking to Memcached using the binary protocol. I wanted to write tests for the library in a readable and succint manner to ensure correctness – the type system cannot ensure binary data is parsed correctly after all. The regular go-to tool for testing OCaml code is OUnit, but thi
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く