橋本幸士 Koji Hashimoto on Twitter: "論文を書くときに、英語はいつもこれを参考にしている。 https://t.co/3xOvmNjhxJ 英語の表現を確認するのに非常に便利。 ArXivの英語表現を検索して頻度別に表示してくれる。 今週もこのサイトが大活躍なのだ。"論文を書くときに、英語はいつもこれを参考にしている。 https://t.co/3xOvmNjhxJ 英語の表現を確認するのに非常に便利。 ArXivの英語表現を検索して頻度別に表示してくれる。 今週もこのサイトが大活躍なのだ。
Spritz – The Worlds Best Speed Reading App – Reading Reimagined
Reading Reimagined The worlds best speed reading app Read your favorite web content twice as fast with far greater comprehension. Download the Spritz app and start speed reading today. Read Content One Word At A Time Spritz displays content one word at time. When you read each word, your eyes fixate on the key red letter within that word, triggering the brain to quickly recognize and process its m
高機能バイナリトレーサqiraはどのように実装されているのか - るくすの日記 ~ Out_Of_Range ~
1. qiraとは qiraとは世界的なハッカー、George Hotz氏 (ジョージ・ホッツ - Wikipedia) によって開発された高機能バイナリトレーサーであり、qiraという名は（QEMU Interactive Runtime Analyser）の略である。 GitHub - BinaryAnalysisPlatform/qira: QEMU Interactive Runtime Analyser 略語を見れば分かるがuser mode QEMUを使用したバイナリ解析ツールであり、ELFなどの実行形式バイナリを実際に動作させて各命令のレジスタ、メモリへの操作を逐次記録する。 これらの記録はweb UIを通して好きな命令位置にカーソルを移動させるだけで見ることができ、その時のレジスタ、メモリの記録が再現される仕組みになっている。ソフトウェアのデバッグやCTFにおけるバイナリ解
情報処理推進機構:ツール＆データベースカタログ：2-1.定量的プロジェクト管理ツール（IPF）
ソフトウェア開発プロジェクトでは、タスクの進捗状況、プログラムの作成状況、不具合・課題の検出状況などを日々監視し、異常が見つかった場合は直ちに必要な対策をとる必要があります。ソフトウェアの品質の確保や納期の遵守のためには、検出不具合数や作業の完了項目数などの定量的なデータを使用して品質や進捗状況を適切に把握することで、リスクを可視化し、問題を早期発見する「定量的プロジェクト管理」が必要です。また、このような管理を行うことによって、ソフトウェア開発プロジェクトの品質・信頼性・生産性の継続的な向上に取り組むことができます。 IPAでは、これまでに2,000件以上のソフトウェア開発プロジェクトデータの収集・分析を行うなど、ソフトウェア開発プロジェクトの定量的管理を重点施策の一つとして取り組んできました。そこで、これまで実施してきたソフトウェア開発プロジェクトの定量的管理に関する検討の成果や知見を
WindowsにおけるGit利用環境は整った： Git for Windows と SourceTree for Windows - 檜山正幸のキマイラ飼育記 (はてなBlog)
分散バージョン管理システムの利用は拡大しています。そのなかでも最も人気のあるツールはGitでしょう。しかし、GitをWindowsで使うのはなかなか困難でした。 Windows向けのGitであるmsysGitは、bashのコンソールを出して、最小限のUnix風コマンドライン環境を提供するものです。これは使いやすくありません。もう一つの選択肢であるTortoise Gitは、Windowsのエクスプローラー（ファイルマネージャ）に統合されたGUIツールですが、僕は「なんか違うな」と感じてました -- これは個人の感性の問題ですが、ファイルマネージャに横付けすることが、分散バージョン管理システムへの良いUIを提供するようには思えないのです。 ところが、最近は事情が大きく変わっています。使いやすいGUIツールとして、2013年6月に正式公開されたSourceTree for Windowsが存在
ナウいツールやサービスなどのまとめ - Qiita
国内注目のWebサービスを支える言語・フレームワーク・アーキテクチャ一覧【2013年版】 をもとにナウい感じのサービスなどをまとめた。分類がおかしいかもしれないのん コード管理 ソースコードは Git で管理しているところが増えている Git GitHub GitHub Enterprise: Enterprise 向け Gitlab Gitlab Cloud Gitlab CE: オープンソース Gitlab EE: Enterprise 向け BitBucket Stash: Enterprise 向け codebreak; RhodeCode Gitorious GitPrep GitBucket GitHubクローンまとめ 無料でGitHubのような機能を実現するための候補 | Act as Professional - hiroki.jp 料金 private repositor
超高速開発 体験談 - 職業プログラマの休日出勤
数日前に日本で話題になっていた「超高速開発」について記事を残したいと思います。ニュース記事 超高速開発はスクラッチ開発の3倍から10倍の開発効率が条件、競合するベンダ13社が利害を超えて「超高速開発コミュニティ」を設立 － Publickey の はてなブックマーク に寄せられたコメントを見る限り「食わず嫌い」な方が非常に多いように見受けられたので、これは体験談の需要は高そうだなと思い、書き始めた次第です。 ネタ記事を書いた直後に真面目な記事を書くのは、少し気が引けるものではありますが…。 私は2006年初頭から2012年初頭まで、インフォテリア社製の開発ツール「Asteria」を使用していました。この製品には冒頭で紹介した記事からもリンクが張られていますが、超高速開発を実現するためのツールの一つです。もちろん、私がAsteriaを使用していた頃は「超高速開発」などという言葉は見たことも聞
Emacsy: An Embeddable Toolkit of Emacs-like Functionality - Slashdot
Posted by Unknown Lamer on Monday May 21, 2012 @06:56PM from the ignoring-preexisting-projects-for-fun-and-profit dept. An anonymous reader writes "Emacsy is 'a Guile library that provides Emacs-like facilities — keymaps, minibuffer, tab completion, recordable macros, and major/minor modes — for applications natively.' However, to my eyes, it looks more like an attempt to revive the development st
mbed SDK is now Open Source! | Mbed
We are pleased to announce that we have just released the full mbed SDK under a permissive open source license! About the mbed SDK The mbed Software Development Kit (SDK) is a C/C++ microcontroller software platform already relied upon by tens of thousands of developers to write code for ARM microcontrollers. It has always been free for commercial and noncommercial use, but this latest release und
'Source code reading' related sites
Comparison of source code reading tools GNU Global benchmarks Since I just ran some cscope benchmarks, I thought it'd be interesting to run the exact same tests with GNU global. Here I use the gtags-cscope frontend. Gtags vs Ctags We compared ctags vs gtags - see result. 'Comparison with Similar Tools' in the OpenGrok project site This comparison table compares the function of LXR, ctags, cscope,
英文校正サイト [NativeChecker]
キットが販売されているのでチャレンジしやすい近頃では、ホームセンターに電気機器を製作するための道具がそろっています。そのため、DIY感覚で電気製品の自作を始めるのは難しくありません。「回路図や図面が読めなければ電気製品なんて作れない」と思う人もいるでしょう。たしかに、電気製品にはさまざまな部品が使わ…
Make Bootable USB drives ◁ Boot from USB ▷ Pendrive Linux
Make bootable USB drives from ISO files. Easily boot from USB Windows or Linux. Multiboot ISO files from one pendrive, thumb drive, jump drive, or flash memory stick. Run Linux on Windows as a VirtualBox (VM) Virtual Machine. Installing Proxmox to create a portable virtual OS environment, and much more. On this site you'll find simplified tutorials, software, and media creation tools to help you e
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Brendan Gregg on Twitter: "Announcing my next book: BPF Performance Tools: Linux System and Application Observability, for which I developed o… https://t.co/bhGDofUj7Z"
ダイソーに最強のホッチキス現る 中綴じが簡単すぎて快感すら覚える...
インフラ部門で働くCプログラマの話
Telelogic - Wikipedia
GitHub - andikleen/pmu-tools: Intel PMU profiling tools
Moose technology: Tools
global tool "cross reference" - Google 検索
Install Ubuntu Rescue Remix to USB ▷ Pen Drive Linux