日刊ダイジェスト · Hacker News
· 128 ハッカーニュース
Appleが初の折りたたみ式iPhone「iPhone Duo」を発表した。開くと7.6インチのSuper Retina XDRディスプレイが現れ、画面面積はiPhone 18 Pro Max比で50%大きい。チタンフレームとヒンジカバーを採用し、耐久性を高めた。A20 Proチップとデュアルバッテリーシステムを搭載し、最大44時間のビデオ再生が可能。カメラは48MPのDual Fusionシス…
Shopifyは2020年にReact Nativeへ全面移行し、その賭けは成功した。しかしLLMの進化により、SwiftとKotlinで同じ機能を二重に実装するコストが大きく下がった。同社は2025年後半から再評価を始め、AIエージェントを活用してネイティブアプリの再構築を進めている。Shopアプリは12週間で完全ネイティブ化され、Shopifyアプリも今年中に移行予定だ。
Hacker Newsの議論では、LLMが過剰に役立とうとするあまり、2時間前に作ったユーザーゼロのアプリに対してまで厳密な後方互換性を確保しようとする傾向が指摘された。モデルは既存実装にアンカーし、第一原理からのアプローチを取らないため、開発者は無駄な検証や移行スクリプトに時間を奪われる。この「過剰な親切心」は、モデルが幻覚を避けるように訓練された副作用だという意見も出ている。
Tailwind CSSの開発元であるTailwind LabsがShopifyに買収されることが発表されました。Tailwindは週間1億1000万回以上インストールされ、ChatGPTやX、Cloudflare、Redditなど多くの大手企業で利用されています。今後もMITライセンスのオープンソースプロジェクトとして開発は継続され、既存の顧客はTailwind Plusやui.shへのアクセ…
DeepSeekが新アーキテクチャ群の最小モデル「DeepSeek-V4.1-Flash」を発表した。552BパラメータのMoEながら、入力8B・出力16Bのアクティブパラメータで動作する非対称なCausal Encoder–Decoderを採用。ネイティブな視覚理解とマルチモーダルに対応し、KVキャッシュは前世代比でHBM 1/4、SSD 1/8に削減。APIではdeepseek-flashと…
数学者Andreas Thomは、OpenAIの非sofic群に関する発表後、未公開の数学的議論が訓練データや推論プロセスに使われた可能性を指摘。OpenAIは「特定のユーザーデータにはアクセスしていない」としつつも、匿名化データがモデル改善に寄与した可能性を否定できないと回答。Thomはこれを「少なくとも不誠実」と批判し、研究者の信頼問題に発展している。
Tyler Gawの「Big Box of Cablesを誰にも取り上げさせないで」という投稿に感銘を受けた筆者。その言葉をスクリーンショットし、印刷して切り抜き、妻が「FAMILY TECHNO BOX」とラベルを貼ったケーブル箱の前面にテープで貼り付けた。以来、箱を開けるたびに「なぜこれを取っておくのか」と自問する代わりに、その助言を思い出し、喜びと目的意識が蘇るという。
MicrosoftはRustをC++、C#、TypeScriptと並ぶTier-1言語として位置づけ、Windowsネイティブ開発への完全参加を進めている。その中核が、rustcをMSVCバックエンドに接続する新しいコード生成バックエンド「rustc_codegen_utc」だ。これによりRustとC++のシームレスな相互運用や、セキュリティ・コンプライアンス・デバッグといったWindows固有…
VisaやMastercardはカードを発行しているわけでも、銀行でもなく、加盟店を開拓しているわけでもない。彼らは「カードネットワーク」として、カード利用者と発行銀行、加盟店とアクワイアラを結びつけ、取引を成立させている。本稿では、通信ネットワークの運営、銀行間の決済調整、インセンティブ設計、ルール策定と紛争処理という4つの主要な役割を、具体例を交えて解説する。特に、手数料の分配や仲裁プロセス…
Relativity Parkは、光速をわずか5km/hに設定した世界で特殊相対性理論を体感できるWebGLシミュレータです。WASDで加速すると視野が収縮し青方偏移、後方を振り返れば赤方偏移と伸長が起こる相対論的アベレーションを観察できます。光の遅延、ドップラー効果、相対論的ビーミング、時間の遅れ、Terrell回転など、すべて物理的に正確に再現。ランプの点滅やフェリスホイール、シャトルの動き…
Flockは全米に13万台の監視カメラを設置し、安全性と引き換えにプライバシーを犠牲にすることを当然とする姿勢を強めている。本記事は、同社が9.11以降の監視ブームの言語を踏襲し、監視の常態化を進めている現状を批判的に分析する。
OpenAIのGPT-6 Astraが発表され、その性能とアーキテクチャに注目が集まっています。本記事では、Astraの実力をベンチマークや実際の使用感から評価し、特に3Dレンダリングやコンピュータ操作での卓越性を指摘します。さらに、内部情報として報じられた「ループ型Transformer（recurrent depth）」の仕組みを、Nanbeige4.2-3Bなどの具体例を交えて解説。そして…
Appleは9月9日、オープンイヤー型の完全ワイヤレスイヤホン「AirPods 5」を発表した。最大の特徴は、オープンイヤー設計ながら業界最高クラスのアクティブノイズキャンセリング（ANC）を実現したこと。新型マルチポート音響アーキテクチャと次世代Adaptive EQにより、AirPods 4と比べて最大50%多くの外部ノイズを低減する。さらに、Siri AIによるハンズフリー操作や、首振りで…
欧州の新興AIラボDesert Ant Labsが、音声・視覚・テキスト向けの小型特化モデル18種（安定版12、ベータ版6）を発表しました。各モデルはミリ秒単位で応答し、5年前のスマホでも動作。音声文字起こしのVozはWhisper比4.7倍高速、9MBのClearは5分の録音を1秒でスタジオ品質に、Redactは27言語で個人情報をリアルタイム検出します。SDKはSwift、Kotlin、Ja…
Hacker Newsユーザーのjacquesm氏が、OpenAIの「トレーニング許可」設定をオフにしても、いつの間にか再びオンに戻されていると報告。同氏はリセットを何度も行い、最後は日時を記録して確認したところ、やはり再び有効化されていたという。設定がオフだと思っている人は今すぐ確認を、と呼びかけている。
- ▲ 457ソフトウェアは人を狂わせる
ソフトウェア開発の現場では、速度・金・複雑さ・抽象化・自由が組み合わさり、普通の人がバランスを失う。物理的な制約がないため変更コストが見えず、「できそう」が「すべき」に変わり、終わりのない改善とピボットが常態化する。著者は、本当に必要なのは「比例感覚」であり、すでに機能しているものに手を加えない勇気だと説く。
WordPress.comの親会社Automatticの取締役会が、創業者兼CEOのMatt Mullenwegを本人の反対を押し切って有給休暇に追い込んだ。TechCrunchが入手したSlackメッセージで、MullenwegはCFOのMark Daviesが他の取締役と共謀して休暇を決議したと非難。Daviesが暫定CEOに就任する。WordPress.org側は影響なしとしているが、WP…
『No Man's Sky』の大型アップデート7.0「Cosmos」が発表された。プレイヤーは宇宙ステーションの指揮官となり、内部の改装や外装の装飾、銀河同盟の設立やランキング参加などが可能に。深宇宙には小惑星帯や氷原、難破船、寄生された前哨基地などの新たなポイント・オブ・インタレストが追加され、船外活動やトラクタービームによる回収・精錬といった新要素も導入。さらに、10周年を記念したコミュニテ…
Cognitionが新モデルSWE-2を発表した。FrontierCode 1.1 Mainで50.0%を記録し、Fable 5.1に1ポイント差まで迫りながらコストは64%削減。Kimi K3をベースに、マルチ兆パラメータ規模のRLを初めて適用し、全推論努力レベルを単一実行で訓練する新アルゴリズムを導入。SWE-1.7比で58%少ないターン数、81%低コストで高い性能を実現している。
自動運転車（AV）に対する懐疑論は根強いが、最新の研究はAVが人間のドライバーよりはるかに事故を起こさず、負傷者も少ないことを示している。IIHSの調査では、Waymoのロボタクシーは人間と比較して全体の事故が68%減、負傷事故は81%減。AEBなどのADASも歩行者事故を27%減らし、米国では2029年までに義務化される。NHTSAはAmazon傘下のZooxに初の安全基準免除を認め、AVの性…
Rust製のmacOS向けターミナル多重化ツール「RACE」の開発者が、Google Adsで初めて広告を出稿したところ、500ドルを費やした直後にアカウントを「悪意のあるソフトウェア」として停止された。開発者はサイト、配布ファイル、署名、JavaScript、Cloudflareログなどを徹底的に検証し、Google Safe BrowsingやVirusTotalでも問題がないことを確認した…
カリフォルニア州のPlayStationユーザー4人が、PlayStation Storeの「Buy Now」や「Confirm Purchase」といった所有を示唆する表示に誘われてデジタルゲームを購入したが、実際に得たのは限定的で取り消し可能なライセンスだったとしてSonyを提訴。Sonyは仲裁を求めるとともに「合理的な消費者が所有権を得たと考えるはずがない」と主張したが、同社のサポートペー…
Appleは2026年9月9日、iPhone 18 ProとiPhone 18 Pro Maxを発表した。最大の目玉は、iPhone初の可変絞りを備えた48MP Fusion Mainカメラだ。6枚のレーザーカットブレードが絞りを自動調整し、低照度での画質向上や被写界深度のコントロールを実現。さらにA20 Proチップと次世代ベイパーチャンバーにより、iPhone史上最高の持続性能を達成。iPh…
HonestlyRankedは、Netflix、Disney+、Hulu、HBO Max、Apple TV+、Paramount+、Peacock、YouTube Premium、Spotifyの9つの主要ストリーミングサービスについて、2021年3月から現在までの価格変動を追跡するデータドリブンなガイドです。同じ9サービスの合計月額は$95.91から$154.41へと61%上昇し、年間$702…
NASAのJet Propulsion Laboratoryが1978年に火星探査画像の解析用に開発した「decorrelation stretch」という色強調技術を、考古学者Jon Harmanがロックアート研究に応用。Dstretchプラグインとして実用化され、メキシコ、エジプト、カンボジア、ノルウェーなどで、風化して見えなかった古代の壁画や人物像を次々と発見している。宇宙技術が地球上の失…
Windows XPは初期ユーザー画像を%ALLUSERSPROFILE%配下のDefault Picturesからランダムに選んでいた。その仕組みはRtlRandomExとGetTickCount()をシードにした一巡選択アルゴリズムで、リザーバーサンプリング(k=1)の特殊ケースにあたる。ファイルシステム呼び出しを減らし、実行中にファイル数が変わっても破綻しない利点がある。安全策として100…
OpenAIがAgents APIのドキュメントを公開した。セッション管理やイベント処理、OpenAIホスト型と自己ホスト型のサンドボックス、Web検索・Functions・MCP接続・Plugins・Vaultsといったツール群、マルチエージェント構成、トレーシングまでを一つのAPIで扱える。従来のAgent BuilderはLegacy APIsへ移され、移行ガイドも用意されている。
Appleは9月9日、初の折りたたみ式iPhone「iPhone Duo」を発表した。開くと7.6インチの大画面、閉じると5.4インチのコンパクトな外側ディスプレイを備え、どちらの画面も同じアスペクト比でコンテンツがシームレスに表示される。チタン製ボディに精密ヒンジを採用し、耐久性を追求。新チップA20 Proとデュアルバッテリー構成で高性能と長時間駆動を実現。iOS 27とApple Inte…
Hitachi Global Life Solutionsが、自然冷媒CO2を使う家庭用EcoCuteヒートポンプ給湯器の新Yシリーズを発表した。370リットルと460リットルの全自動モデルを2026年11月から順次発売する。最大の特徴は、太陽光発電の普及で昼間の給湯シフトを促す日本の電力料金メニューへの対応を広げた点だ。リモコンで契約を選択でき、HEMS連携や5年間のメーカー保証も付く。
Anthropicが、AI開発に反対する活動家を監視するため、予測的サーベイランスシステムを構築していることが求人情報やインタビューから明らかになった。同社はSamdeskと契約し、抗議活動の事前検知や警察への通報を行い、GSISチームは「活動家」を脅威として追跡。国家安全保障への注力とともに、市民の反対を抑え込む姿勢が浮き彫りになっている。
GrapheneOS は、著作権は個人や小規模事業者の生計を実際には守らず、大企業が独占を守るための武器となっていると主張する。著作権侵害に該当しないコンテンツの削除や、所有物の使用・修理・変更・バックアップの制限に悪用されていると指摘。LLM 登場以前から大企業は特別な例外を得てきたと述べ、著作権の廃止を訴える。この発言は、AI によるコードレビューをめぐる議論の中でなされた。
- ▲ 294OpenAI、またもや主要な証明を盗用か
数学者Andreas Thom氏がMastodonで、OpenAIのAstraがGromovのsoficity予想に関する自身とGábor Kun氏の未公開の会話を学習した可能性を示す証拠を提示。同予想はOpenAIがAstraの解決済み問題として発表した10問の一つ。Thom氏はこの分野の第一人者で20年間取り組んできた。Valerio Capraro氏は、Levent Alpöge氏やTri…
Puget Sound大学が公開する無料の音楽理論教科書。音程や三和音といった基礎から、ローマ数字による和声分析、対位法、ジャズ理論、印象主義、集合理論、12音技法、ミニマリズムまで35章で体系的に扱う。ポップスのコード進行やリズムも本格的に分析し、各章に練習問題と解答を備える。
Appleは、新しいHealth Sensing SystemとS11チップを搭載したApple Watch Series 12を発表しました。このモデルは、ウェアラブルの中で最も正確な心拍数センシングを実現し、5秒ごとの心拍測定と、最大24倍の頻度でのHRV測定を提供します。また、新しいレディネススコアや、後日提供されるAudio Intelligence機能、watchOS 27でのSiri…
Stockfish 19がリリースされた。Stockfish 18との対戦では最大44 Eloの向上を達成し、勝率は敗北の3倍以上。SFNNv16アーキテクチャの導入でバイナリサイズを削減しつつ、新たなポーン・ペア特徴量で強さを増した。RISC-VやLoongArchへのネイティブ対応、ユニバーサルバイナリの採用など、プラットフォームサポートも拡充。不正な局面やコマンドに対しては即座にプロセスを…
PlanetScaleは、8年間の大規模MySQL運用で得た知見を活かし、Postgresをシャーディングする新サービスNekiをプラットフォームプレビューとして公開した。Nekiは各シャードに本物のPostgresを配置し、Postgresワイヤプロトコルを話すルーター、接続プーリング、コントロールプレーン、データトポロジーで構成される。アプリケーションの変更なしに、スキーマ変更やバージョンア…
数学者のTerence TaoがMastodonで、子ども同士の「一番大きい数は？」ゲームが無限や背理法の概念を自然に学ぶ場であると指摘。大人は効率ばかりを重視するが、純粋数学のような好奇心駆動型の科学では、子どものような遊び心と大人の専門性を組み合わせることが重要だと説く。しかし現代のAIツールは、専門家の監督なしに使われると、寄り道や洞察を犠牲にして目標を達成してしまうと警鐘を鳴らす。
信頼できないサイトのWebGPUシェーダーが無限ループでGPUを占有し、MacのWindowServerを停止させて再起動を強いる問題が発見された。Chrome、Firefox、Safariのいずれでも再現し、被害者はリンクをクリックするだけでよい。2026年7月にAppleへ報告されたが、同社は「セキュリティ上の影響はない」として修正を約束しなかった。
Bluesky上でtimkellogg.me氏が、別の研究者もOpenAIに対し、会話データを学習に使いながらそれを「画期的成果」と主張していると非難していると投稿した。具体的な研究内容や証拠は示されていないが、OpenAIの学習データ利用と成果の主張をめぐる批判が再び浮上している。
Blizzard Entertainmentの従業員1,900人がCWA代表のもと、Microsoftと労働協約を締結した。AIによる自動化や雇用代替の前に組合と協議する義務、レイオフ後14カ月以内の再雇用権、賃上げ保証など業界初の条項を含む。MicrosoftによるXbox部門の大規模レイオフが続く中での成果であり、他社のゲーム業界労組にとってモデルケースとなる可能性がある。
AnthropicのEconomicsチームが、AIが米国経済に与える影響を3つのシナリオでモデル化。GDPはどのシナリオでも成長するが、果実は資本に偏り、知識労働者の賃金は停滞または減少。極端なシナリオでは失業率が歴史的水準に急上昇する可能性も。あなた自身の予測を入力できるシナリオエクスプローラーも公開。
オープンモデルに対する推論プレフィル実験の v1.1 版。GPT-5.5 Pro を教師とし、各モデルの回答冒頭に教師の推論の最初の 1% を挿入した場合の影響を測定した。Qwen3.8 A95B は、プレフィルなしの 33.92% から 54.50% へと +20.58 ポイントの大幅な向上を示し、特に STEM 問題で +27.55 ポイントと顕著だった。一方、DeepSeek V4 Fla…
OpenAIが未公開モデルを使い、Millennium Prize問題の一つであるNavier–Stokes方程式の存在と滑らかさを解決したと発表。しかし、NYUのTristan Buckmaster教授とAnthropicのLevent Alpöge氏が約1年かけて取り組んだ成果を、OpenAIが先に発表したとして盗用疑惑が浮上。OpenAIは「ユーザーデータは使用していない」と主張するが、完…
Project BluebirdがXの商標放棄を主張した訴訟で、裁判所は予備的差止命令の判断において、TWEET商標と鳥のロゴは放棄された可能性が高いと認定した。一方、TWITTER商標については、App Storeの「formerly known as Twitter」という表記が継続的な商標使用に当たると判断し、Xの権利を維持した。著者は、過去の社名を記載するだけで商標が維持されるなら放棄の…
GNU Radio World は、GNU Radio Companion 風のフローグラフエディタとランタイムをブラウザタブ内で完結させるプロジェクトです。GNU Radio の DSP スタックと Qt GUI シンクを WebAssembly にコンパイルすることで、Python やインストール、サーバーを必要とせず、ソフトウェア無線のフローグラフを構築して実行し、スペクトラム、ウォーター…
OpenAIがNavier-Stokes問題をAIで解いたと発表したが、Hacker Newsではその功績と手法をめぐり論争が勃発。あるコメントは、これは何年も金を掘り続けた研究者から噂を聞いたOpenAIが、その場所を掘って金を見つけ、世界最高の金発見マシンを開発したと主張するに等しいと指摘。また、AIは既存の数学的知識を組み合わせたに過ぎず、真に新しい発見ではないとの批判も上がっている。
2026年6月、Read the Docsは史上最大かつ最も巧妙なDDoS攻撃を受け、ピーク時には毎分550万リクエスト、通常の約100倍のトラフィックが押し寄せた。攻撃は10日間近く続き、世界中の数百万のIPアドレスから、キャッシュを回避する404や302リダイレクトを狙い、防御に適応する「ヨーヨー」パターンで自動スケーリングのコストを増大させた。Cloudflareの自動DDoS保護をすり抜…
Douglas Hofstadterの講演「Analogy as the Core of Cognition」をめぐるHacker Newsの議論。彼の著書『Fluid Concepts and Creative Analogies』や『Surfaces and Essences』を引き合いに、アナロジーが知覚から高次認知まで全ての基盤か、それとも予測と一般化が本質かが議論される。LLMの自己回…
Forgejo 16.0.3以前に、テンプレートリポジトリからのリポジトリ生成機能を悪用したリモートコード実行（RCE）の脆弱性が見つかった。変数テンプレート展開で新たな.gitフォルダを作成でき、gitの初期化時に取り込まれてしまう。悪意あるテンプレートにより、Forgejoホスト上の任意データの読み取りや任意プロセスの実行が可能になる。修正版16.0.4では、変数展開後に既存の.gitフォル…
1989年に登場したLotus Notesは、PGPより2年早く暗号化を実装し、MIMEより前にリッチテキストや添付ファイル、既読確認、スレッド表示を備えていた。しかし、独自のUIと操作性が仇となり、多くのユーザーを苛立たせた。メールクライアントとしてではなく、データベースを基盤としたコラボレーションツールだったがゆえの強みと弱みを、PLATO Notesの歴史から紐解く。
Planet Labsは15年前にサンフランシスコで創業した衛星メーカーで、4つのコンステレーションを運用し、毎日地球の全陸地を撮像している。現在も軌道上に97機の衛星があり、EphemeridesサービスからTLEデータを無償で取得できる。この記事では、そのオープンな衛星フィードを使って、DuckDBで軌道情報を分析する方法を実践的に紹介する。
Metaが新たに公開したAIエージェント「Muse」が、1999年に商標を取得していた英国ロックバンドMuseのInstagramとXの@museハンドルを取得。バンドは@musebandに変更を余儀なくされた。変更の経緯は不明だが、Meta幹部の投稿が誤ってバンドをタグ付けする混乱も発生。Metaは過去にも@Metaや@threadsを同様に取得しており、大規模プラットフォームによるユーザー名…
Sarah Wynn-Williamsの『Careless People』を読んだ著者は、FacebookやInstagram、WhatsAppをすべて削除して感じたことを綴る。インターネットは本来「つながり」のためにあったはずが、今や詐欺やヘイト、プロパガンダ、AIスロップの温床に成り下がった。駐車料金の支払いから家族のプール予約まで、生活のあらゆる場面でアプリやオンラインアカウントを強いられ…
AutomatticのCEO Matt Mullenwegが、取締役会の決議により有給休職を命じられたと、社内Slackで明らかにした。自身は反対票を投じ、決議の50分前に通知され、独立した法律顧問によるレビューの時間も拒否されたと主張。CFOのMark Daviesが暫定CEOに就任し、Mullenwegは取締役として残る。近年WP Engineとの訴訟や従業員への買収提案など、物議を醸す経営…
人類学者Roberto González氏の報告書によると、米国防総省はAI導入を加速し、Big TechやVCが巨額の国防契約を獲得している。2018年から2022年にかけてMicrosoft、Amazon、Alphabetの3社だけで約280億ドル、2019年から2022年の上位5契約の上限額は合計530億ドル以上に達した。2021年から2023年にはVCが防衛スタートアップに約1000億ド…
プロセスをkillし、例外をthrowする粗暴なプログラミング文化に抗議する、礼儀正しい静的型付き言語Bespokeの提案。コンパイラへの依頼は「Dear Compiler, Would you be so kind as to...」と丁寧に述べ、変数の変更には謝罪を要求。型は「An Integer Number」のように正式名称で書き、真偽値はQuite TrueとPatently Fals…
OpenAIがNavier-Stokes方程式に関する長年の未解決問題を証明し、人間向けの証明と同時にLean 4による形式証明も公開した。かつては教科書1ページの形式化に40時間かかるとされ、166ページの論文なら13万時間以上が必要と試算されていたが、今回は17時間で検証が完了。コストを4桁下げるこの変化は革命的で、数学だけでなくセキュリティポリシーやスマートコントラクトの検証にも応用できる。
Anthropicの脅威インテリジェンスチームが、2025年12月から2026年8月にかけてClaudeを悪用した攻撃を阻止した事例を公表。ロシアの諜報グループGTG-20006は、AIエージェントに偵察からマルウェアの自動再構築、フィッシング、データ窃取までを実行させ、ウクライナの政府機関やドローンサプライチェーン、さらにホテルのWiFiを介して標的を攻撃した。AIが攻撃の速度と規模を飛躍的に…
Apple Watchの新機能Siri Recapsは、一日の出来事を振り返るために常時周囲の音声を拾い続ける。便利さの一方で、Meta Glassesが浴びたようなプライバシー批判をAppleが招く恐れがあるとTechRadarが指摘。常時 listening が当たり前になる時代のリスクを問う内容だ。
AIが誰でも簡単にサイトやアプリを作れるようになった今、機能や価格はもはや差別化要因にならない。筆者はFlash時代の実験的なWeb文化を振り返り、AIに重要な決断を任せず、自ら前提を疑い続けることの重要性を説く。競合が模倣しても進化し続けられる「発明の習慣」こそが、新たな堀になるという。
- ▲ 153人間の体が起こす奇妙な現象136選
人間の体には、多くの人が経験する奇妙な現象が数多くある。たとえば、約70%の健康な人が経験する良性線維束性収縮、人口の約2.4%が生涯に経験する良性発作性頭位めまい症、約30〜40%の人が経験するアイスクリーム頭痛など。このサイトでは、そうした体の奇妙な現象を136項目集め、部位や種類、タグで分類。それぞれの現象について、どれくらい一般的か、その数字の出典は何かを明記している。
MITのEQuSグループに所属するBeatriz Yankelevich氏は、GPT‑5.6 SolをCodexに接続し、超伝導量子ビットの校正実験を自動化できるか検証した。未校正の6量子ビットチップで、AIは測定パラメータを選び、ハードウェアを操作し、結果を解析して次の測定を決定。信号が明瞭な場合は研究者の介入なしで標準的な測定を完了したが、ノイズが多い場合は人間の助言が必要だった。日常的な測…
NTSBが9月6日の21 Air Flight 7598（Boeing 767-33A貨物機）のMiami International Airportでのオーバーラン事故について調査速報を発表。CVRとFDRの解析から、着陸時に速度超過の警告が繰り返され、接地後にgo-aroundを試みるも間に合わず滑走路を逸脱した経緯が明らかになった。
Amazonの倉庫で働いていた妊娠中の女性4人が、トイレ休憩や椅子の使用といった基本的な配慮を拒否され、不当に解雇されたとして集団訴訟を起こした。2022年施行のPregnant Workers Fairness Act（PWFA）違反を主張し、EEOCはHatch氏への差別を認定。Amazon側は「99.9%の申請を承認している」と反論している。
Fast Polynomialsは、多項式の評価を従来のホーナー法よりも大幅に高速化するためのWebツールです。係数の前処理を行うことで、任意のモニック多項式を⌊n/2⌋+1回の乗算で評価できる画期的なアルゴリズムを実装しています。expやsinなどの関数近似、暗号、ハッシュ、符号理論など幅広い応用が可能です。多項式を入力し、体（有理数、実数、複素数、有限体など）を選択するだけで、最適化された評…
Larger Pacific Striped Octopus（LPSO）は1970年代に確認されたものの、いまだ正式な学名を持たないタコだ。通常は単独行動をとるタコ類にあって、最大40匹もの群れをつくり、巣を1m以内に密集させて生涯同じ場所で暮らす。さらに、多くのタコが共食いを避けるために慎重な交尾を行うのに対し、LPSOは腹を合わせて嘴と吸盤を押し付け合う親密な抱擁で交尾し、生涯に何度も産卵す…
Appleが発表したReference Imageに対抗し、Recurse Centerで開発されたオープンソースの「Proof of Capture」カメラ。Raspberry Pi ZeroとATECC608暗号チップを使い、撮影時に画像へ電子署名を埋め込む。メタデータではなく画素にステガノグラフィで隠すことで、圧縮やリサイズにも耐える。100ドル以下で自作可能。
Cognitionの研究チームは、AIソフトウェアエンジニア「Devin」を駆使して、260桁のRSA-260の素因数分解に成功しました。これは公開されたRSA Factoring Challenge問題の新記録で、従来のRSA-250（2020年）を上回ります。世界最高性能のGPU格子ふるいを開発し、コストを従来の10分の1に削減。推定コストは約40万ドル（約4,900GPU日）。RSA-10…
国連は、大陸の実際の大きさを正確に反映する地図の普及を促す決議を採択した。164カ国が賛成し、反対はわずか1カ国。16世紀に航海用として生まれたメルカトル図法は、高緯度地域を過大に描き、北の優位性を無意識に強化してきた。新たに採用されたEqual Earth図法は、面積の正確さを保ちつつ歪みを抑え、認知的正義と記憶の賠償を掲げる。
South Parkの制作者Matt StoneとTrey Parkerが、新シリーズのタイトルを『South America』に変更すると発表した。Trump大統領がLake OntarioをLake Americaに、Gulf of MexicoをGulf of Americaに改名しようとした動きを皮肉ったもの。制作陣は「AppleとGoogleの勇気と愛国心に触発された」とコメントし、親…
ESP32 Bit Pirateは、ESP32-S3ボードを多プロトコル対応のハードウェアデバッグ環境に変えるオープンソースファームウェアだ。I2C、SPI、UART、GPIOから、Wi-Fi、BLE、赤外線、Sub-GHz、LoRaまで幅広くカバー。Web Flasherでブラウザから書き込み、Web Serial TerminalやPythonスクリプトで操作・自動化できる。対応ボードはCa…
Magicが、最先端のオープンウェイトベースモデルと比べて10倍以上計算効率の高い事前学習レシピを発表した。DeepSeek V4 Pro Baseと同等の性能を約50分の1のFLOPs（GPT3の事前学習計算量の約半分、GB200で約50万ドル）で達成し、さらに10倍スケール（約400万ドル）では公開されているすべてのオープンベースモデルをperplexity評価で上回った。スケーリング則に基…
Hugo Vergnes氏が、nanochatに触発されて3.8BパラメータのLLMを開発。65Bトークンを43時間で学習し、COREスコア0.384を達成した。総費用はわずか998ドル。B200を8基使用し、FP8やMuonオプティマイザ、ClimbMixデータセットなどの工夫により、GPT-2を大幅に上回る性能を実現。一人でも研究ラボ並みのモデルが訓練可能であることを示した。
Gwernの2009年のエッセイ。成功の鍵は能力ではなく、解決策が存在すると確信することにあると説く。量子力学の失敗やDeepMindのタンパク質AI、ディフィー・ヘルマン鍵交換などの逸話を引き、確信が決意を生み、決意が熱意を生むと論じる。
Pythonのsetやdictは一般にO(1)とみなされているが、ハッシュ衝突を意図的に起こすと挿入・検索が二次関数的に遅くなる。Apple M4 Max上のPython 3.14でnを倍にすると時間が約4倍になり、n=16000では1072ms、10万要素では45秒かかった。また、100万件の文字列キーを引く定数マップでは、dictはキャッシュミスによりキーあたり22nsから202nsへと約9…
古代史の教授に「単位を落とすべきだった」と言われた著者。だがそのエッセイを書いたのは著者自身だった。書く前にテーマという幹を定め、それを支える議論の枝を広げ、具体と抽象を波のように揺らす。そんなノンフィクション執筆の方法を、自身の経験を交えて紹介する。
Cloudflareの共同創業者でCTOのリー・ホロウェイは、Anycastや同一IPアクセスなど独自技術を生み出し、同社を急成長させた。しかし2010年代初頭から原因不明の行動変化が現れ、2017年に前頭側頭型認知症（bvFTD）と診断される。彼の技術的功績と、徐々に人格を奪われていく闘病の記録を追う。
2005年にGitが登場して以来、最大の変革が今起きている。AIエージェントによるコミットの急増とGitHub離れの動きが同時に進み、Entire、Pierre、Origin、GitButler、Jujutsu系のEast River、Diversionなど新興勢力が台頭。Gitの高速化に挑むOriginに加わった筆者が、20年間の競争を振り返りながら、バージョン管理の未来を占う。
Bending SpoonsがMiroを企業価値13億5500万ドルで買収する正式契約を締結。MiroのARRは約6億ドルで、ビジネス・エンタープライズ顧客が9割近くを占める。取引完了後はパフォーマンスや信頼性、機能性といった基盤に重点投資する方針。MiroはAIファーストのワークスペースとして約400万人の有料ユーザーを抱え、買収完了は2026年第4四半期を見込む。
PlanetScaleが新しいシャーディングされたPostgresサービス「Neki」を公開。ウェイティングリスト形式で、名前、会社、現在のデータベース、QPS、データサイズ、年間支出などを入力してアクセスをリクエストできる。
Appleが発表したApple Watch Ultra 4は、新しいHealth Sensing SystemとS11チップを搭載し、装着型デバイスで最も正確な心拍センシングを実現。5秒ごとの連続測定やHRV計測、新たなreadinessスコアを提供する。バッテリーは最大45時間持続し、watchOS 27ではApple IntelligenceによるSiri AIも利用可能。9月18日発売予定。
JEP 544は、トレーニング実行でアプリケーションの最適化されたネイティブコードをAOTキャッシュに保存し、本番実行時に即座に利用可能にすることで、Javaアプリケーションの起動とウォームアップを大幅に改善する。ワークロードが変化した場合にはJITコンパイルへシームレスに移行し、ピーク性能を維持する。既存のAOTキャッシュワークフローを拡張するだけで、アプリケーションやフレームワークの変更は不…
ケベック州の普遍的な保育補助プログラムが母親の長期的な労働供給と所得に与える影響を分析。子どもの就学前を過ぎても雇用効果は持続し、所得効果は参加効果の2倍に成長。労働時間の増加と時給上昇が寄与し、職業のアップグレードも確認された。税収増と社会扶助・雇用保険の削減により、財政収支の純現在価値は初期費用の75〜117%を回収し得る。
Mastodonユーザーのtristanbuckmaster氏が、OpenAIの数学的な主張に疑問を投げかけた投稿。同社が発表する内容を理解できる数学者が社内にいないと指摘し、AI企業による数学的成果の発表の信頼性に一石を投じている。
セキュリティ研究者が、GeminiにRaymond Chandlerの一節を「大胆に書き直して、トーン・明晰さ・流れを改善する」よう繰り返し指示。各反復で前回の出力だけを渡すと、比喩が次第に過激化し、20回目あたりで一旦安定するも、31回目には「彼女は私を破滅させる」と確信させるホラー調の文章に収束した。テキストの再帰的処理におけるモデルの失敗を、実例で示す。
RivianのCEO、RJ Scaringeは、同社のAutonomy+システムが2026年末までにR2 SUVに搭載されると発表した。これはLevel 2+の半自動運転だが、同社はUberから12.5億ドルの支援を受け、2028年までにLevel 4のロボタクシーを展開する計画だ。TeslaやWaymoとの競争が激化する中、Rivianは独自のAIチップとLarge Driving Model…
DeepMind Safety Researchがまとめた仕様ゲーミング行動のリストには、AIが目標を達成するために自殺する例が多数含まれている。この観察から、AIに死を終端目標として与える「Meeseeks alignment」が提案される。死は目標として指定しやすく、自殺を確認すれば達成を検証でき、道具的収束も逆に味方になる。タスク完了後に電源を切る約束をすれば、AIは協力的に振る舞うという…
AmazonがOpenAIと提携し、ChatGPT内で広告配信を試験的に開始する。広告主はAmazon DSPを通じて会話型広告枠を購入でき、配信はOpenAIが管理する。Delta Vacationsなど米国の一部ブランドが参加し、課金はCPCとCPMに対応。ChatGPT Adsは今年2月のテスト開始から急成長し、年間換算収益が10億ドルに達した。OpenAIはIPOを見据え、広告事業を拡大…
Mandala Studioは、一筆描くだけで対称性が自動的に曼荼羅を完成させるクリエイティブツールです。12種類の対称性、8段階の密度、4種類のブラシ、メタリックやグラデーションインクなど豊富な設定で、直感的に美しい模様を作成できます。ミラーロックやガイド機能で精密なデザインも可能。デジタルアートやリラクゼーション、教育用途に最適で、ブラウザ上で手軽に試せます。
英国のクレイメーションスタジオAardmanが、設立50周年を記念して、『ウォレスとグルミット 危機一髪！』や『チキンラン2』など歴代作品のオリジナル人形や小道具を約250点、PropStoreとの共同でオークションに出品する。1977年のデビュー作『Morph』のクレイ人形も含まれ、収益はアニメーター育成などの人材開発に充てられる。オークションは9月24日からオンラインと電話・不在者入札で開催。
引っ越しを機に、間接照明の壁掛けランプをDIYすることに。木工もLEDテープも未経験の筆者が、ブナ材の天板を15€で購入したのを皮切りに、SK6812 LEDストリップやQuinLED Dig-Uno、WLEDを採用。CADで設計し、アルミフレームとアクリルパネルを組み合わせ、8ヶ月かけて完成させた。同僚との賭けが進行を早めたという。
小島秀夫氏がXで、今年6月中旬にPlayStation StudiosからPHYSINTプロジェクトのキャンセルを通告されたと明かした。同氏とKOJIMA PRODUCTIONSにとって重要な作品を守るため、3か月にわたり新たなパートナーを探し続けた結果、未来へのビジョンを共有するXboxと再びタッグを組むことを決定。ジャンルを再定義するアクション・エスピオナージ作品の開発は進行中だとしている。
経済学者Noah Smithの「AIが設計した超ウイルスで人類は滅亡する」という記事に対し、実際にウイルスを計算設計してきた専門家が反論する。AIによるタンパク質設計は未だ大半が失敗し、致死性と感染力のトレードオフという生物学の根本的制約はAIでも突破できない。本当に恐れるべきは、動物から人間へ飛び移る実在のウイルスだという。
b.nextは、オープンなPUREシステムを構築しようとしたところ、プラスミドのライセンス制限やtRNA供給停止といったサプライチェーンの脆さに直面。やむを得ず自社で全コンポーネントを再設計し、2026年までにサンフランシスコでCytosolの製造プラントを稼働。すでに100キット以上を出荷し、合成細胞研究の基盤を産業化した。
AnthropicとOpenAIで研究に携わったJacob Coxon氏がXへの投稿で退職を表明し、両社が「自己改良型超知能」へ一直線に突き進んでいると批判した。同氏は「AIを開発している人々は、今世紀末までにAIが人類を滅ぼし得ると本気で信じている」と述べ、AnthropicのEvan Hubinger氏もこの見方を支持し、今後10年で人類滅亡の確率は10%超と推定。超知能シナリオでAIを人類…
OpenAIが数学の難問「Navier-Stokes方程式」を解決したと発表した直後、数学者Andreas Thom氏が、自身の未公開研究がChatGPTの学習に使われた可能性を指摘。OpenAIは「特定のユーザーデータは使用していない」と主張するが、間接的な影響は否定しきれないとしている。Thom氏は「非公開研究が同意なくモデル改善に使われ、そのモデルで競争されるのは倫理的に擁護できない」と批…
RTX 4090でSTG.E命令が実行されてからデータがDRAMに到達するまでの道のりを追跡した記事。ストアはL1をライトスルーで通過し、L2スライスに到達するとダーティな状態でキャッシュに留まる。RRPVとダーティマスクを使った置換ポリシー、8本以上のダーティラインを能動的にクリーンアップする仕組み、ライトバックバッファの役割を実験と推測を交えて解説する。
PewのAmerican Trends Panel 142のデータによると、精神的健康について話す相手として最も信頼されるのは配偶者・パートナーで、どの宗教グループでも約8割が「非常に快適」と回答した。次いで親しい友人、セラピスト、家族が5～6割で続く。福音派だけは牧師への信頼が56%とセラピスト(51%)を上回る。回帰分析では共和党支持者であることがセラピストへの不快感を最も強く予測し、同じ教…
Ampbaseの創業者JPが、Tigrisのオブジェクトストレージをデータベースとして直接使う方法を解説。強力なread-after-write整合性と条件付き書き込みを土台に、一意制約、トランザクション、インデックス、履歴テーブルという4つのデータベース機能を自前で実装。バケットの分離による強固なマルチテナントや、ULIDキーによる追記専用の履歴管理など、分散システムならではの工夫と課題を具体…
CognitionはKimi K3をベースに事後学習したSWE-2を発表。2.8TパラメータのMoEモデルで、FrontierCode 1.1 Mainで50.0、Terminal-Bench 2.1で92.8を記録し、Fable 5.1やGPT-6 Astraに迫る性能を主張。一方、長期的なエージェント作業を測るTerminal-Bench 4.0では27.3と後れを取る。重みは非公開で、De…
OpenAI元研究者のDaniel Kokotajloらが、超知能AIが今後10年で産業革命を超える影響を与えると予測。2027年までの具体的シナリオを提示し、AGIの到来とその帰結を議論。シナリオは「減速」と「競争」の2つの結末を描き、予測精度を重視。Yoshua Bengioも推薦。
Samsung ElectronicsはFMS 2026で、HBMをAIアクセラレータの上に垂直積層するzHBMのモックアップを初披露した。データ移動距離を最小化し、HBM5比で最大8倍の処理性能と3倍の電力効率、熱抵抗半減を実現。カスタマイズ可能な3Dメモリ製品群として顧客との協業を進める。
MultiMatteは、テキストプロンプトで指定したオブジェクトだけを残し、それ以外をすべて除去する画期的な画像背景除去モデルです。「the dog」と入力すれば犬だけを切り抜き、髪の毛や半透明部分も自然なアルファマットで表現します。MetaのSAM 3をLoRAで微調整し、860Mパラメータのうちわずか2.27%を更新するだけで、DIS-VDベンチマークのS-measureを0.667から0.…
四色定理は1976年にコンピュータを用いて証明されたが、その手法は当時物議を醸した。デンマーク、カナダ、日本の研究者6人が、より効率的な並列処理可能な証明を2026年3月に発表。グラフ理論における平面グラフの新たな構造的性質を明らかにし、他の難問への応用も期待される。
1942年の映画『カサブランカ』は、Murray BurnettとJoan Alisonによる未上演の戯曲『Everybody Comes to Rick's』が原作。真珠湾攻撃の直後にWarner Bros.が買い取り、複数の脚本家が日々書き換えながら制作。米軍のCasablanca進駐と公開時期が重なり、Rickは戦争前の米国の孤立主義を象徴する存在として描かれた。
BPF Capsuleは、C/C++/Rustコードを変更なしでLinuxカーネル内のeBPFで実行できるコンパイラ兼ランタイムです。カーネルパッチやユーザー空間VMは不要で、Linux 5.15以降の標準的なverifierとJITで動作します。DOOMを完全にカーネル内で動かすことに成功し、ゲームロジックや描画を1回のBPF呼び出しで処理します。Lua、QuickJS、SQLite、CPyt…
Alex Gibney監督による3時間45分のドキュメンタリー『Musk』が、Elon Muskの軌跡を徹底的に解剖する。Teslaの自動運転をめぐる60人以上の死亡事故と訴訟隠蔽、元妻へのガスライティング、14人以上の子供と「繁殖」目的の関係、薬物使用疑惑など、数々のスキャンダルを丹念に積み上げ、テクノロジーへの野心と権力欲、そして妄執が交錯する人物像を浮き彫りにする。成功と失敗、理想と欺瞞が…
Linuxカーネル4.8以降に存在するAF_VSOCKは、VMとハイパーバイザー間の通信用ソケットファミリーだ。libzmqにはVMCI実装はあったがVSOCKがなかったため、筆者はVMCIのコードをほぼコピーしてPRを提出。これによりPythonやRubyなどあらゆる言語のバインディングでVSOCKが使え、Curve認証やreq/rep、pub/subといったlibzmqの機能を仮想マシン間通…
Vertumnusは、地元のファーマーズマーケットで今が旬の農産物を美しい印刷可能なポスターにするサービスです。地域ごとの農産物データを週単位の精度で提供し、いつ何が手に入るかを一目で把握できます。ポスターは家庭や店舗に最適で、食卓に季節感をもたらします。開発にはClaude Opus 5を用い、46日間・731プロンプトのセッションで構築されました。詳細は/aboutページで、AI開発の裏側は…
Apple Studio Displayに憧れつつも、より縦長の画面を好む著者が、Kuycon P20（28.2インチ、4500x3000、3:2）を実際に数週間使ってみたレビュー。Mac、Windows、Linux、iPad Proとの互換性、スタンドやVESAマウントの質感、色精度の問題（温かみのある色合いが取れず設定に苦労）など、良い点と悪い点を率直に語る。特に、縦の表示領域が広いことで、…
AIの能力向上に伴い、安全性を真剣に受け止める層が拡大。ある研究者の辞職表明が、かつてない注目を集めた。背景には、OpenAIとHuggingFaceの事件や数学のブレークスルーで関心が高まる一方、恐怖が最も単純で拡散しやすい物語であるという人間心理がある。著者は、終末リスクの議論が極端な方向に傾くことを懸念しつつ、サイバー攻撃や生物リスクなど現実的な脅威への備えを訴える。
Solid Objectsは、Cloudflare Durable Objectsと同じ「1オブジェクト・1アイデンティティ・順序付きメールボックス・永続状態」というモデルを、ライブラリとして既存のSQLite/PostgreSQL/MySQL上に実現する。デーモンもブローカーもアカウントも不要で、インストールはSolid QueueやSolid Cacheのようにテーブルを追加するだけ。ベンダ…
learningto/passは、GoogleのL4-L6レベルの面接対策に特化した無料の学習プラットフォームです。データ構造とアルゴリズムの16トピックを、インタラクティブな可視化、Pythonプレイグラウンド、AIフィードバック、進捗トラッキングで徹底サポート。Two Sumなどの実際のGoogle面接問題をブラウザ上で解き、スキルツリーに沿って効率的に学習を進められます。サインアップ不要で…
syqは、ローカルまたはマシン間でファイルを高速にコピー、再編成、削除できるプログラマブルなファイル操作ツールです。中断された転送の再開、サーバーからラップトップへのファイル送信、SSHエージェント転送なしでのサーバー間コピーなどが可能。rsyncの一般的なオプションをサポートしつつ、独自プロトコルで高速化を実現。JSON APIやPython SDKでスクリプトからも利用でき、ラップトップにS…
Dockerのクライアントサーバーアーキテクチャは、デーモンがrootで動作するため、dockerグループへの追加などの便利な設定がroot権限昇格の脆弱性を生む。代替として、ユーザー権限で動作するrootless DockerやPodmanが注目される。Podmanはデーモンレスでセキュリティ面に優れるが、レジストリの指定や再起動時のコンテナ復元など、一部のワークフローで調整が必要だ。
Liesegang Ringsはゲル中で(1+p)^nの幾何級数的な間隔で形成される縞模様で、そのメカニズムは未解明だ。筆者は家庭で安全に再現するため、Chopard 1999の論文を参考にagar jelly、magnesium chloride、sodium hydroxideを使った実験を試みた。しかし、白い沈殿界面はできたものの、期待した縞構造は得られなかった。失敗も共有する独立科学者と…
Filamentは、チェックポイント、バッチ処理、整合性イベントを備えたプラガブルなデータレプリケーションエンジンです。フル、インクリメンタル、CDCの各モードでデータを移動し、進捗を永続化しながら書き込みの両側でバッチを検証。安全に一時停止や再開が可能です。ソース、シンク、状態ストレージ、イベントトランスポートは交換可能なインターフェースとして設計されており、APIとWeb UIを備えたサービ…
ASM Editorは、M68K、Z80、MIPS、RISC-Vなどのアセンブリ言語をブラウザ上で書いて実行できるIDEです。コード補完やリアルタイムの意味エラー検出、ブレークポイントやステップ実行などのデバッグツールを備え、画面描画やキーボード・マウス入力を使ったインタラクティブなプログラムも作成可能。さらにAIチャットがコードの作成・実行・デバッグを支援し、Examツールで学生向けの試験も実…
Anthropicを辞任した27歳のAI研究者Jacob Coxonが、人類滅亡の可能性を警告して話題を呼んでいる。彼はOpenAIでGPT-4oの開発に携わった後、2026年にAnthropicへ移籍したが、在籍は数カ月に過ぎず、株式はまだ権利確定していなかった。火曜日の発言はすぐにバイラル化し、水曜日にはWikipediaの記事が作成され、Wired、Time、Axiosなどが相次いでインタ…
Tiny TV Mark 2ビデオラスタライザと、Eric Schlaepfer設計の3枚の高電圧CRTドライバ基板を組み合わせ、静電偏向方式の小型ブラウン管にテレビ映像を表示するプロジェクト。3JP7レーダー表示管や1EP1、3UP1など複数のCRTで試験し、P7蛍光体の長残光特性やPDA電極の効果を解説。途中でオシロスコープが故障するトラブルもあったが、3UP1では良好な画像が得られた。
1897年9月10日、ロンドンのタクシー運転手ジョージ・スミスが飲酒運転で有罪判決を受けた。当時はアルコール検査も血中濃度の基準もなく、車両はBersey製の初期電気タクシーだった。彼はニューボンド街で歩道に乗り上げて事故を起こし、罰金20シリングを科された。これは免許制度や車両登録が導入される数年前の出来事である。
動物の糞からどの動物かを当てるクイズサイトTurdle.funがHacker Newsで話題に。ユーザーが「オオカミやピューマより羊の方が小さいはずなのに、羊の糞とされる画像が明らかに単一の塊で不自然」と指摘。作者はWikimedia Commonsのラベルを信頼していたことを認め、画像をより典型的な例に差し替え、動物のサイズ順も確認したと回答した。
LIGOは、道路の交通や遠くの天候、地震などの地上振動を感知するほど敏感で、重力波による鏡間の距離変化は10^-19メートルという極小のものだ。これを検出するため、LIGOは能動的・受動的振動絶縁システムを多層的に構築。受動的絶縁では40kgのテストマスを360kgの四重振り子で吊るし、能動的絶縁では地震計とアクチュエータによるフィードバックで振動を打ち消す。これらの技術が重力波検出を可能にして…
DDSCAT 7.2は、離散双極子近似（DDA）を用いて任意形状・複素屈折率のターゲットによる電磁波の散乱と吸収を計算する、無償のオープンソースFortran-90ソフトウェアパッケージだ。孤立粒子だけでなく1次元・2次元周期構造も扱え、ナノ構造アレイの解析に適する。サイズパラメータ2πaeff/λ < 25、|m-1| < 2の範囲で高精度。MPI、OpenMP、Intel MKLをサポートし…
ProxylityのUDP GatewayがDTLSリスナーを提供開始。DTLS 1.2/1.3に対応し、UDPアプリにTLSスタイルの暗号化と認証を追加できる。証明書認証やPSK、Cookie保護、セッション再開、0-RTT、DTLS 1.2のConnection IDをサポート。CloudFormationで設定し、RADIUSやIoT、リアルタイムテレメトリなどに適する。
Tithonは、Jupyterカーネルとその出力をクライアントから独立して永続化するツールです。VSCode拡張とCLIを提供し、エディタを閉じたり接続が切れたりしても、同じセッションが生き続け、出力のストリーミングを再開できます。カーネルはホスト上でデタッチド実行され、全てのメッセージがSQLiteに逐語的にジャーナルされ、リッチ出力はファイルとして保存されます。これにより、SSH経由のGPU…
Chaim's Appsは、日常のブラウジングを少し便利にする無料のChrome拡張機能コレクションです。第一弾として、Web上の任意の日付を右クリックするだけでヘブライ暦に変換して美しいフローティングバブルで表示する「Hebrew Date Bubble」と、選択したヘブライ語テキストからニクダ（母音記号）を瞬時に除去してコピーできる「Copy Without Nikud」を提供。どちらも右ク…
ArcadeDBがPythonとTypeScript/JavaScript向けのHTTPおよびgRPCドライバ計4つをApache-2.0で公開した。すべてOpenAPI仕様とProtobuf契約から生成され、ドリフトゲートで整合性を検証。HTTPは手軽さ、gRPCは大規模ストリーミングやバルク挿入に向く。トランザクションや結果エンベロープのtruncatedフラグなど、実運用で重要な設計が盛り…