Automated Type Contracts Generation
Beauty and power of Ruby and Rails pays us back when it comes to finding bugs in large codebases. Static analysis is hindered by magic DSLs and patches. We may annotate the code with YARD which also enables improved tooling such as code completion. Sadly, the benefits of this process rarely compensate for the effort. In this session we’ll see a new approach to type annotations generation. We'll le
Flex
Flex The Flex group uses technology to improve the range and fluidity of human expression. We invent new concepts and representations that amplify people’s ability to create, connect, and understand. We create tools that blur the line between using and creating, in order to provide a conversational medium for thinking and doing. We are part of HARC at Y Combinator Research. People Alex Warth (PI)
Japan's New Select takes Filmax's 'Tight'
Tubidy: Free High-Quality MP3 Music and MP4 Video DownloadsTubidy has become a leading platform for the global dissemination of free music and video downloads. Our mission is to streamline the process of accessing MP3 songs and MP4 videos, ensuring users can enjoy superior quality content effortlessly. With an extensive library of over a million tracks and videos, Tubidy serves a broad audience, o
進化を続けるChrome DevToolsの最新情報 2017 ──Google I/O 2017 セッションレポート
進化を続けるChrome DevToolsの最新情報 2017 ──Google I/O 2017 セッションレポート 河合良哉 この記事は2017年5月17、18、19日に米国カリフォルニア州マウンテンビューにあるAmphitheatreで行われたGoogleの開発者向けカンファレンスGoogle I/Oの3日目に「DevTools: State of the Union 2017」というタイトルで行われたセッションの内容です。 はじめに Google I/O、Chrome Dev Summitと日に日に進化をし続けているChromeのDevTools。Google I/O 2017でも多くの進化が報告されました。 登壇者はwebっ子ならば泣く子も黙るDeveloper AdvocateのPaul Irish。軽快なトークで淡々と新機能が話された40分をまとめてみました。 Console
The Noble Art of Maintenance Programming
12 Jun 2006 The Noble Art of Maintenance Programming Mention the words "maintenance programming" to a group of developers and they'll, to a man (or woman), recoil in horror. Maintenance programming is widely viewed as janitorial work. But maybe that's an unfair characterization. In Software Conflict 2.0 : The Art and Science of Software Engineering, Robert L. Glass extols the virtues of software m
RethinkDBはなぜ失敗したのか | Yakst
つまり、これらのマーケットは小さく、しかもデータベースのマーケット自体よりも小さいのです。とは言え、どれかが他よりもマシになりうるでしょうか？ マネージドホスティングは、本質的にはユーザのためにAWSでデータベースを動かすことで、そうすることでユーザたちは自分で動かす必要がなくなります。これらのサービスを使う代わりになるのは、AWSに自分でデータベースを立てることです。したがって、マネージドなデータベースホスティングサービスが課金できる額には、非常に厳しい上限があることになります。Compose.ioやmLabが、RethinkDBよりも1桁あるいは2桁多いユーザを抱えるMongoDBを提供していることを考えて、マネージドホスティングを提供することには少しの良い点もないという結論を下しました。 Database as a Serviceはマネージドホスティングの更に複雑なバージョンです。D
初心者がchainerで線画着色してみた。わりとできた。
ﾃﾞｰﾌﾟﾗｰﾆﾝｸﾞはコモディティ化していてハンダ付けの方が付加価値高いといわれるﾋﾟ-FNで主に工作担当のtai2anです。 NHKで全国放送されたAmazon Picking Challengeでガムテべったべたのハンドやロボコン感満載の滑り台とかを工作してました。 とはいえ、やっぱりちょっとディープラーニングしてみたいので1,2か月前からchainerを勉強し始めました。 せっかくなので線画の着色をしたいなーと思って色々試してみました。 線画の着色は教師あり学習なので線画と着色済みの画像のデータセットが(できれば大量に)必要です。 今回はOpenCVでカラーの画像から線画を適当に抽出しています。 抽出例 → カラーの画像を集めて線画を作ればデータセットの完成です。（今回は６０万枚くらい使っています） ネットワークの形ですが、U-netという最初の方でコンボリューションする時の層の出
enebular - あらゆるデバイスとクラウドサービスを「つなぐ」、IoTのためのデータ連携プラットフォーム
現場の声を聞き、改善に挑む：プロトタイピングの力 製造業では、生産性向上のために様々な取り組みが行われています。例えば、作業の無駄を見つけ、進め方や手順の改善に取り組んだり、システムの...
Binance Support Number API Documentation
Skip to Main ContentProductsRapids API HubOne seamless connected experience that supports every type of developer as they build, use, and share APIs.Enterprise MarketplacePublic MarketplaceSecurityRapid API Client for MacRapid API Client VS CodeIndustriesTelecommunicationsInsuranceTravel & HospitalityResourcesEBooks & GuidesWhitepapers & ReportsDatasheets & One-Pagers VideosWebinarsDocsCo
schrute.el : 単純なコマンドを連発したときに、よりよいコマンドを提示する
(setf schrute-shortcuts-commands '((avy-goto-line ;便利なコマンド ;; 以下のコマンドを連発したときに発動させる next-line previous-line))) ;;; [2016-11-24 Thu]時点ではバグがあるので再定義しておく ;;; 修正され次第消す (require 'schrute) (defun schrute-mode-activate () "Do some setup when the global minor mode is activated." (if schrute-mode (add-hook 'post-command-hook #'schrute-check-last-command) (remove-hook 'post-command-hook 'schrute-check-last-co
On Lisp日本語訳 草稿置き場
On Lisp邦訳 草稿置き場 Japanese texts only! 代表的LispハッカーのPaul Graham氏がご自分のサイト www.paulgraham.com で公開なさっている著書 "On Lisp" の邦訳を，2007年3月にオーム社から出版しました． On Lisp | オーム社eStore(β) On Lisp サポートページ（practical-schemeに間借り） この"On Lisp"は草稿を公開しながら翻訳を進めてきましたが， 草稿は今後もLaTeXソースおよびPDFファイルとして公開を続けていきます． 書籍の出版に当たっては念入りのレビューにより数多くの誤り等が修正されましたが，この草稿は修正前のものです． とは言え大体は「読める」レベルです． 「いきなり買うのはためらわれるけど流し読みしたい」「内容の一部だけ参考にしたい」等の場合に役立つでしょう．
IntelliJ IDEA 13.1のPostfixコード補完 | Post Blog
IDEにおいてコード補完は基本的でどれも同じと考えられがちです。しかしDZoneの記事にもあるようにIntelliJ IDEAはひと味違います。 IntelliJ IDEAコード補完の領域について決して休むことなく進化を続けます。そしてIDEA 13.1ではさらなる生産性をもたらすPostfix code completion機能が搭載されました。 Postfix code completionは書きかけのコードに特定のキーワード(Postfix)を追加することでよくあるコードブロックに整形してくれる機能です。カーソルを戻す頻度を大幅に減らすことができ大幅に開発生産性が向上します。たとえばboolean型の式に”.if”をいうキーワードを追加するとif文に、オブジェクト型の式に”.notnull”と追加すればnullチェックをする文に変えてくれます。 Postfix補完候補はデフォルトでは
Take your computing experience to the next level.
nteract: building the future of interactive computing.nteract is an open-source organization committed to creating fantastic interactive computing experiences that allow people to collaborate with ease. We build SDKs, applications, and libraries that help you and your team make the most of interactive notebooks and REPLs. To dive into the nteract ecosystem, start by trying out our desktop applicat
ゲームエンジン・ライブラリ・ツールの開発のカレンダー | Advent Calendar 2016 - Qiita
ゲーム制作を支援するツールの開発者が、自身のツールや、そこで使われている技術について紹介する Advent Calendar です。 プログラミングに限らず、何らかの形でゲーム制作に役立つツールを募集します。 商用 / 非商用や規模は問いません（オレオレエンジンも歓迎）。400 字程度の簡単な紹介のみでも大丈夫です。 目的 ゲーム開発に興味のある人たちに色々な選択肢を知ってもらう ゲーム制作支援ツール開発への関心を高める ツールの開発者同士が知見を交換する 記事の例 ツールの特徴や活用事例の紹介 ツールの入門記事 ツールを開発して得た知見や技術の解説 ユーザの増やし方、ユーザコミュニティ運営のノウハウ or 失敗したこと
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://dlgateway.acm.org/delivery.cfm?urlpath=10.1145/3130000/3126658/p299-mcgrath.pdf?ip=36.12.25.97&id=3126658&acc=OA&key=4D4702B0C3E38B35.4D4702B0C3E38B35.4D4702B0C3E38B35.9CE3A054B8405388&CFID=1005829043&CFTOKEN=62374794&__acm__=1510671417_27605705b7348980c2ffdc063047a533
GitHub - JetBrains/ruby-type-inference: Dynamic definitions and types provider for ruby static analysis
Function Quest
What Do Programmers Really Do Anyway? (aka Part 2 of the Yardstick saga)
Processing Foundation Fellows 2016 & Open Call for 2017!
GitHub - marciok/Mu: It's a Swift playground explaining how to create a tiny programming language named Mu