私は悩みをリストアップし始めたが、そのあまりの長さにいやけがさし、何も考えないことにした。-- Robert C. Pike
https://srad.jp/アレゲなニュースと雑談サイトja-jpCopyright (C) スラド, OSDN Corporation2018-11-12T13:48:09+00:00スラドslashmaster@srad.jpTechnology1970-01-01T00:00+00:002hourly https://images.srad.jp/srad_logo01.pnghttps
11月10日_
コンパイラ勉強会途中から参加
みんなコンパイラを書こうという話.まじめに書いたことないのでまだ人生fakeだな. fakeのままでもいいけど.
範囲を計算するためのSMTソルバの話は(shinhさんが先に質問してたけど),あれぐらいなら全数計算の方が簡単で速いんじゃないかと思った.
懇親会が早めだったので参加して何人かと食事もできた.
11月9日_
mclの実装詳解書きかけ
社内勉
2018-11-11
_ Death of Optimizing Compiler
https://tabesugi.net/memo/2017/8.html
を見て、これ2017年8月の段階かあ、この段階でもまだ、たぶんその通りだなあと思っていた。本当に性能を気にする「ホットスポット」は、 nvidia や intel が、手動や、半手動というか専用ツールみたいなのでカリカリにチューンしてくれて
米田の補題の米田信夫さん（肖像のお写真はコチラ）は、エンド／コエンド〈end/coend〉とグロタンディーク構成〈Grothendieck construction〉の創始者でもあるんですよね。
2018-11-06
Wiki 記法
Wiki 記法は様々なものがあるが、書きたいものを短くマークアップできるようにするということが重要な目的であり、万能性を求めたあげくに複雑怪奇になってしまうようなら本末転倒だと思う。 充分に高い表現力が欲しいなら HTML で書けばよい。
とはいうものの、分野ごとに様々な記法が乱立するというのもそれはそれでつらいので、 Markdown (またはそれを基礎にし
スマートフォン用の表示で見る
インターネットに関する技術的な話など
2018-10-30
TLS 1.3 開発日記 その28 RFC8446
TLS Haskell
はてなダイアリーからはてなブログに移行しました。今後も、細々とブログを書いていきます。
2018年8月、TLS 1.3がRFC8446になりました！(TLSのRFCは、伝統的にXX46という番号になります。) RFC8446の貢献者リ
�海竜�事でインタビューを受けているのは、ミュージシャンやプロデューサーとして著名なドン・フレミング（Don Fleming）で、彼自身もそのアーカイブの公開に一枚噛んでいたとは。彼はハンター・S・トンプソンやジョージ・ハリスンのアーカイブにも関わっているとのこと。
初期の未発表詩集の刊行にもフレミングらの仕事の成果らしいが、何しろ大量の未発表音源もあるようなので、出来の良いものが発表されることを期
Last Modified: Thu Oct 25 13:55:53 UTC 2018
Title2018-10-25 [Thu] 23:18
「自己責任論」って一体何なんだ?
「政府は人質のために一切何もするな」というのが自己責任論なのか。だとすると「政府は経済が破綻しても人質を助けるべし」というのが「自己責任じゃない論」なのか。どっちも極端すぎてイヤだ。たとえば、北朝鮮に拉致られた人々なんか本
10月中旬
2018年10月20日(土)
■ DoH
_ 作ってみた。自分で firefox と android + intra で1週間ぐらいふつーに使ってみてとくに問題なし。ふつーでない使い方をしたときにどうなるかはほとんどテストしてない。
_ あくまでデモなので常用はしないでください。いつ止まるかわからんです。常用されたい場合は自前で動かしてください。
_ なお、なんちゃら over なんち
Goのオプショナル引数 に Jun Mukai より
Goのオプショナル引数 に Hajime Morrita より
GoでどれぐらいDIするか に Hajime Morrita より
GoとBazel に Jun Mukai より
GoとBazel に Hajime Morrita より
Goのオプショナル引数 に Jun Mukai より
Goのオプショナル引数 に Hajime Morrit
2018-10-01
実践Scala入門（共著）が発売されます
https://www.amazon.co.jp/dp/4297101416
企画自体は2015年くらいから始まっていたんですが、紆余曲折あって、約3年経ってしまいました。ともあれ、ようやく出版までこぎつけられてほっと一息です。実際には多少遅れる可能性がありますが、10月27日から技術評論社さんから発売予定なので、�海竜＿颪�Scala
NILの商用版が存在していた!
Posted 2018-10-01 17:53:43 GMT
先日 @hatsugai さんからLisp関係の記事があるということで1986年のInformation(インフォメーションサイエンス社)というコンピューター月刊誌をお借りしました。このInformationですが、1986年は第二次AIブームのまっさなかということで、面白い記事が多かったです。
AIワー
2018-10-01 (Mon)
#1 coq issue #8607 pattern matching printer doesn’t show a binder for used variable
coq issue #8607 pattern matching printer doesn’t show a binder for used variable
2018: 01, 02, 03,
2018年8月22日水曜日
e1000桁の計算
60年くらい前によく行われていた, Napier’s constant eの値を1000桁計算するパラメトロン計算機PC-1のプログラムについてのファイルがあったので, 私のブログに載せておくことにした.
自然対数の底 e の値を小数点以下1000桁まで計算することは,1960年代の計算機で流行した.
今回は、ruby-0.60.tar.gz や ruby-0.64.tar.gz が正常に展開できるので、欠損部分もだいたい想像できます。DEFLATE をデコードしていき、欠損部分については前後バージョンから平文を推定し、それを DEFLATE エンコードすることで、欠損データを補完していくスクリプトを書きました。簡単に言ってますが一晩はかかってます。
2018年05月16日(水)[n年日記]
#1 DataGlyph
増井さんのインターフェイスの街角を読んでずっと以前から気になっていた, QRコードに本来代わるようなXerox PARCで開発されたデータの画像化法 ”DataGlyph” を, 夜中にふと思い立ってC言語でエンコーダとデコーダを簡単に実装してみました。
% glyph ファイル でファイルをエンコードし, % unglyph フ
真面目に考えれば、USBはちゃんとバスとして働いているのに対して、RS232Cは本当にただのシリアルなので、シリアルバス to シリアル変換と考えれば別にそれほどおかしくない気もする。
前述エミュレーターは Web アプリフレームワークの Lively Kernel（Lively Web）上にノートテイカーのエミュを構築し、その上で Smalltalk-78 を動作させています。
Exploring the Performance Impact of... by Ryousei Takano 4740 views
OSvの概要と実装 by Takuya ASADA 6990 views
軽快なPlan9 by Go Saito 5366 views
『BrandSafe はてな』のアドベリフィケーションのしくみ by Lintaro Ina 13999 views
はてなブ
14年4月 diary
最新の日記 前の月 次の月 日記INDEX はじめての方へ HOME
4月1日（火）
▼「ヒッグス粒子を追え」フランク・クローズ
この辺りの理論は知っていたが、発見のドラマの方について読んだのは初めてだったので面白かった。朝永らのくり込みの時代から始まって、標準モデルが確立するまでの過程を「無限大の問題」を軸にしてまとめたもの。原題は”the Infinity Puzzle