はてなブックマーク見るのやめることにした に ると より
はてなブックマーク見るのやめることにした に Hiroshi Kurokawa より
はてなブックマーク見るのやめることにした に karino2 より
スマートウォッチを紛失した に Hajime Morrita より
はてなブックマーク見るのやめることにした に ると より
はてなブックマーク見るのやめることにした に Hiroshi
五万節
2万人 動員数は2万人を突破！「士郎正宗の世界展」で〝原典〟回帰が加速する理由｜@DIME アットダイム 安彦良和展、2万人突破／青森県立美術館｜
6月30日_
AArch64用逆数除算
動いてベンチマークできるようになった. コード 今年も半分終わりか. やばいな.
6月29日_
『西遊記5』(斉藤洋)
早とちりとはいえ九尾の狐を倒してしまったのはやるせない.
6月27日_
定数除算続き
x64用JITコードが動いたので次はM4 Macでやってみよう.
6月23日_
睡眠導入剤
先週末から耳鳴りがひどいので耳鼻科に.
今週, 初めて飲んでる
2025-06-28 (Sat)
#1 Proof Summit 2025
発表スライド: Coq ユーザが Lean を調べてみた
2025: 01, 02, 03, 04, 05, 06
2025-06-26
包括圏はなぜ「包括」圏なのか？
雑記／備忘
あー、そういうことかぁ！僕は、用語の語源にあまりこだわらないので、「包括圏」の語源は知らなかったし、調べることもしませんでした。「なんでか知らんけど、『包括圏』って呼ぶのね」で済ませていました。語源や逸話を知らないと概念を理解できないわけ…
包括圏はなぜ「包括」圏なのか？
追悼ブライアン・ウィルソン――渋谷陽一が語る「いちばん好きなビーチ・ボーイズのビデオ・クリップ」
アディ・オスマニによる「MCP解説四部作」と次なるオライリー主催AIコーディングイベント
トレンドマイクロによる「AIエージェントと脆弱性」シリーズが完結している
『ブルース・ブラザーズ』は永遠なり？ 映画公開から45年を経て本が出る
ドールハウス
2025-06-14 CSS の ident() による動的な custom-ident の生成
2025-06-10
_ chatgpt
https://shinh.skr.jp/m/?date=20250603#p01 のカスタマイズでだいぶマシになり、急速に依存が強くなってきた。アルゴリズムの刷新よりUI、なんだなーという強い実体験の一つとなった。先日の飲食業経営や新政党のような、ランダムな「ふと気になった、今の自分のマイブーム」について、ウザがられる心配なく飽きるまで話せて、有益なフィ
2025-06-07
HaskellによるQPACKの実装
Haskell QUIC
いやいや、難産だったよ。
2020年から2021年にかけて、HaskellでHTTP/3ライブラリを作成する過程で、QPACKを実装した。HPACKやQPACKでは、圧縮を担う符号器(encoder)よりも、伸長を担う復号器(decoder)の方が、圧倒的に簡単である。このため、Haskellの復号器は、静的表に
May. 2025
Last Modified: Mon May 5 07:35:18 UTC 2025
気がついたら 2025-05-05 [Mon] 16:00
また1ヶ月たってた。
正直、ここにLLMの愚痴ばっかり書きたくないのだが…
LinkedInなぞを見ていると (そんなもん見るな! そもそも)
「AI Apologetics」とでも言う人々がこれほど多いのにおどろく。
そしてまた謎
「型システムのしくみ」発売のお知らせ
▼ ▶
2025
2025 / 4
あと、僕は馬鹿なことをするのは嫌いですよ (わざとやるとき以外は)。-- Larry Wall
ネット小説を書き始めて三年以上経って気づいたこと：鯛粗は重要
この広告は、90日以上更新していないブログに表示しています。
この広告は、90日以上更新していないブログに表示しています。
Plan9日記
読者になる
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_usi
Smalltalk-72で遊ぶOOPの原点：組み込みコレクションにeach変数が使える「do」を新たに追加する
2023年01月07日(土) [n年日記]
この方法は完全に統計的に動いており, 内部的には1000次元のニューラル文書ベクトルをSVDで効率的に計算し, 基本的な線形代数を用いて最適解を返すものになっています。
この方法を拡張して, Researcher2Vecにもあるように, 各研究者の「研究者ベクトル」を計算することで, キーワードから研究者を検索できる"ACL2Vec-authors"をさ
TAO/ELISをつくろう (6): 番地型計算
Posted 2022-11-03 20:36:51 GMT
TAO/ELISをCommon Lispで真似てみる試みの続きですが、今回は、番地型計算を再現してみたいと思います。
マルチパラダイム言語 TAO: 第12回 完 Common Lisp と番地型計算; 8. 番地型計算
Lispマシンにはlocativeという参照を抽象化したような仕組
その後, 国立天文台暦計算室のページを見付けた.
back to the top
ssig33.com - texts
TravisCI で粗雑にテストを分割実行する (2018-09-18 02:46:10 UTC)
Scrapbox Drinkup #4 にいってきた (2018-05-24 06:17:38 UTC)
谷甲州『工作艦間宮の戦争』 (2018-05-21 15:18:10 UTC)
new_article (2018-03-1
The Sunny Cityという仕掛け付きジグソーパズルをプレイした
2022-02-07
Game
『The Sunny City』というジグソーパズルをプレイした。Twitterで、何やら秘密の仕掛けがあって面白いと聞いて気になっていたやつ。
購入
日本のAmazonだと8970円とけっこうなお値段なのだが(プレミア価格？)、米Amazonだと$19.99で「まじかよ…」という気分になる。米
6 hours ago
2 days ago
10月上旬
2019年10月2日(水)
■ 正当なメールアドレスが使えないのは不当か
_ Jリーグチケットは正当なメールアドレスを受け付けないという話。
_ 自分も y@ という1文字ローカルパートなメールアドレスを使ってるのでときどき同じ罠にひっかかるけど、まあそういうもんだと思うけどね。イラッとすることは否定しないけど。RFC で制限されてないからといって、アプリケーションが独自に制限
14年4月 diary
最新の日記 前の月 次の月 日記INDEX はじめての方へ HOME
4月1日（火）
▼「ヒッグス粒子を追え」フランク・クローズ
この辺りの理論は知っていたが、発見のドラマの方について読んだのは初めてだったので面白かった。朝永らのくり込みの時代から始まって、標準モデルが確立するまでの過程を「無限大の問題」を軸にしてまとめたもの。原題は”the Infinity Puzzle