Notions of Computations and Effects - Just $ A sandbox
前回のeffect systemに対するボヤキ、あるいは予言が色んな人に読まれたみたいなので興味がある人が一定数いるならeffect systemの紹介記事をちゃんと書こうと思った次第。 というわけでmonadを前提としてプログラミング言語的な見方と圏論的な見方を通してeffectに関するお話をしてみます。 注意 以下のプログラムはHaskellに寄せたオレオレsyntaxで実際にそういう実装があるわけじゃないので注意してください。実際の実装されている言語の話は最後に少しします。 programming with effects effectは通常type-and-effect-systemと呼ばれるようにある意味で一種の型システムのようなものです。型システムがプログラムの入力と出力の値を見積もる仕組みだったのに対し、エフェクトシステムはプログラムを実行した際に「起きうる」エフェクトをコン
Largest FREE Microsoft eBook Giveaway! I’m Giving Away MILLIONS of FREE Microsoft eBooks again, including: Windows 10, Office 365, Office 2016, Power BI, Azure, Windows 8.1, Office 2013, SharePoint 2016, SharePoint 2013, Dynamics CRM, PowerShell, Exchange
Largest FREE Microsoft eBook Giveaway! I’m Giving Away MILLIONS of FREE Microsoft eBooks again, including: Windows 10, Office 365, Office 2016, Power BI, Azure, Windows 8.1, Office 2013, SharePoint 2016, SharePoint 2013, Dynamics CRM, PowerShell, Exchange Server, System Center, Cloud, SQL Server and more! 07/11/2017 21 minutes to read It’s that time of year again, and today I am kicking off my ann
過去3年間分の試験問題｜大学入試センター
Copyright National Center for University Entrance Examinations All rights reserved.
関空で安宿代わりにリフレッシュスクエアのフラットシートに泊まる : さざなみ壊変
関西国際空港リフレッシュスクエア LCCジェットスターの早朝便で関空から成田に移動するため前日に関空に泊まってみた。利用したのはリフレッシュスクエアというマッサージ屋の中でネットカフェみたいなラウンジエリアのフラットシート。 リフレッシュスクエアのラウンジエリア。 関西空港駅から第1ターミナルとは逆の方向に進んでいくとエアロプラザという建物があり2階にリフレッシュスクエアがある(ピーチの第2ターミナルはエアロプラザ1階から無料シャトルバスが出る)。受付を済ませて中に入るとこんな感じ。 なかなかよい雰囲気。 マッサージ屋のリラクゼーションエリアは9:30から21:00までだがラウンジエリアは24時間なので泊まれる。 本日の宿となるフラットシート。 フラットシートには座椅子など一切なく、枕が欲しい場合は荷物でどうにか高さを出すなど工夫する必要がある。布団ほど柔らかいわけではないので私のように横
VisuAlgo - データ構造とアルゴリズムを可視化する
VisuAlgo.net/en visualising data structures and algorithms through animation VisuAlgo is a trilingual site. Try visiting the other versions of VisuAlgo other than the default English version, e.g., Chinese or Indonesian. Users can see the translation statistics for these three pages. We aim to make all three has near 100% translation rate. Unfortunately the translation progress with other language
ev3dev Home
ev3dev is a Debian Linux-based operating system that runs on several LEGO® MINDSTORMS compatible platforms including the LEGO® MINDSTORMS EV3 and Raspberry Pi-powered BrickPi. Just like you can take apart your LEGO® models and build something completely different, we have reverse-engineered the EV3 and created a new software platform for programming your robots. EV3 programming unlocked ev3dev giv
Binary puzzles, solve online or print - BinaryPuzzle.com
Today's Special Puzzle Each day we have a new special binary puzzle. Today this is a hard 14x14 binary puzzle with therein a 10x10 binaire puzzel and therein a 6x6 binary puzzle. Click here to solve this puzzle online or to print it. The Binary Puzzle The binary puzzle is a challenging logic puzzle that can be solved just by reasoning. Only zeros and ones occur in the puzzle, but this turns out to
OWASP Secure Coding Practices – Quick Reference Guide
(Last Updated On: 2021年5月2日) OWASPのガイドラインはPCI DSSでも参照するように指定されているセキュリティガイドラインです。その中でも比較的簡潔かつ体系的にセキュアプログラミングを解説した資料がOWASP Secure Coding Practices – Quick Reference Guide (v2) です。 日本語訳がないようなので一部未訳ですが訳しました。CC-BY-SAライセンスです。クリエイティブコモンズライセンスに従って自由に配布できます。 チェックリスト形式になっているので、自分のコーディング／開発スタイルがどの程度適合しているのか、簡単にチェックできるようになっています。コーディングスタイルのみでなく、運用はシステム構成に関連する物も含まれています。私が解説／紹介しているセキュリティ対策を行っている開発チームであればこれらの殆どに適
なぜ、SQLは重たくなるのか？──『SQLパフォーマンス詳解』の翻訳者が教える原因と対策｜ハイクラス転職・求人情報サイト AMBI（アンビ）
なぜ、SQLは重たくなるのか？──『SQLパフォーマンス詳解』の翻訳者が教える原因と対策 『SQLパフォーマンス詳解』の翻訳者の松浦隼人さんに、8つの「SQLが重たくなる原因とその対策」を聞きました。システムのボトルネックになるような「問題のあるSQL」を回避するノウハウを学びましょう。 データの操作や定義をする言語「SQL」は、どのような領域を担うエンジニアにとっても必修科目です。しかし、その仕様をきちんと理解し、パフォーマンスに優れたSQLを書ける方はそれほど多くありません。問題のあるSQLを書いてしまい、知らぬ間にそれがシステムのボトルネックになってしまう事態はよく発生します。 では、どうすればそうした事態を回避できるのでしょうか？ そのノウハウを学ぶため、今回は『SQLパフォーマンス詳解』の翻訳者であり、自身もエンジニアでもある松浦隼人（まつうら・はやと／@dblmkt）さんに8つ
SQLパフォーマンス詳解: 開発者のためのデータベースチューニング解説書
開発者のための解説書SQLパフォーマンスに関する本は、どれも分厚くて難解でした。 あらゆる知識が詰まった数百ページ… …でもその多くは開発者には関係ないこと。 SQLパフォーマンス詳解は、開発者が知るべきことに焦点を絞っています。 たった200ページですが… …主要なデータベース全てをカバーしています。 (PayPalでの支払い、送料無料) PDFならすぐ手に入ります。. ❗印刷版は2024年8月末発送予定です❗ お詫びのしるしにディスカウントコード SlowDelivery24 をお使いください。 削除 印刷版をアマゾンまたはメルカリShopsで購入 (ソフトカバー版のみ、有料リンク) メルカリShops
Welcome to Apache Solr
Solr is the popular, blazing-fast, open source enterprise search platform built on 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 navigation features of many of the world's largest inter
monadからeffectへ - Just $ A sandbox
追記 もう少しまともな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
NSTMF Gravity
How do celestial bodies warp the fabric of space-time and interact with each other?
SonyのDNNフレームワーク"NNabla"を調べてみた - tkato’s blog
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
OWASP Japan | OWASP Foundation
This website uses cookies to analyze our traffic and only share that information with our analytics partners. Accept OWASP Japanチャプターのホームページへようこそ。 OWASP - Open Worldwide Application Security Project とは、Webをはじめとするソフトウェアのセキュリティ環境の現状、またセキュアなソフトウェア開発を促進する技術・プロセスに関する情報共有と普及啓発を目的としたプロフェッショナルの集まる、オープンソース・ソフトウェアコミュニティです。The OWASP Foundationは、NPO団体として全世界のOWASPの活動を支えています。 OWASP Japanチャプターは、首都圏のみならず、国内全域における
AWS WAF のセキュリティオートメーション | AWS ソリューション
Security Automations for AWS WAF は、一般的な Web ベースの攻撃をフィルタリングする AWS WAF (Webアプリケーションファイアウォール) のルールセットを自動的に展開します。事前設定の保護機能を選択することで、AWS WAF ウェブアクセスコントロールリスト (ACL) に含まれるルールを定義することができます。デプロイが完了すると、AWS WAF によりウェブリクエストが検査され、Amazon CloudFront ディストリビューションや Application Load Balancer が保護されるようになります。 AWS WAF を使用することで、攻撃パターンをブロックするための、カスタムでアプリケーションに固有のルールを作成できます。これにより、アプリケーションの可用性とリソースの安全性を確保し、過剰なリソースの消費を防ぐことができま
Benchmarking nftables | Red Hat Developer
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
Deep Securityで不正なSSH接続を検知してみた | DevelopersIO
はじめに Trend Micro Deep Securityのセキュリティログ監視モジュールを使って、不正なSSH接続を検知してみました。 Deep Securityには、OSSECのセキュリティログ監視エンジンが統合されています。 存在しないユーザーでの接続と、存在するユーザーで誤ったキーペアを指定する接続の2パターンを試してみました。 前者は標準の監視ルールセットで検知しました。 後者はカスタムルールで検知しました。 セキュリティログ監視の有効化 EC2にDeep Security Agentをインストールします。 手順はこちらをご覧ください。 セキュリティログ監視を有効化します。 コンピュータエディタまたは、ポリシーエディタを開きます。 セキュリティログ監視 ＞ 一般 を選択し、有効化します。 コンピュータエディタを開きます。 セキュリティログ監視 ＞ 一般 を選択し、推奨設定を検索
Linux security tools (top 100)
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
Shiny
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でファイルがキャッシュに乗っているか確認 - YOMON8.NET
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
Webページを丸ごとパッケージングする Web Packagingとは - ASnoKaze blog
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
Eternal Terminal
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
CDNとの付き合い方 – cat /dev/random > /dev/null &
最近何かと話題なCDNですが、そもそもCDNってなんだろう・・・どんなことに使えるんだろう？的なことを書いてみようと思います。 一応先に言っておくと、私はCDN業者に所属したことないのであくまでも利用者として見た時の話を書きます。 また、私の考えであり、様々なワークロードがあるなかでこれがすべてではありませんので、こんな考えもあるんだなぁぐらいに思ってもらえると助かります。 そもそもCDNってなんだろうか そもそもCDNはContent Delivery Networkの略であってCache Delivery Networkの略ではありません。 要はコンテンツをクライアントに対して高速・効率的に配信するためのネットワークです。 良くCDNといえばその成り立ちからキャッシュというイメージはありますが、重要な要素の一つではあるもののCDNの全てではありません。 さらに言えばAkamaiのInt
Using a GPG key for SSH Authentication
Using a GPG key for SSH Authentication June 29th, 2017 PGP keys and SSH keys are different. It took me longer than I care to admit to understand this, given that the first StackExchange thread I found on the subject made it pretty clear that it’s not trivial to use one where you’re supposed to use the other. To be fair, the are the same kind of thing — that is, asymmetric encryption keys. They can
git のチカラで未知の言語でもオムニ補完 - Qiita
デモ オムニ補完とは？ オムニ補完は vim 界隈でわりとよく耳にする言葉ですが、IDE よろしくメソッド名などをいい感じに補完する機能です。 Emacs でも perl の変数名とかメソッド名をいい感じに補完してくれるperl-completion.el とか、 C/C++ の IDE モドキ CEDET などがあります。 auto-complete.el に最初から入っている CSS の補完も、プロパティ名によって補完候補を変えてくれたりかなりオシャレです。 なにをやったの？ オムニ補完は便利なのですが、エディタがその言語のことを良く知っているか、あるいは言語処理系側がいい感じに補完候補を探してエディタに報告してくれる機能を持っていないと基本的には実装できません。なので、言語ごとに別々のプラグインを入れるのが普通で、設定のほうはわりと面倒です。 そこで今回は git の力を借りて、言語
量子コンピュータで１＋１を計算する - Qiita
はじめに IBM Q の公開で無料で量子コンピュータをいじって遊べる素敵な時代がやってきました。私は 1+1 の計算をやってみたのですが、なかなか面白かったので投稿してみることにしました。実用性はありませんが、量子コンピュータの学習には適当かと思います。 ログイン IBM Q を開き、ユーザ登録をします。 ログインしたら Composer をクリック、Custom Topology を選択します。 Topology は Quantum 及び Classical の Registers を 4 に減らし、Set Topology を押して次に進みます。 0+0=0 の回路の作成 下図の回路をマウスで作成します。Gates からゲートを選択し、線の上でクリックすると置けます。 Gates の Advanced チェックボックスをチェックしてください。ccXが使えるようになります。 それぞれの意
GitHub - google/ssl_logger: Decrypts and logs a process's SSL traffic.
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
hotspot - a GUI for the Linux perf profiler
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
Make: Japan | オープンソースハードウェアの旗手、Adafruitは会社の運営もオープンソース化している
世の中には、見事な直感が働き、先陣を切る勇気と信念を持ち、大胆な行動が次々に良い結果を生むという、まるで魔法にかけられたかのような企業がある。Adafruit Industries（エイダフルーツ・インダストリーズ）はそんな企業だ。2005年、MITで工学を学んでいたLimor“Ladyada”Friedは、学生寮の一室で、オンライン教材とDIYエレクトロニクスのためのオンラインショップ、Adafruitを立ち上げた。現在は、エレクトロニクス製品と教材を提供するコミュニティ主導の企業として、またマンハッタンのソーホー地区ではMakerコミュニティとして大成功を収めている。 企業を成功に導く鍵として、次の3つがあるとLimorは言う。「他の人たちを重視すること」「自分には大義があり、よい会社になると無条件に確信すること」「冒険を友だちと思い、自分自身と同じ、唯一の本当の競争相手だと思うこと」
CIA、Wi-Fiルータをハッキングか--WikiLeaks公開の機密文書で明らかに
流出した機密文書によって、米中央情報局（CIA）が長年にわたり、家庭やオフィス、公衆の無線ルータをハッキングし、秘密裏に監視していたことが明らかになった。 今回の文書は、WikiLeaksが公開している一連の機密文書の一部とされている。この文書から、Engineering Development GroupというCIAのエリートハッキング部門の活動が明らかになっている。 数十件のファイルの中には、CIAによるネットワークやコンピュータを標的としたハッキングを可能にする、複数のハッキングツールスイートの存在を示すユーザーおよびインストールガイド、マニュアル、「機密」と記されたマップやチャートがある。 そうしたツールの1つである「CherryBlossom」では、標的となるインターネット活動の監視、使用ブラウザのリダイレクト、電子メールアドレスや電話番号、ソフトウェアの脆弱性の監視などが可能だ
RISC-V シミュレータツールチェイン rv8 - FPGA開発日記
こういうツールチェインが作りたいんだよなあ。見た目にも非常にきれいな、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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - vadimdemedes/ink: 🌈 React for interactive command-line apps
sumika | Familia（ファミリア）
GPD Pocket: 7.0' UMPC-Laptop 'Ubuntu or WIN 10 OS' | Indiegogo
Amazon.co.jp: SRE サイトリライアビリティエンジニアリング ―Googleの信頼性を支えるエンジニアリングチーム: Sky株式会社玉川竜司 (翻訳), Betsy Beyer (編集), Chris Jones (編集), Jennifer Petoff (編集), Niall Richard Murphy (編集), 澤田武男 (監修), 関根達夫 (監修), 細川一茂 (監修), 矢吹大輔 (監修): 本
Amazon.co.jp: 暗号技術のすべて: IPUSIRON: 本
分散ユニークID採番機 katsubushi と Web アプリケーションへの応用例 / katsubushi