Japan Post launches 'digital address' system - The Japan Times
日本郵政は、7桁の英数字を物理的な住所に紐付ける「デジタルアドレス」システムを開始しました。
ユーザーは、オンラインショッピングサイトでこの7桁のコードを入力すると、住所が自動的に表示されます。
デジタルアドレスは、日本郵政のYu ID会員サービスに登録することで取得でき、住所変更してもコードは変わりません。
What does "Undecidable" mean, anyway • Buttondown
「決定不能」の意味をコンピュータ科学の知識がない人にもわかりやすく解説しています。
チューリングマシンや停止問題などの概念を用いて、決定可能性と非決定可能性について説明しています。
非決定的な問題に直面する際に、私たちがどのように対処しているかについても考察しています。
Compiling a Neural Net to C for a 1,744× speedup - Isaac Clayton
ニューラルネットワークをC言語にコンパイルすることで、Conway's Game of Lifeの処理が1744倍高速化。
活性化関数の代わりに論理ゲートを使用し、学習された論理回路を抽出してC言語にコンパイル。
最適化により不要なゲートを削除し、シングルスレッドのCプログラムで高速化を実現。
Compiler Explorer and the Promise of URLs That Last Forever - Matt Godbolt’s blog
この記事は、Compiler ExplorerのURLがいつまでも有効であるようにするための取り組みについて述べています。
GoogleのURL短縮サービスが終了することで、過去のリンクが失われる危機に瀕しています。
著者は、インターネットを考古学的に調査し、リンクを救済してデータベース化することで、この問題に対処しようとしています。
What Threads Are, Part 2 - by Joshua - Pretty Good Blog
このブログ記事では、NESエミュレータ上でSuper Mario Bros.をマルチスレッド化する試みを紹介しています。
異なるゲームの状態を「スレッド」として扱い、それらを切り替えることで並行処理をシミュレートしています。
Mutexや条件変数などの同期プリミティブをゲーム内の特定エリアに設定し、スレッド間のインタラクションを視覚的に表現しています。
Linear + Claude Code GitHub Actionsを組み合わせてDevinみたいな開発体験を得る
Claude CodeとLinear、GitHub Actionsを組み合わせた開発体験の紹介です。
Linearでタスクを作成すると、Claudeが自動でコードを書いてくれます。
GitHub AppのインストールからLinearとの連携、タスク作成までを解説します。