日刊ダイジェスト · Hacker News
· 63 ハッカーニュース
OpenAIは、SpaceXによるCursor買収を受けて、CursorへのOpenAIモデル提供契約を終了する意向をSpaceXに通知した。終了日は2026年11月12日を予定しており、開発者がCursorを通じてモデルを利用できる期間を最大化するため、契約で定められた最大限の通知期間を取る。理由として、OpenAIはSpaceXが利用規約を遵守する確信が持てないと説明。Elon Musk氏の…
Linuxに完全移行した開発者が、macOSのContinuity機能で唯一恋しかったOTPコードの自動入力などを実現するため、オープンソースのTetherを開発。Bluetooth経由でiPhoneと連携し、iMessage・SMS・通知・連絡先同期に加え、ファイル転送やクリップボード同期もサポート。KDE Connectでは不十分だった点を補い、セキュリティを最優先に設計。GPLの既存プロジ…
Debianプロジェクトは、大規模言語モデル（LLM）などの生成AIツールの利用に関する一般決議投票の結果を発表し、「生成AIの責任ある利用」を選択しました。この決議は、AIツールの使用を全面的に禁止するものではなく、貢献者が生産性を向上させるために利用することを認めつつ、提出されたすべての成果物が品質、正確性、保守性、法的コンプライアンスの基準を満たすことを求めています。また、AI支援による出…
エンジニアリングリーダー向けニュースレターで、AIツールだけに注目が集まる中、真の生産性向上には組織文化が不可欠だと主張。Conwayの法則を引き合いに出し、悪い文化はAI導入の効果を損なうと説明。CEOが他社の10倍生産性報告に焦り、社員を責めることで文化を悪化させる危険性を指摘。AI導入はトップダウンではなくボトムアップで進めるべきで、リーダーは「AIをどう使うか」ではなく「優秀な人が最高の…
90年代のインターネットは、遅くて醜く、不安定で、変人だらけだったが、人間味にあふれていた。現在は、人間の脆弱性を検出し、増幅し、支払いリンクを隣に置く、高度に最適化された機械と化している。詐欺師はもはや被害者を探す必要はなく、プラットフォームが被害者を見つけ、弱点をプロファイリングし、次の詐欺を推奨する。この記事は、グリフト経済の規模と参加型の性質を分析し、暗号通貨を究極の略奪的投資商品として…
トランプ政権の国土安全保障省（DHS）が、関税関連の法律（19 USC 1509）を濫用し、ジャーナリストや非営利団体、労働組合の個人情報を裁判所の承認なしに取得しようとしている。ミネソタ州のジャーナリスト、ジョージア・フォート氏の電話記録6か月分（1万件以上の通話・テキスト）が取得されたほか、YouTubeアカウント情報の提供をGoogleに要求。裁判官が令状を却下した後、DHSは行政召喚状に…
EVE Onlineは、EVE Evolvedイニシアチブの一環として、Python 3への移行を開始した。2003年のローンチ以来、Stackless Python 2.7を使い続けてきたが、Python 2のサポート終了とパフォーマンス向上のため、移行を決断。まずはコードをPython 2.7と3の両方で動作するようにする段階で、95.9%のファイルがすでに両バージョンでコンパイル可能。移行…
Tencentは、新しいAIモデル「Hy4」のプレビュー版を公開し、同時にオープンソースとしてリリースした。Hy4は、テキスト生成やコード生成など、多様なタスクで高い性能を発揮する大規模言語モデル。今回のオープンソース化により、開発者はHy4を自由に利用・改良でき、AIコミュニティの発展に貢献することが期待される。
アイスランドで、2013年に中断されたEU加盟交渉を再開するかどうかを問う国民投票が行われている。最新の世論調査では反対派が51.6%と僅かにリードし、結果は予断を許さない。賛成派は経済的利益を訴え、首相クリストルン・フロスタドッティル氏は「リスクを減らす最大の一歩」と主張。一方、反対派は漁業権と主権の喪失を懸念する。EU加盟は関税同盟とユーロ導入を意味し、交渉は1〜2年で完了する可能性があるが…
グレイシャーマウスは、氷河上で見られるコケの集合体で、複数種のコケから構成され、線虫、トビムシ、クマムシなどの微小生物の生息地にもなっています。アラスカ、チリ、グリーンランド、アイスランド、スバールバル諸島、ウガンダ、ベネズエラ、そして亜南極の島々などで観察されています。特筆すべきは、その動きが非ランダムで群れのような挙動を示すことです。平均して1日約2.5cm移動し、加速計による測定では、氷上…
GrapheneOSプロジェクトは、Pixel 11シリーズへの部分的な移植を1週間の作業で行ったものの、ハードウェアメモリタギング（MTE）のサポートがソフトウェア、ファームウェア、そしてほぼ確実にハードウェアにも欠如しているため、移植を完了できないと発表しました。GrapheneOSは、Googleがコスト削減のために重要なセキュリティ機能を削除した可能性が高いと指摘しています。
- ▲ 300LLMのメモリをプログラム解析に変えた話
脆弱性調査中にLLMが事実を忘れたり、誤った前提で推論を続けたりする問題に直面した著者は、LLMのメモリ管理をデータベースに任せることを思いつく。LLMは自然言語やコードを構造化された事実に変換し、Datalogエンジン「Lemmalog」がその事実から結論を導き、依存関係を追跡して、観察結果が変わったときに自動的に結論を無効化する。このアプローチは、プログラム解析のインクリメンタル評価と似てお…
NASAのNancy Grace Roman Space Telescopeが、2026年8月30日にSpaceX Falcon Heavyロケットでフロリダのケネディ宇宙センターから打ち上げられます。ハッブル宇宙望遠鏡の100倍以上の視野を持ち、ダークエネルギー、系外惑星、赤外線天体物理学の謎に迫ります。また、星の光を遮って系外惑星を直接観測し、天の川銀河内の惑星系の統計調査を行います。
Hot Chips 2026でSamsungが発表したProcessing-in-Memory（PIM）技術。LPDDR5Xチップの各バンクにMACユニットを統合し、外部バスを介さずに内部帯域幅を活用することで、通常のDRAMアクセス（76.8GB/s）と比較して約8倍の614GB/sを実現。標準的なメモリコントローラと互換性を保ちつつ、特殊な行アドレスを用いてPIMモードを切り替える。INT8…
SQLite の JSON サポートと生成列（GENERATED ALWAYS）を組み合わせることで、JSON をそのまま挿入し、データを抽出してインデックス化できる。これにより、軽量な組み込みデータベースでありながら、ドキュメントデータベースのような使い方が可能になる。さらに、NOT NULL 制約や CHECK 制約を活用して JSON の必須フィールドを強制したり、ALTER TABLE…
StemDeckは、ミュージシャンやプロデューサー向けの無料・オープンソースのステム分離ツールです。MP3、WAV、FLACファイルやYouTube URLをドロップするだけで、ボーカル、ドラム、ベース、ギター、ピアノなど最大6つのステムに分離し、DAW風のミキサーで再生・編集・エクスポートできます。すべてローカルで処理されるため、音声が外部に送信されることはなく、アカウント登録やサブスクリプシ…
ノートPCのスピーカーは、高価なモデルでも音がこもりがちです。Linuxデスクトップには高度なオーディオ機能が備わっていますが、その恩恵を受けるのは難しいのが現状です。EasyEffectsは、PipeWireを利用してイコライザーやリミッターなどのエフェクトを適用し、スピーカー音質を大幅に改善できるアプリです。コミュニティ製プリセットを使えば、専門知識がなくても簡単に設定でき、Linuxディス…
TurboKVは、Rustで書かれた非同期組み込みキーバリューストアです。アトミックバッチ、順序付きレンジスキャン、設定可能な永続性、圧縮、バックグラウンドコンパクションを備えています。ベンチマークでは、Durableモードでfjallの最大4.4倍、redbの数百倍のスループットを達成。macOSのF_BARRIERFSYNCによるredbのオーバーヘッドを考慮しても、その性能は際立っています。
MonzoからEngine by Starlingへ移った筆者が、新しい職場で即座に成果を出したいという衝動をどうコントロールするかを綴る。行動への偏りは、文脈を無視すればただのノイズに過ぎない。チェスタトンのフェンスの原則を例に、まずは傾聴とデータ収集で地形を把握し、次にパターンを見出して機会を分類、最後に戦略的に加速するという3段階のアプローチを紹介する。
連邦判事がアリゾナ州による予測市場企業Kalshiの起訴を一時的に差し止めたが、第9巡回区控訴裁判所が別のネバダ州訴訟で、スポーツ賭博は連邦法で保護されないとの判断を示した。これにより、アリゾナ州は差し止めの解除を求め、Kalshiに対する20件の刑事告訴を再開できる可能性が出てきた。判決は、連邦商品取引法の解釈をめぐり、第3巡回区の判断と対立し、最高裁での争いが予想される。
GDPR（EU一般データ保護規則）は、テック業界から常に批判の的だ。しかし、その批判の多くは、データ収集をビジネスモデルとする企業や、規制を「技術の進歩の妨げ」とみなすサイバーリバタリアンによるものだ。本稿は、GDPRが実際には世界的なプライバシー基準の形成に貢献し、EU市民だけでなく、日本を含む他国の個人データ保護にも影響を与えたことを指摘する。また、米国が同様の規制を導入できない理由を、監視…
バーニングマン・フェスティバルの共同創設者の一人が、36年前にサンフランシスコのいたずら好きな一群が砂漠で始めたイベントが、今や無政府主義的な精神を失い、かつての姿とはかけ離れたものになったと語る。1996年以降、フェスティバルを訪れていない創設者は、現在のバーニングマンが「少し悲しい」と述べ、その変貌を嘆く。
米国企業の利益が国民所得に占める割合で戦後最高を記録する一方、労働者への報酬は低迷している。FTの分析によると、企業は価格設定力を行使し、コスト削減を進める一方で、賃金上昇はインフレに追いつかず、労働分配率は低下。この不均衡は、経済成長の恩恵が資本に偏り、家計の購買力を圧迫していることを示す。
シュメール王名表の洪水前の8人の王の治世年数（例：28,800年、36,000年）は、3,600年の倍数が多く、合計241,200年と異常に規則的です。これを過去の気候変動や地質イベントの記録と対応づける仮説がありますが、本稿ではその仮説を統計的に検証しました。固定アンカー（11.6 ka BP）とガウスカーネルスコアを用いた順列検定では、主要な古気候カタログに対してp値0.350（調整後q=0…
Monzoは、AWSで稼働するプライマリプラットフォームが完全に停止した場合でも、顧客がカード支払いや送金などの重要機能を利用し続けられるように、GCP上に独立したバックアップ基盤「Monzo Stand-in」を構築した。このシステムはわずか18のマイクロサービスで構成され、プライマリの約1%のコストで運用可能。データは非同期的に同期され、Stand-inで発生した取引は「Monzo Advi…
Galaxiumは、最新のWebGPU技術を活用した実験的な宇宙探索アプリです。最新のChrome、Edge、Safari (macOS 26以降)、Firefoxを搭載したハードウェアグラフィックス対応のコンピュータで動作し、ブラウザ上で高精細な宇宙空間をリアルタイムに探索できます。WebGPUのパワーを活かした没入感のある体験を提供し、天文学や宇宙に興味がある方に最適です。対応ブラウザでアク…
Defrag98は、Windows 98のディスクデフラグメンタを忠実に再現したブラウザベースのシミュレータです。4つの仮想ドライブ（C〜F、512MB〜2GB）から選び、読み取り、書き込み、最適化済みなどのクラスタがリアルタイムに再配置される様子を、当時のハードディスクの音とともに楽しめます。実際のファイルには一切アクセスせず、オフラインでも動作するインストール可能なWebアプリとして提供され…
Rustの型システムを活用して、状態遷移をコンパイル時に強制する方法を解説。TypestateパターンとNewtypeパターンを組み合わせることで、不正な状態遷移を未然に防ぎ、実行時エラーを減らす設計手法を紹介。具体的なコード例を通じて、関数型状態機械の実装と、その利点（安全性、可読性、保守性の向上）を説明する。
Typebase は、アプリ内の `typebase/` フォルダにデータベーススキーマ、サーバーアクション、認証を定義するだけで、完全に型付けされたバックエンドをデプロイできるツールです。フロントエンドからはローカル関数のように呼び出せます。Next.js、SvelteKit、Nuxt、Expo 向けのクライアントを提供し、Vercel、Cloudflare Workers、Deno Depl…
ポーランドのヴォルシュティン機関庫が運営する、欧州で最後の定期標準軌蒸気機関車旅客列車の2026年時刻表が公開された。平日はヴォルシュティン〜ズボンシンェク間、土曜日はヴォルシュティン〜ポズナン間を運行し、日曜・祝日は運休。8月20日〜28日は点検のためディーゼル機関車が代走する。
Goで書かれたアプリケーションが32ビットARM組み込みLinuxシステムで不定期にクラッシュするという報告を受け、その原因を調査しました。エラーメッセージは「runtime: netpoll: eventfd ready for something unexpected」で、Goのnetpollメカニズムの内部仮定が崩れたことを示していました。調査の結果、32ビットリトルエンディアンシステムで…
イタリアのハッカー集団Autistici/Inventatiが2002年に発表したマニフェスト。商業主義や検閲に対抗し、無料で開かれた通信環境を自前のサーバーで提供するという思想を、結成当時の言葉で綴る。現在も続くプロジェクトの原点であり、デジタル空間における政治性や自己管理の重要性を説く。
Python公式ドキュメントが、list、tuple、dict、set、str、bytes、bytearray、memoryview、rangeといった主要な組み込み型の各操作の時間計算量をBig O記法でまとめています。appendやget itemがO(1)である一方、insertやdeleteは位置によってO(n)になること、dictやsetの操作は平均O(1)だが最悪ケースではO(n)に…
- ▲ 107色を数値化する：色覚の科学と色盲の謎
世界中の何十億ものモニターが同じ色を再現できるのは、色に標準定義があるからだ。しかし、色を言葉で定義するのは限界がある。この記事では、色を物理量として測定する方法を探る。スペクトルパワー分布から始まり、人間の目の錐体細胞と杆体細胞の感度曲線がどのように波長を識別するかを解説。さらに、色盲の原因となる錐体の異常や、色の数値化がもたらす興味深い疑問（色の足し算や掛け算とは？）についても考察する。
vLLM v0.28.0がリリースされた。584コミット、270人のコントリビューター（うち76人は新規）による大規模アップデートで、Kimi-K3向けの大規模最適化（Decode Context Parallel、FlashKDAカーネル、適応的投機的トークン予算など）とDeepSeek V4のエンドツーエンド対応（sparse MLA、AMD Quark NVFP4、ROCmサポート）が目玉…
ケンタッキー州の警察官Asad Zahirが、Flock Safetyのナンバープレート読み取りカメラシステムを悪用し、元交際相手を2,000回以上追跡したとして逮捕された。Flock Safetyが導入したAI監査ツールが異常な使用を検知し、逮捕に至った。Zahirは保護命令が出ている間も241回検索を行っており、公式には麻薬捜査と偽っていた。この事件は、Flockシステムの悪用が相次ぐ中で起…
自動ナンバープレート認識カメラを全米の警察に販売するFlock SafetyのCEO、Garrett Langley氏が、プライバシー懸念を「間違ったことに優先順位を置いている」とFox Newsで発言した動画がXで拡散。その後、ユーザーらが同氏の自宅住所とされる情報を投稿し、Xの削除対応をかいくぐって再投稿が繰り返される事態に。EFFはFlockのプライバシー対策を「断片的で自主的、かつ可逆的…
3DプリンターのEnder 3をペンプロッターに改造し、InkscapeとSimple Inkscape Scriptingを使って生成アートを描く実験記録。磁石でペンを固定するハードウェア改造から、Hersheyフォントの活用、Pythonスクリプトによる抽象的なフローシェイプの生成まで、手軽に始められる方法を紹介している。
LLMはグリーンフィールドでは威力を発揮するが、レガシーコードベースでは、モデルが既存の概念の別綴りを発明したり、不適切なアダプタを書いたりして、品質が急落する。著者はその原因を「コード自体が質問に答えられないこと」とし、戦略的作業（意思決定）と戦術的作業（実装）を分離し、後者をAIエージェントに委譲する方法を紹介。DDDのユビキタス言語と境界づけられたコンテキストを基盤に、`.workflow…
SLEEPWALKERは、ESET Management Agentの実行ファイルにDLLサイドローディングされる受動的バックドアです。外部への接続を一切行わず、メモリ上で待機し、特定の細工されたネットワークパケット（マジックパケット）を受信したときだけ起動します。このパケットには、読み取り可能なコマンドではなく、バックドア独自の設計による23の命令からなるバイトコードプログラムが含まれています…
現代社会への不満は、しばしば「単純な生活」への郷愁として現れる。しかし、その背後にあるのは、巨大化した制度やルールに縛られず、自分の好奇心や野心に従って生きたいという願望だ。著者は、狩猟採集民の生活を理想とする「RETVRN」の動きを考察し、過去を再現するのではなく、宇宙時代のツールを使って、より個人的で自律的な生活を再構築することを提唱する。ルールを不可避の悪として扱い、パーソナライズを機能と…
FFXIVのエーテライトクリスタルのASMR動画を6年間リピート再生していた著者が、YouTubeのループ機能の不具合やシームレスでない再生に悩み、ついにゲーム内アセットを抽出してWeb Audio APIで自作のアンビエントプレイヤーを構築した話。XIVLauncherとSoundFilterプラグインを使って対象のサウンドアセットを特定し、ヒムとホワーをランダムに再生する仕組みをJavaSc…
Kumander Linuxは、Windows 7にインスパイアされた直感的なインターフェースを備え、WindowsユーザーがLinuxへスムーズに移行できるよう設計されたディストリビューションです。デフォルトブラウザとしてGoogle Chromeを採用し、Steamで人気ゲームの約80%が動作、LibreOfficeやKdenlive、Ardour 7などのアプリケーションがプリインストール…
GCCのネスト関数は通常、実行可能スタック上にトランポリンを生成して呼び出しを実現しますが、セキュリティ上の懸念があります。この記事では、トランポリンからコードアドレスと静的チェーンを抽出し、`__builtin_call_with_static_chain`を使って直接呼び出すことで、実行可能スタックを回避する手法を紹介します。また、トランポリンを関数ディスクリプタとして解釈する別のアイデアも…
Zipファイルが破損して開けないとき、どうすればいいのでしょうか。この記事では、破損したZipファイルを復元するための実践的なテクニックを紹介します。CRCエラーやヘッダー破損など、よくある問題の原因を解説し、ファイル修復ツールや手動での修復方法をステップバイステップで説明します。データ復旧の専門知識がなくても試せる方法から、より高度な修復テクニックまで、状況に応じた最適なアプローチを学べます。
金融市場ではAIバブルが叫ばれる一方、オープンソースコミュニティではAI生成コードの受け入れを巡り激しい議論が起きている。120のオープンソースプロジェクトのAIポリシーを調査した結果、37プロジェクトがAI全面禁止を選択。Linuxカーネルは帰属を条件に許可する一方、GCCやZigなどはAI支援の貢献を拒否している。DebianでもAI全面禁止の提案が投票にかけられている。シニア開発者は、AI…
NASAは8月30日、Nancy Grace Roman宇宙望遠鏡を打ち上げる。この43億ドルのプロジェクトは、ダークエネルギーの謎を解明し、遠い恒星の周りの惑星を大量に発見することが期待されている。元々は偵察衛星として設計されたが、NASAに譲渡され、宇宙観測用に改造された。Romanはハッブルと同等の感度を持ちながら、広い空を高速で観測でき、天の川銀河の星を1か月で調査できる（ハッブルでは約…
ソフトウェアエンジニアの著者が、LLMの普及によって「作る喜び」と「賢さ（savvy）」を失いつつあると訴える。プロンプトを書いて出力を評価するだけの作業に退屈し、試行錯誤から学ぶプロセスが消えていく。LLMが技術的負債を生む可能性にも言及しつつ、それでも使い続ける矛盾を正直に綴る。
コロラド州フロントレンジの都市は、暑い夏、寒い冬、少雨、アルカリ性土壌など「過酷な」環境にあり、気候変動でさらに悪化が予想される。この記事では、樹木の多様性を高め、干ばつや暑さに強い樹種を選ぶ重要性を強調。フォートコリンズのナーセリーで働くスコット・スコグボーイ氏、元市林務官のティム・ブキャナン氏、デンバー植物園のパナヨティ・ケライディス氏、レジス大学樹木園のソニア・ジョン氏の4人の専門家が、カ…
Warpは、AI搭載ターミナルおよびエージェント開発環境で、Claude Platform上に自己改善するエージェントを構築しました。コードレビューエージェントのフィードバックがセッション終了時に失われる問題を解決するため、Agent Skillsベースのフレームワークを開発。基本スキルと改善スキルの2つを組み合わせ、人間のフィードバックを基にスキルを自動更新します。この仕組みにより、エージェン…
ChuwiのUnibookは、Intelの新チップ「Wildcat Lake」を搭載し、449ドルという低価格でMacBook Neoに対抗する格安ノートPCだ。しかし、その実態は「安物買いの銭失い」そのもの。キーボードはまずまずだが、トラックパッドは最悪で、画面の色域はsRGBの59%しかカバーせず、宣伝されていた100%は別モデルの話だった。さらに、ドライバのサポートページは壊れ、プリインス…
MySQLのバージョンアップグレード後、レプリカ上の特定テーブルでAUTO_INCREMENT列のIDがソースと異なる順序で割り当てられる問題が発生。5つの関連テーブルは正しく新しいIDを参照したが、1つのテーブルだけが古いIDを参照し、データの不整合を引き起こした。原因はbinlog_formatがMIXEDで、一部のUPDATE文がROW形式でログされ、レプリカで直接行変更が適用されたため。…
2026年8月12日から適用が始まったEUの包装・包装廃棄物規則（PPWR）が、小規模な卓上RPGデザイナーや出版社に大きな負担を強いている。登録料や国ごとに異なるEPR（拡大生産者責任）費用、複雑なラベル表示要件など、対応には膨大なリソースが必要だ。Black ArmadaやGenesis of Legend Publishingなど複数の企業は、EU諸国への出荷を一時停止。中にはEU市場から…
英国王室の広報戦略の重要性は数世紀前に遡る。ジョージ2世の妻キャロライン王妃は、ドイツ出身のハノーヴァー朝を英国に定着させるため、リッチモンド宮殿の庭に「マーリンの洞窟」を建設。アーサー王伝説を利用して王朝の正統性と英国のアイデンティティを強化しようとした。この一見奇妙な試みは、家族内の対立や政治的危機の中で、国民に安定と帰属意識を与えるための巧みな戦略だった。
UCLAのRePLチームが開発中の新しいクエリ言語Prelaは、SQLとは異なるシンプルなアイデアに基づいています。本チュートリアルでは、PythonでPrelaの玩具版を実装しながら、その核心原理を解説します。二項関係と関係合成、そして`&`演算子による結合と`.where`による制限を組み合わせることで、SQLで20行以上かかる複雑なクエリを簡潔に表現できます。さらに、CTEをPythonの…
2022年、ニューヨークのUSO事務所に、第二次世界大戦中の兵士ルイス・“スピーディ”・ウェーバーが妻フランシスに宛てた300通以上の手紙が入った段ボール箱が匿名で届けられた。差出人も夫婦のその後の消息も不明だったが、アマチュア系図学者の調査により、存命中の甥と姪が見つかり、夫妻の写真や思い出が明らかになった。手紙には「あなたはいつも私の心の中に」といった署名や、戦場の情景、夫婦の愛情あふれる言…
Vim の autocmd には、ユーザーが同じキーを42回押すと発動するという「UserGettingBored」というイベントがドキュメントに記載されている。しかし、実際にはこのイベントは存在せず、使おうとするとエラーになる。2000年に Bram Moolenaar によって追加され、2013年に現在の説明に変更された。2022年には、このジョークに触発された非公式プラグインが登場し、実際…
2026年8月20日、ApteraはLaunch Designと4,400万ドルの提携を発表し、初の太陽光電気自動車の設計・製造を委託します。この契約により、LaunchはApteraの初期投資家となり、Apteraは量産設備とボリュームディスカウントへのアクセスを得ます。また、LaunchはApteraのワラントを取得することで、同社の成功へのインセンティブを持ちます。この提携は、Carlsb…
「e」はChez Schemeで書かれた、完全にカスタマイズ可能な自己認識型のEmacs風エディタです。Emacsの精神を受け継ぎつつも、クローンではありません。エディタ全体がSchemeシステムであり、コアは不変のAPIを持つR6RSライブラリとして公開され、拡張モジュールはその上に構築されます。M-xでエディタのライブトップレベルに対してSchemeを評価でき、モジュールはホットリロードに対…
日本の神社が湖の氷の状態を583年間にわたって記録してきました。これは占いの一種として行われ、気候変動研究に貴重なデータを提供しています。この記録は、氷の張り方や割れ方からその年の豊凶を占う伝統的な方法で、現代の科学者たちもこの長期的なデータを気候変動の指標として利用しています。
KmartのデジカメにCマウントレンズを取り付ける改造の第2弾。今回はeBayで20ドルで購入したスーパー8映写機用レンズを装着するため、アダプターを再設計。32mm径の特殊なねじ山に合わせ、3Dプリントした部品を調整して取り付けに成功したが、無限遠にピントが合わない問題が発生。センサーをレンズに近づける必要があるが、既に筐体に密着しており、紙のシムでは改善が見られなかった。センサーを物理的に移…
量子スピードアップの主張の多くは、紙の上にしか存在しないオラクルに依存しています。この12週間のコースでは、問題選択からオラクル構築、ゲートごとの実装、可逆設計、ガベージコレクション、測定による消去、呼び出し規約、証明運搬回路まで、実用的な量子回路をゼロから作る技術を教えます。さらに、量子回路の価格設定、テスト、評価方法も扱い、量子コンピューティングの主張を検証するためのテーブルトップテストを提…
Flyway Community Edition には有料版の Teams にしかない `undo` コマンドがありません。しかし、この記事では Python スクリプトを使って、マイグレーションの逆操作を新しいバージョン番号のマイグレーションとして適用し、`flyway_schema_history` テーブルを書き換えることで、無料版でもロールバックを実現する方法を紹介します。バッチ管理、ト…