Husk Scheme
What is husk? husk is a practical implementation of the Scheme programming language for the Haskell Platform. A superset of the R5RS standard is provided, along with most of the R7RS standard. Advanced features include: First-class continuations of unlimited extent Hygienic macros based on syntax-rules Low-level explicit renaming macros Library syntax from the R7RS standard A foreign function inte
Clojureコンパイラの型推論器をとりだしてみる - Homoiconic Days
clojure.orgには，Clojureについて次のような説明がある。 Clojure provides easy access to the Java frameworks, with optional type hints and type inference, to ensure that calls to Java can avoid reflection. http://clojure.org/ この型推論(type inference)は，Clojureの説明でたまに名前だけは出てくるものの，その実態についての説明にはほとんどお目にかかったことがない。そこで今回は，Clojureの型推論の機能をClojureから触れるようにして遊んでみよう。 Clojureになぜ型推論が必要か まずはじめに注意しておかないといけないのは，Clojureの型推論はMLやHaskellなどの静的
Error when running cabal-install: ExitFailure 1 (Mac OS X lion)
I get the following error when trying to run cabal install cabal-install I have installed the haskell platform from: http://www.haskell.org/platform/ for Mac OS X Lion. I want to run cabal install cabal-install so I can install quickcheck When trying to update, I get this erro. $ cabal install cabal-install Resolving dependencies... Configuring cabal-install-1.16.0... Building cabal-install-1.16.0
LLD - The LLVM Linker — lld 5 documentation
LLD - The LLVM Linker¶ LLD is a linker from the LLVM project that is a drop-in replacement for system linkers and runs much faster than them. It also provides features that are useful for toolchain developers. The linker supports ELF (Unix), PE/COFF (Windows), Mach-O (macOS) and WebAssembly in descending order of completeness. Internally, LLD consists of several different linkers. The ELF port is
着想から13年、Googleから5倍早いGNUリンカの新実装が登場 - いつか書く
面白かったので言及してみる。ちなみにまだググってない。 gold: Google Releases New and Improved GCC Linker | Google Open Source Blog Googleの中の人であるIan Lance Taylor氏が、GNUリンカを一から書き直した新実装「gold」をリリースした。既にbinutilsのHEADでは、configure時に「--enable-gold」を指定することで(従来のGNU ldに代わって)利用できるそうだ。 goldの売りは一点、高速性。氏によると、でかいC++アプリのリンクは五倍程度高速になるのを確認済らしい。またgold自体もC++で書かれていて、5万行しかないらしい。これってかなり小さいですよね? ただし現在、goldが使える環境はELF+x86/x64のみだそうだ。その点まだ未熟だが、当然Google社
Google の巨大レポジトリとブランチ無し運用 - Kato Kazuyoshi
GTAC 2013 Opening Keynote の Evolution from Quality Assurance to Test Engineering (スライド) を見た。 スライドの7ページ目 によると、Google では 15,000 あまりの開発者が、40 あまりの拠点に分散している。そして、彼らはひとつの巨大なレポジトリで、ブランチなしに開発しているらしい。 Single monolithic code tree with mixed langauge code Over 100 million lines of code. 50% of code changes monthly. Development on one branch - submissions at head 講演ではこの理由について One of the benefit is that we don’
Gaucheを常に最新に保つ。 - (define -ayalog '())
@ayato_p GaucheはHEADを使うものだあああああああああああああ 2013-05-18 10:41:08 via twicca to @ayato_p ということで、GaucheはGitHubのHEADを使うのがなうでヤングらしいので、さくっとやってみる。 と、思ってVPSでHEAD入れようとして、コケまくってたら助言を頂いた。 @ayato_p @valvallow GaucheのHEADのビルドにはGaucheが必要です。Gaucheが動いているマシンでHEADを落として、./DIST tgzでビルドできるtarballができますよん 2013-05-18 11:13:26 via twicca to @ayato_p GaucheのHEAD入れるのにGaucheないとダメなんや…。 そんな感じでさくっと… git clone https://github.com/shi
Hash-flooding DoS と SipHash - あどけない話
以前、僕が実装している web サーバ Mighty が、Haskell で書いているにも関わらず、セグメンテーションフォールトを起こしていた。調べたところ hashable ライブラリがリンクする C の DJBX33X が、SipHash に変わったことが原因だった。このときから SipHash が気になっていたし、以前社内で説明した "Efficient Denial of Service Attacks" との関係も知りたかったので、少し調べてみた。この記事は、その覚え書き。 Hash-flooding DoS の歴史 1998 年に Alexander Peslyak 氏が Phrack Magazine で、Hash-flooding DoS を受けたことを報告している。ハッシュは、N 個の要素を挿入するのに通常 O(N) かかるが、ハッシュ値がすべて衝突する最悪の場合では O
Perforce Software | Development Tools For Innovation at Scale
INDUSTRY REPORT | PUPPET.COM Get Your Copy: 2024 State of DevOps ReportDownload today to get insights into how platform engineering is reshaping the promise of DevOps. BLOG | PERFORCE.COM Perforce Acquires Data Management & Compliance Leader, DelphixPerforce CEO weighs in on this strategic investment and how it further powers our customers' innovation.
dl.google.com: Powered by Go
dl.google.com: Powered by Go 26 July 2013 Brad Fitzpatrick Gopher, Google Overview / tl;dw: dl.google.com serves Google downloads Was written in C++ Now in Go Now much better Extensive, idiomatic use of Go's standard library ... which is all open source composition of interfaces is fun groupcache, now Open Source, handles group-aware caching and cache-filling 2 too long... 3 me Brad Fitzpatrick br
Node.js Deployments with Docker, Dokku, & Digital Ocean — Code adventures — Medium
Nuno Jobgeek. open-source enthusiast. shaping the future of the node.js @nodejitsu. made @thenodefirm & @lxjs DigitalOceanDigitalOcean is a really nice cloud hosting company that offers excellent performance at affordable ratesDockerDocker is an abstraction on top of LXC Containers. Docker introduces a workflow that makes operating containers straightforward and lots of fun. If you want to learn m
tracing-framework by Google
Rich Tracing Choose what methods to trace and add custom data to each event. Track asynchronous flows and actions. Slick Visualization Smoothly dig through millions of events in an awesome UI. See patterns and understand your code like never before.
http://www.cobblerd.org/
For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.
Cartesian Closed Comic: archive
Cartesian Closed ComicArchive Don't play with your monads Shootout Halting problem Schrödinger's cat Trial HWN HCAR SKI Zhuangzi, butterfly and referential transparency Curry Résumé Abstractions ICFP The future of mathematics Iteratees Judgment day Typing Equality Facebook Weird language A question will be asked Cabal 1.18 Picking a lens library FTFY Safety IDE Security Motto Diagram
Haskellでオブジェクト指向プログラミング - Qiita
Lensを活用すれば、オブジェクト指向すら表現できる…これが、Haskellの力なのか… クラスはデータ型、メソッドはインスタンスの状態を変更するStateモナド、インスタンスはIORefに対応している。 {-# LANGUAGE TemplateHaskell, Rank2Types, ExistentialQuantification #-} import Control.Lens import Control.Applicative import Control.Monad.State import Control.Monad.IO.Class import Data.IORef infix 9 .- infix 9 .! data Vec2 = Vec2 Float Float deriving Show (&+) :: Vec2 -> Vec2 -> Vec2 Vec2 x0 y
Ersatzを使って数独を解く - Qiita
ErsatzはSATソルバの入力をモナドの力で生成してくれるライブラリ。適当にexistsとassertを並べればうまくやってくれるらしい。ということで、数独ソルバを実装してみた。素晴らしい… import Prelude hiding ((||), (&&), not, and, or) import Data.Char import Data.Array import Data.Ix import Data.Word import Control.Monad import Control.Monad.State import Ersatz -- (ersatz-0.2) fieldRange = ((1,1),(9,9)) unique :: Equatable a => [a] -> Bit unique = go [] where go ss (x:xs) = and (map (
Island Life - チケットノルマ
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
Javaガベージコレクションのエッセンス
あるアプリケーションの作業にとって、スループットは最も重要なターゲットです。1つ例を挙げると、長時間実行されるバッチ処理のジョブです。ガベージコレクションが実行されている間、バッチジョブが時々1、2秒止まっても、ジョブ全体がすぐに完了すれば問題ありません。 人間が直接対話するアプリケーションから金融取引システムまで、実質的な他のすべての作業では、システムが1、2秒か、数ミリ秒以上反応しない場合、大変なことになり得ます。金融取引では、しばしば一貫した停止時間と引き換えに、スループットを犠牲にするだけの価値はあります。物理的に利用可能なメモリ量によって制限されるアプリケーションを持ったり、footprintを維持しなければならなかったりすることもあります。そのような場合、停止時間とスループットの面の両方で、パフォーマンスをあきらめなければなりません。 以下のトレードオフは度々起こります。 大部
Arc Forum | Arc
install | tutorial | forum This site is about Arc, a new dialect of Lisp. Arc is designed for exploratory programming: the kind where you decide what to write by writing it. A good medium for exploratory programming is one that makes programs brief and malleable, so that's what we've aimed for. This is a medium for sketching software. Arc is unfinished. It's missing things you'd need to solve some
Dartのアーキテクチャやソースコードの解説 - LLVMとコンパイラとVM
前半はソースコードのディレクトリ構成の説明、 中盤はDart VM, dartium, dart2jsをブラウザに組み込んだ際のアーキテクチャ 後半はDartの最新状況のご紹介です。 口頭で多めに補足説明しながらだったので、スライドだけだと分かり難いかもしれません。。 その勉強会で話題になった、Dartって他のXXと比べた利点って何よ？への解答が難しい という話は、たしかに即答できないですね。。 比較対象としては、ざっと挙げると以下。 ※LLまつりより抜粋。 CoffeeScript Closure Compiler Dart ECMAScript6 Haxe JSX TypeScript 他言語やプラットフォームへの理解が不足しているのもあるけど、 実際のユースケースや、現状の問題点、理想像が、 私の中で整理されていないってのも、よくわからない原因かもなーと思いました。 WEBプラットフ
sanowataru design office
サノワタルは京都にデザイン事務所（会社）を構え、グラフィックデザインを軸に、内装デザイン・ウェブデザイン・パッケージデザインなどの様々な領域のデザインや企画を手掛けるグラフィックデザイナーです。
「安彦良和の原画にガンダムの成功があった」- 庵野秀明が語る『機動戦士ガンダム』の魅力と原画の重要性 (1) 若きアニメーターは安彦良和の仕事を見よ | マイナビニュース
当代有数のアニメ監督、『エヴァンゲリオン』の庵野秀明氏のルーツが『機動戦士ガンダム』にあることを、どれくらいの人がご存じだろうか。7月26日に東京・台場の「ガンダムフロント東京」にて行われた「機動戦士ガンダムの誕生とアニメーター安彦良和展」のスペシャルイベント、庵野秀明×氷川竜介トークショーで、庵野氏がアニメーション制作の世界に入ることになった経緯が、『ガンダム』の原画にあったことが語られた。 アニメは画の面白さである! 庵野氏かく語りき 庵野氏:アニメファンの庵野秀明です。 氷川氏と共に登壇した庵野氏は、まず脇に設置されている1/1オブジェの「コアファイター」をじっと見る。「どうですか?」と氷川氏が問うと、「ディテールが……アレですね」と不満顔。詳しくは語らなかったが、コアファイターのディテールで30分語り続けそうな気配だ。 最初は、庵野氏が編集した「安彦良和アニメーション原画集 機動戦
クックパッド英語版『COOKPAD』をリリース〜クックパッドの人気レシピを英語に翻訳し、世界へ届けます！〜
クックパッド英語版『COOKPAD』をリリース〜クックパッドの人気レシピを英語に翻訳し、世界へ届けます！〜 クックパッド株式会社は、8月5日（月）よりクックパッドの英語版『COOKPAD』（https://en.cookpad.com）をリリースしました。クックパッド（http://cookpad.com）の人気レシピを海外向けに英語に翻訳し、世界中から閲覧・検索できるようにします。 日本食は海外でも人気で、海外の日本食レストラン数は2013年3月時点で約5万5,000店舗、2006 年の2万4,000店舗から7年間で2.3倍に増加したとされます（農林水産省の推計より）。“Miso Soup” “Teriyaki” “Tofu” “Bento”など、多くの日本食のメニュー名が、そのまま世界で通用するようになってきています。また家庭料理としての日本食も、おいしいだけでなく見た目も美しく、健康
イモコレ！イモムシストラップ
２０１3年9月20日（金）入荷予定！ ■造形企画制作：海洋堂 カプセルQミュージアム 「イモコレ！イモムシストラップ」 ￥300 （全6種） ※こちらは店頭のガチャマシーンにてお求めくださいませ。 在庫お問い合わせ ＴＥＬ03-3253-1951（水曜定休） 天使のフィギュア 「フィギュアの缶詰」 キャンペーン！ 2013年1月20日～ 2014年1月20日 （当日消印有効） 天使のフィギュアを出して 「フィギュアの缶詰」をもれなくもらおう！ カプセルQミュージアムには、レアな確率で、 “天使のフィギュア”が入っています。 金の天使フィギュアならひとつ、 銀の天使フィギュアなら5個を集めると、 もれなくカプセルQフィギュア（既製品以外も あるかも・・・？）の詰め合わせがもらえます！ 詳しくはカプセル同封のリーフレットを ご覧ください。 キャンペーン
無償で利用できる13種類の波形編集ソフトウェア
テック系のニュース・サイト：Mashableが、“13 Best Free Audio Editors”というタイトルで、無償で利用できる13種類の波形編集ソフトウェアを紹介しています。この記事を読んでいる方はきっとDAWソフトウェアを1本は持っていると思いますが、ちょっとした編集を行う際には、意外と重宝する波形編集ソフトウェア。気になるものがあれば、ぜひ試してみてはいかがでしょうか。 1：Acoustica Basic Edition Windows用の高機能な波形編集ソフトウェア。録音、編集、ミキシング、マスタリング、バッチプロセッシングなど、波形編集ソフトウェア基本的な機能はひととおり装備。マルチトラック編集やオフライン解析、ノイズ除去といった機能が追加された有償版も用意されています（Standard Editionは39.9ドル、Premium Editionは119.9ドル）。
Treasure Dataのサービスはクラウド上でどう構築されているのか（後編）～July Tech Festa 2013
Treasure Dataのサービスはクラウド上でどう構築されているのか（後編）～July Tech Festa 2013 Treasure Dataといえば、日本人がシリコンバレーで創業したベンチャーとして知られている企業。そのシニアソフトウェアエンジニア中川真宏氏が、7月14日に行われたJuly Tech Festa 2013の基調講演で、同社がクラウド上で構築したサービスについてそのアーキテクチャを中心に解説を行っています。 この記事は「Treasure Dataのサービスはクラウド上でどう構築されているのか（前編）～Japan Tech Festa 2013」の続きです。 データを解析する「Plazma」の仕組み データを解析するところでは「Plazma」と呼ぶ、Hadoopのエコシステムとカラムストアなどを組み合わせたものを用いています。
Treasure Dataのサービスはクラウド上でどう構築されているのか（前編）～July Tech Festa 2013
Treasure Dataのサービスはクラウド上でどう構築されているのか（前編）～July Tech Festa 2013 Treasure Dataといえば、日本人がシリコンバレーで創業したベンチャーとして知られている企業。そのシニアソフトウェアエンジニア中川真宏氏が、7月14日に行われたJuly Tech Festa 2013の基調講演で、同社がクラウド上で構築したサービスについてそのアーキテクチャを中心に解説を行っています。 注目されているクラウドサービスがどのような仕組みになっており、それはどのような考え方で作られているのか。クラウドでシステム構築を考えている多くのエンジニアの参考になるはずです。講演の内容をダイジェストで紹介します。 Treasure Dataのクラウド戦略 Treasure Data, Inc。シニアソフトウェアエンジニア 中川真宏氏。 スタートアップなこともあ
Enterprise Container Platform | Docker
Products Docker DesktopContainerize your applicationsDocker HubDiscover and share container imagesDocker ScoutSimplify the software supply chainDocker Build CloudSpeed up your image buildsTestcontainers Desktop Local testing with real dependenciesTestcontainers Cloud Test without limits in the cloud See our product roadmapMORE resources for developers
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
年間5000冊読んでる俺がガチで今オススメする漫画TOP10が決まった : つま速
2013年08月01日 年間5000冊読んでる俺がガチで今オススメする漫画TOP10が決まった カテゴリ漫画・アニメ tsumasoku Comment(20) 1：以下、名無しにかわりましてVIPがお送りします：2012/04/21(土) 03:59:04.83 ID:UM8jQBAUO 連載中のもの、最近完結したものでオススメの１０冊！！ 10位 インノサン少年十字軍 ■全３巻。少年十字軍という中世に実際にあった出来事を基にしたフィクション。 少年達が聖地奪還を果たすため十字軍を結成し旅立つ。 上巻では多少ほのぼのとした展開が続くが・・・。 少年達の未熟な結束力は独特の語り口で凄惨な運命を辿る！ 3：以下、名無しにかわりましてVIPがお送りします：2012/04/21(土) 03:59:47.06 ID:6wKq5jot0 時間ないから1位はよ 4：以下、名無しにかわりましてVIPがお
Hiro Blog 「人生のコツはこの３つだけ。」
2013年の６月７日にアメリカのＭＩＴ（マサチューセッツ工科大学）の卒業式でスピーチをした、ドロップボックス社ＣＥＯのドリュー・ヒューストン（Drew Houston）のメッセージは、印象的で素敵でした。 素晴らしいスピーチなのに日本語にはまだあまり訳されていないようなので、ここで簡単に紹介したいと思います。 ＭＩＴを2005年に卒業してドロップボックス社を立ち上げて大成功したドリューは、充実した人生を生きるために必要なコツ（虎の巻）について、その日ＭＩＴを卒業する学生たちを前にして、こう語りました。 「というわけで、僕は君たちにちょっとした虎の巻を伝授したいと思う。僕も自分の卒業式だとしたらそれが聞きたかったからね。僕の虎の巻には、実は多くのことは書かれてない。テニスボール、サークル、30,000という数字、それだけだ。これだけ聞いても何のことだかまださっぱりだとは思うけど、ちょっと
Java8のOptionalがモナドになったよ！ - きしだのHatena
Java8にはOptionalクラスが導入されたのですが、5月にエントリを書いた時点ではモナドではありませんでした。 Java8でのプログラムの構造を変えるOptional、ただしモナドではない それが、５月末にどうもソースにモナドに必要なメソッドが追加されたらしいということになって、いつ使えるようになるか待っていたら、いつの間にか使えるようになっていました。 Optional (Java Platform SE 8 b101) こちらからダウンロードできます。 JDK8 Early Access Releases ― Project Kenai 他にもいくつか便利メソッドが追加されたおかげで、このようなコードが書けるようになりました。 String str = "abcd"; Optional.ofNullable(str) .map(st -> st.toUpperCase()) .f
結局jQuery.Deferredの何が嬉しいのか分からない、という人向けの小話 - Qiita
結局jQuery.Deferredの何が嬉しいのか分からない、という人向けの小話 一年ほど前に JavaScript - jQuery.Deferredを使って楽しい非同期生活を送る方法 - Qiita [キータ] という記事を書きました。 で、一年経って、ふと、「もっと分かりやすくjQuery.Deferredの便利さを説明できるんじゃないか」と思い立ってざざざっと書いてみました。 小話と言うにはちょっと長いけど。 -- jQuery.Deferredを使うと嬉しいのは、jQuery.Deferredの仕様を満たす部品同士を簡単に組み合わせることが可能だからです。中には処理を書き下すことができるとかコールバックのネストを防げるのがいいとか言う人もいますが、個人的にこっちのほうがよっぽど重要だと感じます。 例えるならレゴブロックです。レゴブロックはあの凸と凹を持ってるブロックを自由に組み合
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
z0w0/hydrox · GitHub
The Cloudcast - #95 - Ansible - Next Generation DevOps Tools
GitHub - ekmett/ersatz: A monad for interfacing with external SAT solvers
エクスポートモジュールの楽な追加 - Qiita
Getting Started with Docker for the Node.js & CouchDB Programmer — Code adventures — Medium
TechCrunch | Startup and Technology News
http://www.scala-tour.com/