前回のeffect systemに対するボヤキ、あるいは予言が色んな人に読まれたみたいなので興味がある人が一定数いるならeffect systemの紹介記事をちゃんと書こうと思った次第。 というわけでmonadを前提としてプログラミング言語的な見方と圏論的な見方を通してeffectに関するお話をしてみます。 注意 以下のプログラムはHaskellに寄せたオレオレsyntaxで実際にそういう実装があるわけじゃないので注意してください。実際の実装されている言語の話は最後に少しします。 programming with effects effectは通常type-and-effect-systemと呼ばれるようにある意味で一種の型システムのようなものです。型システムがプログラムの入力と出力の値を見積もる仕組みだったのに対し、エフェクトシステムはプログラムを実行した際に「起きうる」エフェクトをコン

GitHub Copilot for CLI - Just say what you want the shell to do. Cloudflare's Wrangler - The CLI for Cloudflare Workers. Linear - Linear built an internal CLI for managing deployments, configs and other housekeeping tasks. Gatsby - Gatsby is a modern web framework for blazing fast websites. tap - A Test-Anything-Protocol library for JavaScript. Terraform CDK - CDK (Cloud Development Kit) for Hashi

If you were looking for MSDN or TechNet blogs, please know that MSDN and TechNet blog sites have been retired, and blog content has been migrated and archived here. How to use this site Archived blogs are grouped alphabetically by the initial letter of the blog name. Select the initial letter from the TOC to see the full list of the blogs. You can also type the name of the blog or the title of the

関西国際空港リフレッシュスクエア LCCジェットスターの早朝便で関空から成田に移動するため前日に関空に泊まってみた。利用したのはリフレッシュスクエアというマッサージ屋の中でネットカフェみたいなラウンジエリアのフラットシート。 リフレッシュスクエアのラウンジエリア。 関西空港駅から第1ターミナルとは逆の方向に進んでいくとエアロプラザという建物があり2階にリフレッシュスクエアがある(ピーチの第2ターミナルはエアロプラザ1階から無料シャトルバスが出る)。受付を済ませて中に入るとこんな感じ。 なかなかよい雰囲気。 マッサージ屋のリラクゼーションエリアは9:30から21:00までだがラウンジエリアは24時間なので泊まれる。 本日の宿となるフラットシート。 フラットシートには座椅子など一切なく、枕が欲しい場合は荷物でどうにか高さを出すなど工夫する必要がある。布団ほど柔らかいわけではないので私のように横

(Last Updated On: 2021年5月2日) OWASPのガイドラインはPCI DSSでも参照するように指定されているセキュリティガイドラインです。その中でも比較的簡潔かつ体系的にセキュアプログラミングを解説した資料がOWASP Secure Coding Practices – Quick Reference Guide (v2) です。 日本語訳がないようなので一部未訳ですが訳しました。CC-BY-SAライセンスです。クリエイティブコモンズライセンスに従って自由に配布できます。 チェックリスト形式になっているので、自分のコーディング／開発スタイルがどの程度適合しているのか、簡単にチェックできるようになっています。コーディングスタイルのみでなく、運用はシステム構成に関連する物も含まれています。私が解説／紹介しているセキュリティ対策を行っている開発チームであればこれらの殆どに適

Indiegogo is committed to accessibility. If you have difficulty using our site, please contact support@indiegogo.com for assistance or view our accessibility notice by clicking here

なぜ、SQLは重たくなるのか？──『SQLパフォーマンス詳解』の翻訳者が教える原因と対策 『SQLパフォーマンス詳解』の翻訳者の松浦隼人さんに、8つの「SQLが重たくなる原因とその対策」を聞きました。システムのボトルネックになるような「問題のあるSQL」を回避するノウハウを学びましょう。 データの操作や定義をする言語「SQL」は、どのような領域を担うエンジニアにとっても必修科目です。しかし、その仕様をきちんと理解し、パフォーマンスに優れたSQLを書ける方はそれほど多くありません。問題のあるSQLを書いてしまい、知らぬ間にそれがシステムのボトルネックになってしまう事態はよく発生します。 では、どうすればそうした事態を回避できるのでしょうか？ そのノウハウを学ぶため、今回は『SQLパフォーマンス詳解』の翻訳者であり、自身もエンジニアでもある松浦隼人（まつうら・はやと／@dblmkt）さんに8つ

前書き インデックスの 内部構造 インデックス リーフノード 検索 ツリー(Bツリー) 遅いインデックス パートI where 句 等価 演算子 プライマリキー 複合インデックス 遅いインデックス パートII 関数 - where 大文字・小文字を区別する 検索 ユーザ定義 関数 インデックスの作り過ぎ パラメータ化 クエリ 範囲 検索 大なり、小なり、 BETWEEN LIKEフィルタに 対するインデックス インデックスの結合 部分インデックス OracleにおけるNULL NULLに対する インデックス NOT NULL 制約 部分インデックスを エミュレートする 処理しにくい条件 日付型 数値文字列 列の連結 スマートなロジック 数式 パフォーマンスと スケーラビリティ データ 量 システム 負荷 レスポンス タイムとスループット 結合 処理 入れ子 ループ ハッシュ 結合 ソートマ

Solr is the blazing-fast, open source, multi-modal search platform built on the full-text, vector, and geospatial search capabilities of Apache Luceneâ„¢. Learn more about Solr. Solr is highly reliable, scalable and fault tolerant, providing distributed indexing, replication and load-balanced querying, automated failover and recovery, centralized configuration and more. Solr powers the search and na

追記 もう少しまともなeffect入門記事を書きました myuon-myon.hatenablog.com この文章は今から5-10年後に万が一effect systemが流行り始め、今のHaskellのような立ち位置になった場合に備えて書いています。 effect systemについて Haskellはモナドを用いて純粋・非純粋を切り分けることができる言語で、computational effectを扱うために導入されたものだった。 かつては関数 A -> B で一緒くたにしていたcomputationは、 A -> T B と、文脈 T をもった関数として表現できるようになった。ところでこのようなcomputational effectとしてのモナドを言語機能に組み込むには2つの方法があって、 Meta Language方式 (Haskell) Programming Language

SonyがNNablaというDeepLearningフレームワークを公開しました*1。 興味があったので、ドキュメントとソースを読みながら、全体を眺めてみました。 よく見ると標準でBinaryConnectのサポートやBinary Neural Network(BNN)のサンプルがあったり、興味深いです。 NNablaのコンセプト 公式サイトに記載のあるコア・コンセプトのようなもの https://nnabla.org/ Write less do more コードを直感的に短く書ける Dynamic computation graph support ChainerやPytorchのような動的なモデル構築 Run anywhere 色々なプラットフォームで動くように開発 Device ready ライブラリのコアはC++11で書かれているので、組み込み機器にも乗せられる Easy to

YAPC::Fukuoka

Security Automations for AWS WAF は、一般的な Web ベースの攻撃をフィルタリングする AWS WAF (Webアプリケーションファイアウォール) のルールセットを自動的に展開します。事前設定の保護機能を選択することで、AWS WAF ウェブアクセスコントロールリスト (ACL) に含まれるルールを定義することができます。デプロイが完了すると、AWS WAF によりウェブリクエストが検査され、Amazon CloudFront ディストリビューションや Application Load Balancer が保護されるようになります。 AWS WAF を使用することで、攻撃パターンをブロックするための、カスタムでアプリケーションに固有のルールを作成できます。これにより、アプリケーションの可用性とリソースの安全性を確保し、過剰なリソースの消費を防ぐことができま

Since I've learned about nftables, I heard numerous times that it would provide better performance than its designated predecessor, iptables. Yet, I have never seen actual figures of performance comparisons between the two and so I decided to do a little side-by-side comparison. Basically, my idea was to find out how much certain firewall setups affect performance. In order to do that, I simply di

はじめに Trend Micro Deep Securityのセキュリティログ監視モジュールを使って、不正なSSH接続を検知してみました。 Deep Securityには、OSSECのセキュリティログ監視エンジンが統合されています。 存在しないユーザーでの接続と、存在するユーザーで誤ったキーペアを指定する接続の2パターンを試してみました。 前者は標準の監視ルールセットで検知しました。 後者はカスタムルールで検知しました。 セキュリティログ監視の有効化 EC2にDeep Security Agentをインストールします。 手順はこちらをご覧ください。 セキュリティログ監視を有効化します。 コンピュータエディタまたは、ポリシーエディタを開きます。 セキュリティログ監視 ＞ 一般 を選択し、有効化します。 コンピュータエディタを開きます。 セキュリティログ監視 ＞ 一般 を選択し、推奨設定を検索

Hunting the best security toolsThere is a wide range of security tools available for Linux and other platforms. To make them easier to find, we started an extensive review process to gather and document them. The goal of this top 100 is to showcase the best Linux security tools. By best there is an implied level of quality, healthy community and good governance of the project. Requirements for lis

Here is a Shiny app Shiny apps are easy to write. Let users interact with your data and your analysis, all with R or Python: R Python library(shiny) library(bslib) library(dplyr) library(ggplot2) library(ggExtra) penguins_csv <- "https://raw.githubusercontent.com/jcheng5/simplepenguins.R/main/penguins.csv" df <- readr::read_csv(penguins_csv) # Find subset of columns that are suitable for scatter p

LinuxでI/Oと格闘していると、重要なファイルがどのタイミングでキャッシュに乗ってくるかは死活問題になります。 このファイルってどれくらいキャッシュに乗っているの？という時に便利な vmtouch というツールがあったのでご紹介。 導入方法 導入はいたって簡単。 $ git clone https://github.com/hoytech/vmtouch.git $ cd vmtouch $ make $ sudo make install ちょっと調査で使いたいだけなら make install はやらなくてもOKです。インストールした場合は /usr/local/bin に実行ファイルがインストールされてmanも利用できるようになります。 基本的な使い方 まずは動作の確認に使うファイルを作成します。90000行です。 $ for n in `seq 10000 99999`;do

20180824追記 Loading Signed Exchangesについて記事を書きました Loading Signed Exchangesの仕様 (WebPackaging) - ASnoKaze blog 20180208追記 Bundled HTTP Exchangesについて記事を書きました Bundled HTTP Exchanges とは (WebPackagingの議論より) - ASnoKaze blog 20180121追記 署名の仕組みとして Origin-Signed HTTP Exchanges を利用する方向のようです HTTP/2 クロスオリジン サーバプッシュを可能にする提案仕様 - ASnoKaze blog 20171001追記 IETF99にてユースケースについてまずまとめるべき気というフィードバックが有り、それをうけて「Use Cases and

Remote terminal for the busy and impatientEternal Terminal (ET) is a remote shell that automatically reconnects without interrupting the session. Learn how to install and use it here . ssh : Ssh is a great remote terminal program, and in fact ET uses ssh to initialize the connection. The big difference between ET and ssh is that an ET session can survive network outages and IP roaming. With ssh, o

デモ オムニ補完とは？ オムニ補完は vim 界隈でわりとよく耳にする言葉ですが、IDE よろしくメソッド名などをいい感じに補完する機能です。 Emacs でも perl の変数名とかメソッド名をいい感じに補完してくれるperl-completion.el とか、 C/C++ の IDE モドキ CEDET などがあります。 auto-complete.el に最初から入っている CSS の補完も、プロパティ名によって補完候補を変えてくれたりかなりオシャレです。 なにをやったの？ オムニ補完は便利なのですが、エディタがその言語のことを良く知っているか、あるいは言語処理系側がいい感じに補完候補を探してエディタに報告してくれる機能を持っていないと基本的には実装できません。なので、言語ごとに別々のプラグインを入れるのが普通で、設定のほうはわりと面倒です。 そこで今回は git の力を借りて、言語

#はじめに IBM Q の公開で無料で量子コンピュータをいじって遊べる素敵な時代がやってきました。私は 1+1 の計算をやってみたのですが、なかなか面白かったので投稿してみることにしました。実用性はありませんが、量子コンピュータの学習には適当かと思います。 #ログイン IBM Q を開き、ユーザ登録をします。 ログインしたら Composer をクリック、Custom Topology を選択します。 Topology は Quantum 及び Classical の Registers を 4 に減らし、Set Topology を押して次に進みます。 #0+0=0 の回路の作成 下図の回路をマウスで作成します。Gates からゲートを選択し、線の上でクリックすると置けます。 Gates の Advanced チェックボックスをチェックしてください。ccXが使えるようになります。 それぞ

geffner@ubuntu:~$ # Make a local pipe for input to our openssl client geffner@ubuntu:~$ mkfifo pipe geffner@ubuntu:~$ # Create our openssl client, which will receive input from our pipe geffner@ubuntu:~$ openssl s_client -ign_eof -connect example.org:443 > /dev/null 2> /dev/null < pipe & [1] 98954 geffner@ubuntu:~$ # Begin writing the request to our pipe geffner@ubuntu:~$ printf "GET / HTTP/1.0\nH

KDAB is committed to ensuring that your privacy is protected. Only the above data is collected about you when you fill out this form. The data will be stored securely. The data will only be used to contact you about possible business together. If we do not engage in business within 3 years, your personal data will be erased from our systems. If you wish for us to erase it earlier, email us at info

世の中には、見事な直感が働き、先陣を切る勇気と信念を持ち、大胆な行動が次々に良い結果を生むという、まるで魔法にかけられたかのような企業がある。Adafruit Industries（エイダフルーツ・インダストリーズ）はそんな企業だ。2005年、MITで工学を学んでいたLimor“Ladyada”Friedは、学生寮の一室で、オンライン教材とDIYエレクトロニクスのためのオンラインショップ、Adafruitを立ち上げた。現在は、エレクトロニクス製品と教材を提供するコミュニティ主導の企業として、またマンハッタンのソーホー地区ではMakerコミュニティとして大成功を収めている。 企業を成功に導く鍵として、次の3つがあるとLimorは言う。「他の人たちを重視すること」「自分には大義があり、よい会社になると無条件に確信すること」「冒険を友だちと思い、自分自身と同じ、唯一の本当の競争相手だと思うこと」

流出した機密文書によって、米中央情報局（CIA）が長年にわたり、家庭やオフィス、公衆の無線ルータをハッキングし、秘密裏に監視していたことが明らかになった。 今回の文書は、WikiLeaksが公開している一連の機密文書の一部とされている。この文書から、Engineering Development GroupというCIAのエリートハッキング部門の活動が明らかになっている。 数十件のファイルの中には、CIAによるネットワークやコンピュータを標的としたハッキングを可能にする、複数のハッキングツールスイートの存在を示すユーザーおよびインストールガイド、マニュアル、「機密」と記されたマップやチャートがある。 そうしたツールの1つである「CherryBlossom」では、標的となるインターネット活動の監視、使用ブラウザのリダイレクト、電子メールアドレスや電話番号、ソフトウェアの脆弱性の監視などが可能だ

こういうツールチェインが作りたいんだよなあ。見た目にも非常にきれいな、RISC-Vシミュレータツールセットだ。RISC-V命令セットからx86/64へのバイナリトランスレーション(JIT)もサポートしている。 RISC-Vのほしいツールチェイン群はすべて揃っているんじゃないか、という印象。 こんな感じのログを出力することができるらしい。きれいだなあ。 rv-jit - user mode x86-64 binary translator rv-sim - user mode system call proxy simulator rv-sys - full system emulator with soft MMU rv-bin - ELF disassembler and histogram tool rv-meta - code and documentation generator