Here’s our survey of tools which help integrate AppImages into your desktop. Only free and open source software is included. Read more
Here’s our survey of tools which help integrate AppImages into your desktop. Only free and open source software is included. Read more
Type arithmetic (or type-level computation) are calculations on the type-level, often implemented in Haskell using functional dependencies to represent functions. A simple example of type-level computation are operations on Peano numbers: data Zero data Succ a class Add a b ab | a b -> ab, a ab -> b instance Add Zero b b instance (Add a b ab) => Add (Succ a) b (Succ ab) Many other representations
Play2.1内部に、独自の Functor URL とか Applicative URL とか Monoid URL が追加されていて味わい深いですね・・・ 2012-11-18 01:16:51 via web というわけで、Play2.1から独自のFunctorとかApplicativeとかAlternative(ApplicativePlus)があるので簡単にOptionのApplicativeの使い方だけ紹介。 https://github.com/playframework/Play20/blob/2.1.0/framework/src/play/src/main/scala/play/api/libs/functional/Util.scala Scalazでその辺り知ってる人は、簡単に理解できるはずです。ところで、なぜかMonadのtypeclassはないんですね・・・。
In my previous post I demonstrated array operations based on the new functionality I have implemented during my GSOC project. In this post I will discuss another feature that is essential for array calculations in a computer algebra system: The initialization of numeric arrays based on symbolic math expressions. After all, it is the symbolic stuff we are really interested in, isn’t it? 🙂 I will
Exploiting the relationship between data structure and program structure My mentor, colleague, and friend Richard Bird died in April 2022 after a long battle with cancer. I wrote an obituary of him for The Guardian, his favoured newspaper; this post is a hybrid of that obituary and a eulogy I delivered at his funeral. Richard was born in 1943 in London. His parents Kay and Jack were landlords of a
Slow Website? Check out Luhnar for an easy way to speed up your client's Django, WordPress, or other CMS-based or custom site. www.luhnar.com The majority of benchmarks posted on the web are derived from testing simple “hello world” apps. Although certainly better than nothing, these tests tell us little about real-world performance. Ideally, one would compare multiple implementations of a non-tri
var array = require('array'), users = array(); users.on('add', function(user) { console.log('added', user); }); users.on('remove', function(user) { console.log('removed', user); }); users.push(user); users.splice(0, 3, user); Design This library uses an array-like object to implement all its methods. This is very similar to how jQuery lets you do: $('.modal')[0] and $('p').length. This library dif
Working Draft — 18 August 2014 Latest version: http://asmjs.org/spec/latest/ Editors: David Herman, Mozilla, <dherman@mozilla.com> Luke Wagner, Mozilla, <luke@mozilla.com> Alon Zakai, Mozilla, <azakai@mozilla.com> Abstract This specification defines asm.js, a strict subset of JavaScript that can be used as a low-level, efficient target language for compilers. This sublanguage effectively describes
[追記 5/29] synchronizeというかfiberには以下の問題点があるのでそちらを参照の上、このエントリをご覧ください → node-fiberでライフチェンジングとか煽ったことを若干後悔してる - taiyoh's memorandum [追記 終わり] node.jsをお使いのみなみなさま、コールバック地獄の中をいかがお過ごしでしょうか。 最近になって僕はvmモジュールとsynchronizeモジュールを使い出しまして、これがちょっと尋常じゃないくらい自分の実装方法に影響を与えております。 百聞は一見にしかずということで、実際どんな感じで使っているか、最近作ったユーティリティファイルの一部を載せます。 // util.js var vm = require('vm') , fs = require("fs") , path = require("path") , sync
Python の C 言語の拡張で書いてみた(Python2 系でしか動かないはず)。 GitHub - heavenshell/py-pyltsv: Dead simple LTSV parser written in Python C extension 最初 Pure Python で書いてたけど既に作られてたので、どうせならと勉強の意味も兼ねて C 言語の拡張として作ってみた。 LTSV な行とファイルのパースしかできない。 機能は足らないけど、Pure Python で書いた場合のより速度が出てるはず。 # -*- coding: utf-8 -*- def parse_line(string): line = string.decode('utf-8').rstrip() return dict([x.split(':', 1) for x in line.split("\t"
Copyfree and in the Public Domain; 2007-2012 by F.A.T.. No rights reserved. Ever wanted to connect your Legos and Tinkertoys together? Now you can — and much more. Announcing the Free Universal Construction Kit: a set of adapters for complete interoperability between 10 popular construction toys. Fig. 1. The Free Universal Construction Kit. Overview Motivation Download Implementation Legal and C
Emacs JPはEmacsと日本語に関わるあらゆるリソースを集約することを目的としたコミュニティサイトです。 EmacsとEmacs JPについての詳細はこのサイトについてをご覧ください。 コンテンツ 2020年代のEmacs入門 Emacs JPで管理しているパッケージ Emacsのバージョン パッケージ紹介 最近10記事 ddskk-posframe: ddskkツールチップposframeフロントエンド cort: シンプルなテストフレームワーク package: パッケージ管理ツール git-gutter: GitGutterの Emacs版 evil: Vimのエミュレート helm-open-github: Githubユーティリティ elisp-slime-nav: Slime-style navigation for Emacs Lisp ac-ispell: ispel
This is a universal machine, using the untyped lambda calculus, visualized as a tree with d3.js. # is an abstraction. @ is application. Numbers are variables. The syntax is a simplified version of the De Brujin index, meaning vars match to their Nth parent lambda (#), N being the var name. It requires explicit applications, ie you can't drop parens. It gets parsed by a parser generated by PEG.js.
Array#indexOf(item) !== -1をやって存在を確認するのが、どうにも速い気がしなくてやってみた。 とりあえず、Array.indexOf vs Set.has · jsPerfで速度確認。Set#hasが圧倒的に速い。 かと言って、単純な Set では以下の点で使いづらい 値の順番操作が面倒 入っている値に直にアクセスすることができない ということで、配列的なんだけど、内部にSetオブジェクトを持ったものを作ってみた https://gist.github.com/teramako/4970442 ECMAScript.next なのがたくさん入っているので、今のところ、Firefoxでないと動かないと思う 値があるかどうかの確認は高速(UniqArray#hasの使用) それ以外の操作は余計な処理をするので遅くなりそう 値の重複は許さない(メリットでありデメリットでも
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)(「ICANNがレジストラとして認定した企業」一覧(InterNIC提供)内に「Japan」の記載があるもの)を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年5月時点の調査。
The compiletime project is an attempt to better understand the relationship between the use of Scala's features and compile time. This article gives a quick overview of what we've learned so far. Long build times is a common complaint among Scala users. As the author of ScalaTest, I have been concerned about both the compile and run time of tests, since this often accounts for a significant portio
布団でふと思いついたので、PS Vitaでmrubyを動かしてみました! やり方は簡単!Vitaのブラウザでhttp://bit.ly/vitamrubyを開くだけ! ごめんなさい・・・・ このサイトはC言語で書かれているmruby本体を、EmscriptenでJavascriptに変換してブラウザで動かしています。なのでPS Vita上でmrubyは動きましたが、残念ながらコレでゲームなどは動かせません。いつかネイティブで動くといいなぁ。 現在のmrubyだと不正なバイトコードへの対策などがされていないので、Vitaにmrubyが載ってユーザに開放!的な使い方は厳しそう。その辺の対策をするとコードサイズが大きくなってしまってメモリの少ないデバイスで動かなくなってしまうので難しい所。実装が落ちついてくれば、設定によってチェックするけどバイナリサイズは大きくなるか、チェックしないでバイナリサ
3. 諸君は自らの経験からいくらか学ぶことがで きるという、全く愚かな考えであろうが、 余はむしろ他人の失敗を学ぶことで、自分の 失敗を回避することを好む。 ─オットー・フォン・ビスマルク Nur ein Idiot glaubt, aus den eigenen Erfahrungen zu lernen. Ich ziehe es vor, aus den Erfahrungen anderer zu lernen, um von vorneherein eigene Fehler zu vermeiden.
The Glorious Glasgow Haskell Compiler.
ReadyForZero recently released a library called Babbage and I thought I'd take a few minutes to describe the problem that it's solving and how it does it. We use clojure at ReadyForZero and one of the great things about it is the ability to explore data at the REPL (I talk about one idea why here). At ReadyForZero we collect a lot of data about how people use the site and track how it's working, a
An interactive Git visualization tool to educate and challenge!
PEP 427 – The Wheel Binary Package Format 1.0 Author: Daniel Holth <dholth at gmail.com> BDFL-Delegate: Alyssa Coghlan <ncoghlan at gmail.com> Discussions-To: Distutils-SIG list Status: Final Type: Standards Track Topic: Packaging Created: 20-Sep-2012 Post-History: 18-Oct-2012, 15-Feb-2013 Resolution: Python-Dev message Table of Contents Abstract PEP Acceptance Rationale Details Installing a wheel
久々の更新および新年のご挨拶も抜きの失礼を顧みず、2009.11.04『柿編む女』、2010.02,03『醸す女』、2010.11.10『漬ける女』に続く、「〇〇する女」シリーズ第四弾として、今日は我が家の七輪を語ってみたい。 未使用時は古新聞にくるまれ鎮座するその姿に、引越業者に「これ、何ですか?」と奇異な眼差しを向けられたことも数知れず。好奇心旺盛な友人どもには「嫁入り道具」の一言で済ませてきたが、育ての母に譲ってもらって以来、日本列島を北から南まで共にしてきたそれは、私の人生において「嫁入り道具」以上の価値をもつ。 四年前(だったか?)の引越貨物+まだあどけなさの残る倉庫番。 問題のブツは矢印の先。 おや、後の都知事のお姿が…^^; 一体いつの古新聞ダ? 「七輪を持ってる」ましてや「フツーに使ってる」と言うと同年代の友人には驚かれるが、使い慣れている身にはなんのことはない、ガスコンロ
One of the things I really enjoy about Python is how easy it makes it to solve interesting problems and visualize those solutions in a compelling way. I've done several posts on creating animations using matplotlib's relatively new animation toolkit: (some examples are a chaotic double pendulum, the collisions of particles in a box, the time-evolution of a quantum-mechanical wavefunction, and even
This is close to the final version that was published by Cambridge University Press. An online version will always remain free. You can order a hard copy of the book here. See also this flyer for the book. Please let us know of any errors you find; send them to rdlyons@indiana.edu or yperes@gmail.com. You may wish to use the following if you refer to this book in a paper. @book {MR3616205, AUTHOR
WAV13によるPCM再生とは何か、例えばこのピコカキコを聴いてみてください。 両サイドで鳴っているパッドの音、それにドラムの音、とても綺麗です。どちらもトリッキーな鳴らし方をしているようですが、この記事ではドラムで使われている技法を主に追求します。 ピコカキコ WAV13 PCM利用補助ツールを作成しました。後述の面倒な計算が一瞬で行えます。実用的な面だけ知りたい人は、まずツールのページを読んで、それから情報を本記事で補うと良いかもです。 美しいPCMの鳴らし方 ~ロジックとトリック ドラムの音など、サンプリングした音色を鳴らしたい場合、普通はファミコンのDPCMに相当するWAV9を使用します。しかし、WAV9の性能はファミコン由来なので音質は低く、音程も15段階でしか鳴らせません。普通はパーカッションはDPCMで妥協し、音色は各種波形でなんとか近いものを作成することになります。 知る限
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く