Flow | A static type checker for JavaScript
Code Faster.Tired of having to run your code to find bugs? Flow identifies problems as you code. Stop wasting your time guessing and checking. Code Smarter.It's hard to build smart tools for dynamic languages like JavaScript. Flow understands your code and makes its knowledge available, enabling other smart tools to be built on top of Flow. Code Confidently.Making major changes to large codebases
How to choose a teaching language
If you were teaching a programming course, what language would you teach it in? I like this question because it has any number of good answers, each quite different from the other, and each emblematic of a different approach to what programming is about. The first formal programming class I took was COS 217 at Princeton, taught by the excellent (and at the time, I thought, terrifying) Anne Rogers.
propellor: deploying properties to hosts with haskell
Propellor is a configuration management system using Haskell and Git. Each system has a list of properties, which Propellor ensures are satisfied. Linux and FreeBSD are supported. Propellor is configured via a git repository, which typically lives in ~/.propellor/ on your development machine. Propellor clones the repository to each host it manages, in a secure way. See components for details. Prop
Matz at RubyConf 2014: Will Ruby 3.0 be Statically Typed? - The Omniref Blog
We’re at RubyConf 2014, where Matz has just given his keynote, focusing on the future of the Ruby language. Matz presented a few major ideas for the next version of Ruby, including improvements in concurrency support, and JIT compilation (which he said might result in a 2x-4x speedup…maybe), but he spent most of the talk going into the details of how Ruby might go about implementing static typing.
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
Haskell · How I Start.
My name is Chris. I teach Haskell to people that are new to programming and as well as long-time coders. Haskell is a general purpose programming language that is most useful to mere mortals. I’m going to show you how to write a package in Haskell and interact with the code inside of it. Installing tools for writing Haskell codeWe’re going to use Stack to manage our project dependencies, compiler,
6.828 / Fall 2014
Xv6, a simple Unix-like teaching operating system Introduction Xv6 is a teaching operating system developed in the summer of 2006 for MIT's operating systems course, 6.828: Operating System Engineering. We hope that xv6 will be useful in other courses too. This page collects resources to aid the use of xv6 in other courses, including a commentary on the source code itself. History and Background F
A taste of State: parsers are easy
Like many other Haskellers even after considering myself an expert in the language I still get that amazing “wow” moment, when I learn another elegant thing about its basic concepts, from time to time. Recently I was working on a project, which required a primitive parsing functionality, and I discovered that amazing results in terms of performance can be achieved using the good old State monad. T
Fun with machine learning: logistic regression!
November 17, 2014 As much as I write about how there’s a lot more to ML than training models, the actual statistical models you use are still really important! And I find understanding the models I’m using helps me sleep a lot better at night. So we’re going to talk about one. I only do classification right now. Classification means that you have a bunch of data with features (like (height = 5', w
Tornado without a GIL on PyPy STM
This post is by Konstantin Lopuhin, who tried PyPy STM during the Warsaw sprint. Python has a GIL, right? Not quite - PyPy STM is a python implementation without a GIL, so it can scale CPU-bound work to several cores. PyPy STM is developed by Armin Rigo and Remi Meier, and supported by community donations. You can read more about it in the docs. Although PyPy STM is still a work in progress, in ma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Generalist
[1410.1141v1] On the Computational Efficiency of Training Neural Networks
Cyclic Types - School of Haskell | School of Haskell
https://www.haskell.org/communities/11-2014/report.pdf
GitHub - AltGr/opam-publish: A tool to ease contributions to opam repositories
GitHub - aaronc/freactive: High-performance, pure Clojurescript, declarative DOM library
GitHub - klarna/ponos: ponos is a simple yet powerful load generator written in erlang
A picture is worth a thousand (coherent) words: building a natural description o
http://research.google.com/people/jeff/CIKM-keynote-Nov2014.pdf