Buttercup
SecureStrong 256bit AES encrypted vaults that meet today's security standards. Rest assured that your credentials are safe. SimpleEasy-to-use interfaces with basic concepts make storing and finding your login details a piece of cake. FreeButtercup's software is free to download and use, forever. It's also available for all major platforms. Buttercup for desktop is a beautifully-simple password man
GoBoy
goboy Multi-platform Nintendo Game Boy Color emulator written in Go View on GitHub GoBoy GoBoy is a multi-platform Nintendo GameBoy and GameBoy Color emulator written in go. The emulator can run the majority of GB games and some CGB games. There is also colour and sound support. This emulator was primarily built as a development exercise and is still work in progress. Please feel free to contribut
Dive into Algebraic Effects
Dive into Algebraic Effects びしょ〜じょ ML Days #2 September 16, 2018 �やること Algebraic Effects を伝道 Algebraic Effects is 何 Algebraic Effects が使える言語 Algebraic Effects の活用事例 研究のご紹介 先日 JSSST でポスター発表した内容を紹介シマス �目次 自己紹介 Algebraic Effects effect の型 デモ ポイント AE Implimentations Multicore OCaml 研究紹介 oneshot AE → oneshot s/r oneshot s/r → AC 課題、今後の予定 まとめ Dive into Algebraic Effects 自己紹介 Algebraic Effects effect
言語処理系勉強会に参加してきた | κeenのHappy Hacκing Blog
κeenです。言語処理系勉強会 Vol.1 に参加してきました。そこでの@omochimetaruさんのSwiftのGenericsとProtocolの実装の話が面白かったので少し感想を。 Javaのジェネリクスは型消去で実装されており、全てのジェネリクスを1関数でまかなえます。一方で統一的に扱うために参照型しかジェネリクスに使えず、プリミティブの取り回しに苦労します。 C++のテンプレートやRustのジェネリクスは型毎に実装を作るのでどんな型でも扱えますし、高速です。代わりに関数の数が増えてバイナリサイズが大きくなりがちです。 Swiftはその中間ようなアプローチを取っていました。 Swiftのジェネリクスの話を要約すると、 ジェネリクス関数には値型も全て参照になって渡される。ただし型のメタデータ(Metatype)を渡してゴニョゴニョして失われた型情報(Value Witness Ta
OCamlで正規表現を微分する - fetburner.core
僕の所属する研究室では毎年Software Foundationsの輪講をやっているんですが，Brzozowski derivativeに基づいて正規表現エンジンを実装し，あまつさえCoqで検証してしまおうといった練習問題が追加されていて大変興味深かったです． 折角practicalなプログラムを書いたのにCoqの中に閉じ込めておくのも勿体ないですし， OCamlで同様の正規表現エンジンを実装し，実行速度を見てみようと思います． *1 2018/12/16 Brzozowski derivativeの定義に誤りがあったため修正 Brzozowski derivativeとは？ ある正規表現が受理する言語の先頭から，文字を取り除いて得られる言語 *2を受理する正規表現をBrzozowski derivativeといい，以下のようにsystematicに求められます． ある正規表現が空文字列を
Koka - Microsoft Research
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side)
Algebraic Effects 自習用資料まとめ
俺は OCaml が好きだ。俺は Reason が好きだ。Algebraic Effects はもっと好きだ。 最高のリポジトリEffects bibliography: https://github.com/yallop/effects-bibliography もうこれだけあればいいんじゃないか？ってくらい言語実装と論文がまとまってる。あとは「OCaml Weekly News」とかにEffect関連の発表とか論文が紹介されてたりする。ICFPもEffect関連増えてる。 論文・An Introduction to Algebraic Effects and Handlers by Matija Pretnar Effを作った人。Computational Effectsの導入にあたって、Effect Handlerを扱えるようなコンパクトな追加の言語仕様を定義してそれをもとに入出力と
Node.jsにおけるプロトタイプ汚染攻撃とは何か - ぼちぼち日記
1. はじめに 最近わけあってNodeのセキュリティ調査をしているのですが、今年の5月に開催された North Sec 2018 でセキュリティ研究者の Olivier Arteau 氏による 「Prototype pollution attacks in NodeJS applications」という面白い発表を見つけました。 この発表の論文や発表資料、デモ動画などもgithubで公開されていますし、ちょうどタイミングよくセッション動画も最近公開されました。 github.com Olivier Arteau -- Prototype pollution attacks in NodeJS applications この発表で解説されているのは、悪意のある攻撃者が、JavaScript言語固有のプロトタイプチェーンの挙動を利用して、Webサーバを攻撃する方法です。 発表者は、npmからダ
TCP over WebSocket & IAP - Hateburo: kazeburo hatenablog
Googleのhuproxyみたいなもので、任意のprotocolが通しやすく、Google Cloud Load BalancingのIdentity aware proxyに対応したものが欲しかったので、作ってみた。 github.com github.com GCPの中のMySQLに対して、service accountで認証して接続するイメージとしては以下のようになる。 server側 pathとforward先の設定を行うmapファイルをまずつくる mysql,10.0.x.x:3306 ssh,127.0.0.1:22 起動 $ wsgate-server --listen 0.0.0.0:8080 --map map-server.txt これで、 ws://example.com/proxy/mysql にWebSocketで通信を行うと 10.0.x.xの3306 に対し
Rust製の分散オブジェクトストレージをOSSとして公開しました - dwango on GitHub
はじめに ドワンゴではniconicoの配信系サービスのバックエンドで利用するために、Frugalosという名前の分散オブジェクトストレージを開発しているのですが、この度OSSとして公開することとなりましたので、この場を借りて軽く紹介させて貰います。 FrugalosはRustで実装されており、現時点では以下のリポジトリが公開されています: raftlog_protobuf: raftlogへのProtocol Buffersサポートの追加 “Frugalos"って何？ “Frugal object storage"の略です。 “frugal"は日本語では「倹約な」や「節約する」といった意味となり、「読み書き性能を犠牲にせずに、膨大な数のBLOB（Binary Large OBject）を、容量効率良く保持する」ことを目指して開発されているオブジェクトストレージです。 提供されている機能は
Raft Consensus Algorithm
What is Raft? Raft is a consensus algorithm that is designed to be easy to understand. It's equivalent to Paxos in fault-tolerance and performance. The difference is that it's decomposed into relatively independent subproblems, and it cleanly addresses all major pieces needed for practical systems. We hope Raft will make consensus available to a wider audience, and that this wider audience will be
MySQL :: MySQL 8.0: InnoDB now supports Instant ADD COLUMN
Instant DDL has been one of the most requested InnoDB features for a very long time. With ever larger and rapidly growing datasets the ability to do DDL instantly is a must have feature in any web scale database. Developers constantly need to add new columns to meet the constantly changing business requirements. The ability to add ADD COLUMNs instantly is the first in a series of DDL statements
Latest topics > WebExtensionsのコンテキストメニューの新常識 on Firefox 64 - outsider reflex
Latest topics > WebExtensionsのコンテキストメニューの新常識 on Firefox 64 宣伝。日経LinuxにてLinuxの基礎？を紹介する漫画「シス管系女子」を連載させていただいています。 以下の特設サイトにて、単行本まんがでわかるLinux シス管系女子の試し読みが可能！ « WebExtensionsベースのアドオンが他のアドオンと連携するにはどうするのが良いか？ Main ネットの（技術）情報の思わぬ島宇宙化から、知的に真摯に生きる事や、そのように生きやすくする手助けの事を考えた » WebExtensionsのコンテキストメニューの新常識 on Firefox 64 - Nov 06, 2018 Here is the English version of this article. このエントリはQiitaとのクロスポストです。 この記事はFire
prefers-color-scheme を用いた Dark Mode 対応と User Preference Media Features | blog.jxck.io
Intro macOS Mojava は OS レベルで Dark Mode に対応した。 しかし、 Web コンテンツは依然として白背景黒文字ベースのデザインが多く、結果ブラウザの中だけ眩しいという問題がある。 Safari TP69 では、これにメディアクエリで対応するための prefers-color-scheme が実装された。 これを用いた DarkMode 対応と、本ブログの DarkMode 対応、および策定中の User Preference Media Features について解説する。 Update 画像の対応について追記した Code Block の対応について追記した 2019/1 に Chrome の Intents が出された。 Intent to Implement: Media Queries: prefers-color-scheme feature I
Cookie の性質を利用した攻撃と Same Site Cookie の効果 | blog.jxck.io
Intro Cookie はブラウザによって保存され、紐づいたドメインへのリクエストに自動で付与される。 この挙動によって Web におけるセッション管理が実現されている一方、これを悪用した攻撃方法として、 CSRF や Timing Attack などが数多く知られており、個別に対策がなされてきた。 現在、提案実装されている SameSite Cookie は、そもそもの Cookie の挙動を変更し、こうした問題を根本的に解決すると期待されている。 Cookie の挙動とそれを用いた攻撃、そして Same Site Cookie について解説する。 Cookie の挙動 Cookie は、 Set-Cookie によって提供したドメインと紐づけてブラウザに保存され、同じドメインへのリクエストに自動的に付与される。 最も使われる場面は、ユーザの識別子となるランダムな値を SessionI
Big Sky :: Golang だけでやる機械学習と画像分類
« Let's Encrypt を簡単操作できる CLI、Lego が MyDNS に対応した。 | Main | VimConf 2018 に行ってきた。 » gobrain という Golang だけで実装されたニューラルネットワークを見つけたので遊んでみました。 GitHub - goml/gobrain: Neural Networks written in go https://github.com/goml/gobrain 作りもシンプルですし、扱い方も簡単なのでちょっとしたサンプルを書くのには向いてると思います。例えば FizzBuzz であればこんな感じ。 package main import ( "math/rand" "github.com/goml/gobrain" ) type FizzBuzz []float64 func (fizzbuzz FizzBuzz)
Chrome 69 で Web Worker から Web Worker を作れるようになった話
少し前のバージョンですが、Chrome 69 より Web Worker から Web Worker を作れるようになりました。この機能は Nested Workers とも呼ばれています。 Nested Dedicated Workers - Chrome Platform Status Intent to Implement and Ship: Nested dedicated workers - blink-dev 使用方法とユースケース 使い方は Window 上で Worker を作る場合と同じです。次のコードでは、Window から Parent Worker、Parent Worker から Child Worker を作り、postMessage() で Child Worker から Window までメッセージを送信します。 // index.html const wo
Credential Management API の仕様が変更されました | Web | Google Developers
Some of the updates described here are explained in the Google I/O session, Secure and Seamless Sign-In: Keeping Users Engaged: Chrome 57 Chrome 57 introduced this important change to the Credential Management API. Credentials can be shared from a different subdomain Chrome can now retrieve a credential stored in a different subdomain using the Credential Management API. For example, if a password
JavaScript エンジニア向け: 知識ゼロから tensorflow.js で機械学習入門 - mizchi's blog
この週末で機械学習を勉強した結果として、JavaScript エンジニア向けにまとめてみる。 自分が数式見て何もわからん…となったので、できるだけ動いてるコードで説明する。動いてるコードみてから数式見たら、多少気持ちがわかる感じになった。 最初に断っておくが、特にJSを使いたい理由がないなら python で keras 使ったほうがいいと思う。tensorflow.js が生きる部分もあるが、学習段階ではそこまで関係ないため。 追記: 最初 0 < a < 1.0 0 < b < 1.0 で三角関数 Math.sin をとっていて、これだと三角関数の一部の値しか使っておらず、線形に近似できそうな値を吐いていたので、次のように変更して、データも更新した。 // 修正前 const fn = (a, b) => { const n = Math.cos(a) * b + Math.sin(b
[翻訳記事]マイクロフロントエンド - マイクロサービスのフロントエンドへの応用
モダンな Web アプリを異なる JavaScript フレームワークを使う複数チームで開発するためのテクニック はじめに この記事は翻訳記事です。 原著者の許可をとって翻訳・掲載しています。 原文はこちらです。 翻訳者 マイクロフロントエンドとは？ マイクロフロントエンドという言葉は 2016 年の終わりにThoughtWorks Technology Radarで言及されました。 それはマイクロサービスの考え方をフロントエンドに拡張したものです。 現在の Web のトレンドは多機能でパワフルな SPA です。 SPA はフロントエンドとバックエンドを切り離すという、マイクロサービスの考え方に基づいています。 開発をすすめていくと、特に複数のチームで管理している場合 フロントエンド層が肥大化して管理が難しくなりがちです。 これを「モノリシックなフロントエンド」と呼びます。 マイクロフロン
Hooks API Reference – React
These docs are old and won’t be updated. Go to react.dev for the new React docs. These new documentation pages teach modern React: react: Hooks Hooks are a new addition in React 16.8. They let you use state and other React features without writing a class. This page describes the APIs for the built-in Hooks in React. If you’re new to Hooks, you might want to check out the overview first. You may a
Discord を支える WebRTC
先日行われた Kranky Geek で Discord が “Multiparty Voice and Video for Gamers” というタイトルで、どのように WebRTC を利用しているかを発表していました。 気になった部分だけ簡単にコメントしていきます。英語の理解が間違っている場合もあるのでその場合は是非コメントで指摘もらえると助かります。 Discord はデスクトップクライアントには Electron を利用しており、iOS アプリには React Native を利用しています。Android は Kotlin で書かれており、React Native は利用しておりません。 とくに iOS と Android で利用している WebRTC ライブラリにはカスタマイズが入っています。 SDP を利用しておらず、さらに DTLS-SRTP を利用していません。これはかな
UKL: Linuxをベースにしたユニカーネル
Red Hatのブログより。 ユニカーネルは好みに合わせて変更される、アプリケーションと必要最小限のカーネル機能で構成された単一アドレス空間ブート可能イメージです。今日のユニカーネルはモノリシックおよびマイクロカーネルに比べて大幅な性能とセキュリティ上の利点を示していますが、いまだ普及していません。 根本的な問題は、既存のオペレーティング・システムをフォークすること、あるいはクリーン・スレート設計として開発された今日のユニカーネルが、Linuxをそのような成功に導いた進化的コミュニティ・プロセスを放棄したことです。この記事では、ユニカーネルにコミュニティをサポートし、LinuxとGNU C LIbrary(glibc)の能力を進化させるという目標を追求している代替アプローチについて説明します。 ユニカーネルはシングル・アドレス空間ライブラリのオペレーティング・システムです。ユニカーネルにコ
ユニカーネルとは
昨年、DockerがUnikernel Systems社を買収したことで注目されているユニカーネル。アプリの動作に必要な機能のみで作ったソフトウェアを、ハイパーバイザやハードウェアの上で直接動作させてしまおうという野心的な試み。Wikipediaより。 ユニカーネル(Unikernel)は、ライブラリ・オペレーティング・システムを使って構築された専門化した単一のアドレス空間マシン・イメージである。[1][2] 開発者は、モジュラー・スタックからアプリケーションを実行するために必要なOS構造に対応するライブラリの最小セットを選択する。次に、これらのライブラリは、LinuxやWindowsのようなOSを介在させることなく、ハイパーバイザあるいはハードウェア上で直接動作するよう、確定された固定目的のイメージを構築するためにアプリケーションや設定コードでコンパイルされる。 ライブラリ・オペレーティ
WebPerl | Run Perl in the browser with WebPerl!
Run Perl in the browser with WebPerl! View the Project on GitHub haukex/webperl [ Using - Building - 🦋 - Notes - Legal - Wiki ] Welcome to WebPerl! WebPerl uses the power of WebAssembly and Emscripten to let you run Perl in the browser! WebPerl does not translate your Perl code to JavaScript, instead, it is a port of the perl binary to WebAssembly, so that you have the full power of Perl at your
GitHub - socketry/falcon: A high-performance web server for Ruby, supporting HTTP/1, HTTP/2 and TLS.
This Perl Goes To 11
Welcome To Perl11.org... 5 + 6 == 11! MAJOR NEWS 10/14/19: Perl 6 has been officially renamed to "Raku"! (More details to come in the following days...) Perl 11 is not (yet) an actual version of Perl; rather, Perl 11 is currently a philosophy with 3 primary tenets: 1. Pluggability Of Perl On All Levels 2. Reunification Of Perl 5 & Perl 6 Raku 3. Runtime Performance Of C/C++ Or Faster Perl 11 promo
.:: Phrack Magazine ::.
┌──────────── ██ ──────────────────────────────────────────── ██ ─────────┐ │ ███████████ ███████████ ███████████ ████████▄██ ███████████ ██ ▄▄▀▀ │ │ ██ ██ ██ ██ ██ ▀▀ ██ ▀██ ██ ▀▀ ███████████ │ │ ██ ████████ ██ ██ ██ ████████▀██ ███████████ ██ ██ │ │ ██ .::.::. P H R A C K # 7 1 .::. C A L L : F O R : P A P E R S .::.::. │ ::. You Should Write For Phrack .:: Back when Phrack started in 1985, info
One Windows Kernel - Microsoft Tech Community - 267142
For more information on the architecture of Windows, the “Windows Internals” series of books are a good reference. Scheduler With that background, let's talk a little bit about the scheduler, its evolution and how Windows kernel can scale across so many different architectures with so many processors. A thread is the basic unit that runs program code and it is this unit that is scheduled by the Wi
WebAssembly Threads ready to try in Chrome 70 | Articles | web.dev
WebAssembly Threads ready to try in Chrome 70 Stay organized with collections Save and categorize content based on your preferences. WebAssembly (Wasm) enables compilation of code written in C++ and other languages to run on the web. One very useful feature of native applications is the ability to use threads - a primitive for parallel computation. Most C and C++ developers would be familiar with
Home | web.dev
Stay organized with collections Save and categorize content based on your preferences. We want to help you build beautiful, accessible, fast, and secure websites that work cross-browser, and for all of your users. This site is our home for content to help you on that journey, written by members of the Chrome team, and external experts.
rr: lightweight recording & deterministic debugging
what rr does rr aspires to be your primary C/C++ debugging tool for Linux, replacing — well, enhancing — gdb. You record a failure once, then debug the recording, deterministically, as many times as you want. The same execution is replayed every time. rr also provides efficient reverse execution under gdb. Set breakpoints and data watchpoints and quickly reverse-execute to where they were hit. rr
The thoughtful, capable, and ethical replacement for Windows and macOS ⋅ elementary OS
What’s New in elementary OS 7.1 Made with care with you in mind. OS 7.1 provides new personalization options that make it more inclusive and accessible, protects your privacy and ensures apps always operate with your explicit consent, and addresses your feedback with over 200 bug fixes, design changes, and new features Read the Announcement Get it on AppCenter Get free and paid apps on AppCenter,
Amazon Web Services In Plain English
Hey, have you heard of the new AWS services: ContainerCache, ElastiCast and QR72? Of course not, I just made those up. But with 50 plus opaquely named services, we decided that enough was enough and that some plain english descriptions were needed. Use Heroku? Try Expedited WAF. Get a Free Tee. Either Book a Demo or Install Expedited WAF from the Heroku Marketplace - after a week we'll ask for you
GoAWK, an AWK interpreter written in Go
November 2018 Summary: After reading The AWK Programming Language I was inspired to write an interpreter for AWK in Go. This article gives an overview of AWK, describes how GoAWK works, how I approached testing, and how I measured and improved its performance. Go to: Overview of AWK | Code walkthrough | Testing | Performance Chinese (zh) translation: 一个用Go编写的AWK解释器 Update: GoAWK now uses a bytecod
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Min | A fast, minimal browser that protects your privacy
GitHub - maxmcd/webtty: Share a terminal session over WebRTC
GitHub - bodil/typed-html: Type checked JSX for Rust
GitHub - google/double-conversion: Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.
GitHub - guess-js/guess: 🔮 Libraries & tools for enabling Machine Learning driven user-experiences on the web
GitHub - WICG/portals: A proposal for enabling seamless navigations between sites or pages
ブログ: ユニカーネル: もはや学問的訓練ではない
GitHub - GoogleChromeLabs/carlo: Web rendering surface for Node applications
iSH
Mobile Patterns - UI UX Inspirational Gallery for iOS and Android
GitHub - minimaxir/big-list-of-naughty-strings: The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
「ニュースを気にしない」ということ：クリス・アンダーソン、『WIRED』を語る（上）｜WIRED.jp
中国人の「面子」と『ドラゴンボール』の世界：日経ビジネスオンライン