ノートPCを自作する（３２）ケースの作成 - PointCloud
ノートPC自作プロジェクト RaspberryPiをメインにしてオリジナルのノートパソコンを自作しようとしている取り組みです。 ある程度ケースのモデリングができたので試作を行いました。 使用した材料はいつものようにMDFです。最終的にはアクリルにするつもりです。 １ Fusion360でDXF出力 まずはFusion360のデータからレーザーカッターで加工するためのDXFファイルを出力します。大したことじゃないですがやり方知らないと何気につまづくのでメモ。 Fusion360でひととおりのモデリングが完了したところ。 DXFの図面が欲しい平面をクリックしてスケッチを作成します。 コンポーネントを作る元になっているスケッチを使用してもよいかもしれませんが、いろいろ編集されていたりして、最終形と異なることが多いので一度作り直した方が良いです。 スケッチを作成したら特段何もせずにスケッチを停止し
AJAXでファイルダウンロード
バイナリでもテキストでも、AJAX でリクエストしたら JavaScript で受けることになるので、ブラウザにファイルをダウンロードさせるように処理を作る必要がある。 Blob オブジェクトはファイルに似たオブジェクトで、immutable な生データです。データを表す blob は必ずしも JavaScript ネイティブなフォーマットではありません。File インターフェースは Blob を基礎にしており、その機能を継承する一方で、ユーザのシステム上のファイルをサポートするための機能を拡張しています。 https://developer.mozilla.org/ja/docs/Web/API/Blob とのことです。レスポンスから Blob オブジェクトを作って、createObjectURL すれば、ダウンロード可能なURLを生成する事ができます。 よくありがちな、CSVデータを管
Idris + Atomによる型駆動開発入門 - たけぞう瀕死ブログ
4月から社内でType-Driven Development with Idrisの読書会をやっています。 takezoe.hatenablog.com 最近ようやくChapter 3まで進み、実際に自分でコードを書くエクササイズなども出てきました。この本ではAtomを使うことが推奨されているのですが、Atom用のIdrisパッケージが非常に強力で、型駆動開発の魅力を存分に感じることができます。そこで、今回は実際にAtomでのIdrisプログラミングがどのようなものかについて紹介したいと思います。 github.com たとえば以下のようなシグネチャを持つVect（要素数を型情報に持つリスト）用のマップ関数を実装するとします。Vect n aの各要素に(a -> b)という関数を適用してVect n bを返すというものです。 my_vect_map : (a -> b) -> Vect n
プログラミング言語 idris - wkwkesのやつ
これは Theorem Prover Advent Calendar 2016 17日目の記事として書かれました. idrisは依存型を持つ純粋関数型プログラミング言語です. ちなみにアイコンはこんな感じ. *1 今月の初め, バージョン 0.99 がリリースされました. 機能もほぼ安定したといことで これを機に少し遊んでみたのでその紹介をします. はじめに断っておきますが, 私自身 idris を触って間もないのでおかしなことを書いている可能性があります. 間違い等あれば指摘していただければ幸いです. 処理系 brew install idris などで降ってきます. idris でREPLが起動します. $ idris ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Version 0.99 _/ // /_/ / / / (
Textadept で日本語を使えるようにする1行｜技術ブログ｜北海道札幌市・宮城県仙台市のVR・ゲーム・システム開発 インフィニットループ
Textadept で日本語を使えるようにする1行 こんにちはインフラエンジニアの nobuh です。突然ですが、みなさんどんなエディタを使ってますか？ 星の数ほどエディタはありますが、その戦いにまた一つのエディタが加わりました。 Lua で記述され軽量で拡張可能な Textadept (http://foicica.com/textadept/index.html) です。 以前 MOONGIFT さんのこの記事 手になじむプログラミングエディタをお探しの方は一度お試しを「Textadept」でも紹介されていますが、残念なことにそのまま Windows版 をインストールしても日本語が文字化けしていて使うことが出来ませんでした。 日本語が使えないイメージがあるため日本では流行っていない感じがあるのですが、今回ご紹介する1行を設定に加えることで日本語表示も可能になりますので、是非お試しくださ
Textadept
Fast and Minimalist Textadept’s user interface is sleek and simple. Relentlessly optimized for speed and minimalism over the years, the editor consists of less than 2000 lines of C and C++ code, and less than 4000 lines of Lua code. Remarkably Extensible Textadept is an ideal editor for programmers who want endless extensibility without sacrificing speed or succumbing to code bloat and featuritis.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Laser cut living hinges for neater designs
Folding Wood Booklet by SNIJLAB
SoC ExoSkeleton DevTop 2.0 by Zurkeyon
SoC ExoSkeleton DevTop by Zurkeyon
プライベートブログ › ログイン
Textredux
GitHub - zyedidia/micro: A modern and intuitive terminal-based text editor
Vi風操作をWindows用IMEとして実装