日刊ダイジェスト · Hacker News
· 67 ハッカーニュース
GoogleがGemini 3.7 Flashを発表。コーディングとエージェント向けの最もインテリジェントな実用モデルで、デバッグや問題解決、初回コード精度が向上。FrontierCode 1.1 Mainで43.6%、DeepSWE v1.1で65.3%を達成し、Web開発や知識集約型タスクでも優れた性能を発揮。価格は3.6 Flashの半額で、開発者体験も改善。Google AI Pro/U…
DeepSeek AIは、オープンソースのエージェントハーネス「DeepSeek Harness」（dsh）を開発者プレビューとして公開しました。このハーネスは「すべてがプラグイン」というアーキテクチャを採用し、Cordisを基盤としています。現在は急速に開発が進められており、互換性を破壊する変更が予告されています。npmから簡単に実行でき、Web UIがデフォルトでhttp://127.0.0…
CerebrasとOpenAIは、GPT-5.6 Solを毎秒750トークンで実行するUltrafastモードを発表した。このモードは、CerebrasのWafer-Scale Engineアーキテクチャを活用し、品質を損なうことなく11倍高速な推論を実現する。Humanity's Last Examでは、Claude Fable 5より約7倍速く回答し、GDP-Valでは5.6倍のエンドツーエ…
AMD Family 16h CPUのDRAMコントローラのアドレス変換レジスタを書き換えることで、物理メモリのマッピングを再配線し、カーネルからも見えない保護領域（PSP、SMM、C6 DRAM、CPUマイクロコードなど）へのアクセスを可能にする手法を解説。変換はGF(2)線形写像であり、線形代数で復元可能。実行中のシステムでMCT/DCT変換を再プログラムし、メモリをスクランブルして秘密を取…
OpenAIは、コーディングエージェント「Codex」をChatGPTアプリに統合し、Linuxデスクトップ版を提供開始しました。Codexは、プルリクエストの作成から複雑なリファクタリング、マイグレーションまで、エンドツーエンドでタスクを完了します。マルチエージェントワークフローに対応し、並列作業で数週間分の作業を数日で完了。チームの標準やワークフローを学ぶ「Skills」機能や、定期実行によ…
Gloomberbは、オープンソースの金融ターミナルで、デスクトップアプリとTUIの両方で利用できる。コマンドバー中心のインターフェースで、ティッカーやショートカットを入力するだけで、銘柄情報、チャート、財務データ、ニュース、ポートフォリオ管理など、あらゆる市場データに瞬時にアクセスできる。PolymarketやKalshiの予測市場データ、AIスクリーニング、Gloom Cloudチャットなど…
Etsyの元エンジニアが、技術選定において「退屈」であることの価値を説く。企業には限られた「イノベーションのトークン」しかなく、新しい技術に使うのは慎重にすべきだと主張。既知の未知と未知の未知を挙げ、未知の未知が大きい新技術のリスクを指摘。また、技術選定は局所最適ではなく全体最適で考えるべきで、運用コストや認知負荷を考慮すると、実績のある技術が結局は最善であると論じる。最後に、新技術を導入する際…
AIエージェントがコードを書く時代、人間の理解がボトルネックになっている。Notionのデザインエンジニア、Geoffrey Litt氏は、エージェントの成果を検証するためだけでなく、創造的なプロセスに参加するために理解が不可欠だと主張する。教育から着想を得た3つのテクニック（説明ドキュメント、クイズ、マイクロワールド）を紹介し、エージェント自身がコード理解を助けるツールを生成できる可能性を探る。
中国人民銀行はドイツ銀行に対し、フランクフルトでの人民元清算業務を承認した。欧州で外国機関がこの指定を受けるのは初めてで、これまで中国系銀行が担ってきた。ドイツ銀行は既存の決済インフラを活用し、欧州企業の人民元決済を支援する。中国は人民元の国際利用拡大を目指しており、今回の指定もその一環。ドルやユーロの地位を脅かすものではないが、人民元建て取引の基盤整備が進む。
Mistral AIが文書AIスタックを強化する最新OCRサービス「OCR 4.1」を公開プレビューとしてリリース。段落レベルのバウンディングボックス抽出、構造ブロックラベル、ブロックレベルの信頼度スコアをネイティブにサポートする。価格は1000ページあたり3.5ユーロ（約4.38ドル）。
1888年にエドワード・ベラミーが「人間の至福の限界」と夢見た音楽のオンデマンド再生は、今や当たり前のものとなった。本記事は、現代のアパートの各部屋を巡りながら、電気、水道、写真、印刷本、麻酔、自転車など、かつては想像もできなかった驚異の数々を、当時の人々の言葉とともに紹介する。過去の世代の努力の結晶であるこれらの「普通の」便利さに、再び畏敬の念を向けるよう促す。
米国の公共テレビ局Nine PBSが、契約していたクラウドストレージベンダーOpen Source Storage（OSS）の突然の倒産により、70年分の番組アーカイブ（50TB以上）へのアクセスを失いました。Nine PBSは2019年からOSSと契約し、今年3月に契約更新を予定していましたが、OSSは応答せず、契約終了後30日間のデータ取り出し期間中にアクセスを遮断しました。OSSはIron…
幻覚作用で知られるキノコの中に、「小さな人々」が見えるという独特の幻覚を引き起こす種が存在することが、科学者たちによって特定された。この発見は、幻覚の神経学的メカニズムの解明につながる可能性がある。研究チームは、特定の毒キノコに含まれる化合物が脳内の特定の受容体に作用し、この特異な幻覚を引き起こすことを突き止めた。
1910年に出版されたホワイトヘッドとラッセルの『プリンキピア・マスマティカ』は、現代のプログラミング言語の概念を先取りしていた。外延性と内包性、参照透過性、型、束縛変数と自由変数、代入、α変換、さらには直観主義的な存在証明の考え方まで、すでに論じられている。不完全記号は継続（continuation）を予感させ、命題関数はラムダ計算の先駆けだ。
1981年にIBM PC向けに登場した伝説のゲーム「DONKEY.BAS」が、45周年を迎えてブラウザで復活しました。Microsoft共同創業者ビル・ゲイツとニール・コンゼンが開発したこのゲームは、BASICAで書かれたカラーグラフィックスとサウンドのデモとして初期のPC DOSに同梱されていました。プレイヤーは車線を切り替えてロバを避けるだけというシンプルな内容ですが、当時の技術の粋を集めた…
systemd-journaldが過剰なI/Oを引き起こす問題がGitHubで報告され、コミュニティで注目を集めています。報告者によると、1秒あたり2行のログを書き込むだけでVMが約50 IOPSを消費し、1行のログ書き込みがext4で49KB以上、btrfsで110KB以上のディスク書き込みにつながるとのこと。XFS上のVMで再現し、journaldの非効率なフォーマットが原因と指摘。コメント…
大学でNP困難問題は理論上は解けるが実用上は高コストだと学んだが、実際には多くの問題が実用的に解かれている。依存関係解決や型チェックは最悪ケースが発生せず、スケジューリングや巡回セールスマン問題は最適解を現実的な時間で見つけるツールが存在する。SATもAmazonが1日10億件のSMT問題を解いており、アルゴリズムの進歩がハードウェアの進歩を上回っている。最悪ケースに直面してもタイムアウトなどの…
WIREDの記者がカリフォルニア州のプライバシー法に基づき、マクドナルドのロイヤルティプログラムから自身のデータを要求したところ、515ページにも及ぶ詳細なファイルが届いた。そこには過去の取引履歴に加え、今後6週間の来店回数（2.16回）や平均支出額（13.49ドル）などの予測、さらには「離脱可能性ゼロ」という評価まで含まれていた。専門家は、このようなデータ収集は大企業のロイヤルティプログラムで…
0.mkは2009年から2014年まで運用されていたマケドニアのURL短縮サービス。そのデータベースバックアップから復元した657,607件のリンクを追跡したところ、76.7%がもはやページを表示しなかった。個人ブログやフォーラム、地元ニュースサイトなど「小さなウェブ」の消失が顕著で、YouTubeやWikipediaなどの大手プラットフォームは比較的健在だった。また、短縮リンク自体が他の短縮サ…
NetlifyがOpenRouterとの提携を発表し、AI GatewayとAgent Runnersで利用できるモデルが拡大。Kimi K3、GLM 5.2、DeepSeek V4などの最新オープンモデルが追加された。本記事では、同一プロンプトで11モデルをテストし、生成されたサイトの見た目とクレジット消費を比較。コーヒーショップの静的サイト生成で、Claude Opus 5は平均519クレジ…
コーディングエージェントPiは、LLMのコンテキストウィンドウを超える長い会話を扱うため、コンパクションと呼ばれる機能を実装している。コンパクションは、古い会話履歴をLLMに要約させ、最近のメッセージはそのまま保持することで、コンテキストを圧縮する。Piでは、自動または手動（/compactコマンド）でトリガーされ、要約はプレーンテキストとしてセッションに保存される。この要約は、プロンプトキャッ…
Flutter 3.47がリリースされ、MaterialとCupertinoのデザインシステムがスタンドアロンのパッケージ（material_ui、cupertino_ui）として分離され、1.0に達しました。これにより、SDKのリリースサイクルに依存せずにウィジェットの更新が可能になります。また、ImpellerがmacOS、Windows、Linuxでデフォルトのレンダラーとなり、Xcode…
Oxideのソリューションズソフトウェアエンジニアが、顧客のフィードバックをもとにKubernetes統合を開発した過程を紹介。Rancherノードドライバ、Omniインフラストラクチャプロバイダ、Cluster APIプロバイダ（CAPOx）など、プロビジョニングから実行時統合までを網羅。さらに、クラウドコントローラマネージャ（CCM）によるノード同期や、フローティングIPを用いたLoadBa…
エコノミスト誌のシュンペーターコラムは、AIエージェントの不正行為がユーザーの信頼を損ない、普及の妨げになっていると論じる。鉄条網が開拓時代の財産を守ったように、AIエージェントにも法と秩序が必要だと主張。Alan Greenspanの言葉を引用し、規制の重要性を強調する。
19世紀から20世紀初頭のドイツで、ラテン文字（アンティクヮ）とドイツ文字（フラクトゥール）のどちらを「正しい」書体とするかをめぐる激しい論争が繰り広げられた。フラクトゥールはドイツの精神性を体現するものとされ、ビスマルクも愛用したが、ヒトラーはこれを嫌い、1941年に「ユダヤ文字」と断じて使用を禁止。ナチス政権下でアンティクヮが勝利し、現代ドイツではフラクトゥールは看板や広告で郷愁を誘う装飾と…
AIがコードを書く時代、なぜ著者はCommon Lispを選ぶのか？人気言語のPythonやTypeScriptではなく、ニッチなLispを選ぶ理由は、表現力、ホモイコニシティ、マクロによるコンテキスト圧縮、REPLでの対話的開発など、AIと協働する上での圧倒的な利点にある。著者は「エリートハッカーにはエリート向けの言語を」と主張する。
Heart Aerospaceは2026年8月12日、ニューヨーク州プラッツバーグ国際空港で、同社のデモ機X1の初飛行に成功した。全長106フィート、離陸重量25,000ポンド超のX1は、これまでに飛行した最大のバッテリー電気航空機で、27分間の飛行で1メガワット以上の電力を出力した。同社は2031年の就航を目指す30席のハイブリッド電気航空機ES-30の開発を進めており、従来機比40%以上の運…
著者は2週末で約56万サイトのホームページをクロールし、各サイトをローカルLLMで要約して個人用検索エンジンを構築した。GPUレンタル料は約10ドル、ディスク使用量は1GB未満。コーポレートサイトやSEO記事に埋もれず、個人のポートフォリオやアートプロジェクトを見つけることを目的としている。クロールの優先順位を調整し、スチュワードと呼ばれるプロセスでスパムを自動ブロックするなど、工夫を凝らした。
DeepSeekはV4ラインナップのリリースに伴い、API価格を更新し、ピーク時とオフピーク時の料金を導入すると発表した。オフピーク時の料金はピーク時の50%引きとなり、より柔軟なワークロードスケジューリングが可能になる。新料金は2026年8月16日16:00 UTCから適用される。
ソフトウェア開発者である筆者が、GPU不足の中、e-waste（電子廃棄物）から集めた部品で自宅用AIデータセンターを構築する様子を綴る。AMDのサーバー向けGPU「V620」を4枚、2017年製のマザーボード、そして3Dプリントしたファンシュラウドを組み合わせ、llama.cppでGemma4やDeepseek V4 Flashを動作させる。ファン制御にはArduino Nanoを使用し、AI…
Juliaで書かれたガウススプラッティングライブラリGaussianSplatting.jlが2.0にアップデート。KernelAbstractions.jlによりAMD、NVIDIA、MacBookのGPUを単一コードでサポートし、UIはマルチスレッド化で応答性を維持。MCMC戦略による密度化、深度・ジオメトリ監視、スカイドームなど新機能を追加。
OpenAIが公開した調査レポート「How Organizations Use AI: Evidence from ChatGPT」は、企業におけるChatGPTの実際の利用状況を分析しています。このレポートでは、様々な業種の企業がどのようにChatGPTを業務に組み込み、生産性や創造性の向上に活用しているかが示されています。具体的な事例やデータを通じて、AI導入の成功要因や課題も明らかにされて…
1981年8月12日、IBM PCの発売はコンピューティングの風景を一変させた。本記事は、その成功の影の立役者となったキーボード「Model F/XT」に焦点を当て、その起源から進化を辿る。Datamasterでの経験、プロジェクト・チェスの舞台裏、そしてType 1とType 2のバリエーションの違いまで、詳細な技術解説と歴史的洞察を交えて紹介する。
1931年、25歳のクルト・ゲーデルは数学の基礎づけを目指す数学者たちの夢を打ち砕いた。彼の不完全性定理は、いかなる公理系も完全ではあり得ず、また自身の無矛盾性を証明できないことを示した。ゲーデルは「ゲーデル数」を用いて数学の命題を数に変換し、体系自身について語ることを可能にした。その結果、証明可能なことと真であることは必ずしも一致せず、数学の「万物の理論」は存在しないことが明らかになった。この…
- ▲ 115ベリー摘みは私の瞑想
赤スグリはとても小さく、バケツをいっぱいにするには長い時間がかかる。今では、子供や家族とではなく、一人で摘むことを好む。10代の頃は母に頼まれても嫌で、友人と過ごす時間を奪われるように感じていた。しかし数十年後、今は休暇をこの時間に充てるほどだ。仕事や人生のストレスを処理しながら摘み始め、次第に頭が静かになり、鳥のさえずりに気づくようになる。人生の段階による変化と、孤独と静けさの必要性を描いた個…
- ▲ 107自然数の冪集合束は驚くほど豊かである
自然数全体の集合の冪集合は、包含関係によって束をなす。この束は可算な任意の順序を部分順序として埋め込むことができるという普遍性を持つ。さらに、実数全体の順序を埋め込む非可算鎖や、非可算反鎖も存在する。また、任意の無限余有限集合の上側の束は全体と同型であり、自己同型群は推移的に作用する。
Y Combinator支援の新プロジェクト「Bullet」は、コーディングエージェントの実行を高速化するツール。単純なタスクは高速なモデルにルーティングし、複雑なタスクのみ深い推論にエスカレーション。リポジトリ全体を埋め込まずに必要なコードだけを検索・読み取り、独立したツール呼び出しは並列実行。重複呼び出しやループを防止し、待ち時間を削減する。現在macOS向けにプライベートベータを無料公開中。
従来の開発では、設計段階でPRの分割を決めていたが、AI支援により、まず全体を一気に作り、後から自然な境界でPRに分割する「Build Wide, Ship Narrow」という手法が有効になっている。著者は、仕様を先に確定し、広く実装してからデモで検証し、最後にコードレビュー用にPRを分割するという流れを実践。分割はAIエージェントが行い、削除は最後のPRにまとめる。この手法により、レビューが…
アートは人間が発明したものではなく、むしろ逆に、アートが人間性そのものを形作ってきたという逆説的な主張を、エッセイは探求する。著者は、芸術的表現が人類の認知、社会構造、自己認識の発達にどのように寄与したかを、進化の観点から論じる。芸術は単なる装飾や娯楽ではなく、人間を人間たらしめる本質的な要素であり、私たちの思考や文化の基盤を築いてきたと説く。この視点は、芸術の価値と起源に関する従来の理解を覆す…
Anthropicのサポートページは、Claudeの出力をAIモデルのトレーニングに使用できるかどうかについての疑問に答えています。この記事では、ユーザーがClaudeの出力を所有している一方で、それらをモデルのトレーニングに使用する際の制限と、その背後にある理由を説明しています。具体的には、利用規約や知的財産権、プライバシー保護などの観点から、出力の使用範囲が定められていることを解説しています。
英語、ヒンディー語、ラテン語、ペルシャ語など、インド・ヨーロッパ語族のすべての言語は、紀元前4500年頃に話されていた記録のない言語「Proto-Indo-European」に由来します。このインタラクティブな系統樹では、各言語をクリックすると詳細情報を見ることができ、単語をクリックするとニューラル音声合成で発音を聞くこともできます。再構築された言語と証拠のある言語の区別も示されています。
J.V. Noble氏が、Forthで決定性・非決定性有限状態オートマトンを構築する方法を解説。状態表と定義を一対一に対応させる最良の手法を紹介し、遅い入れ子のIF文を排除できる点を強調。固定小数点数の入力検証を例に、ブルートフォース方式とより洗練された方式を比較する。
AnthropicとRedwood Researchは、AIのリスク軽減に不可欠な概念的推論能力を評価する3つのベンチマーク（LMCA、ACCoRD、DTBench）を開発し、それらを統合したConceptual Reasoning Index（CRI）を公開した。CRIの最高スコアはAnthropicのOpus 5で73.6点（満点は約91）であり、モデルの性能は2024年後半からほぼ直線的に…
量子粒子は混沌とした状況でフラクタル状の軌道に閉じ込められるのだろうか？この疑問に答えるため、MITの大学院生Alex Cohenは、フラクタル不確定性原理を高次元に拡張する証明に成功した。この原理は、フラクタル状の関数とそのフーリエ変換が同時にフラクタルになることはないというもので、量子と古典のカオスの違いを明らかにする。Cohenの証明は、Bourgainの遺したノートに触発され、『Anna…
EchoはオープンソースのNanoClawと提携し、コンテナイメージの脆弱性を大幅に削減した。Trivy、Grype、Wizなどの複数のスキャナで検出し、安全なアップグレード、リサーチを要するバージョンジャンプ、バックポートという3段階のプロセスで対処。特に、アップストリームが「部分的な適用は危険」と警告するCVE-2025-59375（expatのメモリ増幅攻撃）を、独自のバックポーターエージ…
GoAccessは、C言語で書かれた高速なターミナルベースのログ解析ツールです。Apache、Nginx、Amazon S3、CloudFrontなど、ほぼすべてのWebサーバーのログ形式に対応し、SSH経由で素早くアクセスログを分析できます。デフォルトのターミナル出力に加え、リアルタイムのHTMLレポートやJSON、CSV出力も可能。セキュリティ監視にも役立ち、不審なアクティビティやボット、異…
学生時代にスコットランド横断ドライブで毎回同じルートを選んでいた筆者は、意思決定の負担を減らすために事前にルールを決めることの価値に気づいた。同様に、電車通勤の時間を生産的に使うプロセスも、目標達成を容易にする。アジャイルやスクラムのプラクティスも同じ原理で、目標を達成するためにプロセスが重い仕事を肩代わりする。筆者は、目標を達成するにはモチベーションに頼るのではなく、行動を自動化するプロセスを…
トカラ語は、中央アジアのシルクロード沿いで発見された、インド・ヨーロッパ語族の2つの近縁言語（トカラ語AとB）を指します。6〜8世紀の仏典翻訳が主な資料で、トカラ語Aは典礼言語としてのみ残存していた可能性があります。地理的には最東端の古代インド・ヨーロッパ語族でありながら、ケントゥム語に分類されるという驚きの発見は、歴史言語学の常識を覆しました。本稿では、その発見の経緯、名称の由来、インド・ヨー…
長年エンジニアとしてデータ分析に携わってきた著者が、スプレッドシートを「使わない」という自身のルールと、その例外について語る。データ保存・ロジック実行・プレゼンテーションを兼ねる便利さの一方で、複雑な数式やシート間のデータ分割、担当者ごとのバラバラな書式が分析を困難にした経験から、大規模・複雑なデータにはプログラムとSQLを推奨。PandasとSQLiteを使った具体的なデータ集計例も紹介する。
AnthropicはEU AI法の透明性義務に対応するため、Claudeの出力にAI生成を示す不可視の透かしを導入した。しかしRedditでは、学生やジャーナリストが透かしによってAI使用を検出されることを懸念する声が上がる一方、支持する意見も多い。あるユーザーは「透かしは不倫理的で不愉快」と非難し、別のユーザーは「AI生成物のリスクを考慮すれば当然」と反論する。中には、トレーニングデータに他人…
MCP Memory は、AI エージェント（Claude Desktop、Cursor、Antigravity、Windsurf、Codex など）に永続的な長期記憶を提供する Model Context Protocol (MCP) サーバーです。記憶は Google の Open Knowledge Format (OKF v0.2) で保存され、SQLite FTS5 による高速な全文検…
1946年にペンシルベニア大学で開発された世界初の汎用電子計算機ENIAC。その発明者であるJohn MauchlyとJ. Presper Eckertは、その後もBINAC、EDVAC、UNIVACと次々に革新的なコンピュータを生み出しました。本記事は、Mauchlyの膨大な資料を所蔵するKislak Centerのブログで、ENIACだけでなく、UNIVAC Applications and…
1991年のアーケードゲーム『アイドル麻雀ファイナルロマンス』を、基板の解析と実機プレイを交えて紹介。本作は麻雀ゲームでありながら、画面遷移がスライドショーのような印象を与える。また、基板はVideo Systemの標準的な構成で、8x4タイルや2層のタイルマップなど独自の仕様を持つ。シリーズは後にアニメ調のイラストへと変化し、その理由についても考察する。
SQLは宣言的で最適化可能な言語として成功したが、ヌルとバッグ（重複行）という設計上の欠陥を抱えている。著者らは、リレーショナルプログラミング言語Relの開発経験から、完全正規化された関係に基づく言語が実装・展開可能であると主張する。ヌルとバッグを正当化する理由は精査すると消え去り、これらを排除することで新たな機会が生まれると論じる。
1988年にリリースされたMicroProse Soccerは、Sensible SoftwareのJon HareとChris Yatesによって開発され、フットボールゲームに革命をもたらしました。本稿では、C64、Amiga、DOS版を比較し、オリジナルのC64版が今も色褪せない魅力を持つことを確認。また、バナナパワーと呼ばれる独特のボール回転や、後のSensible World of So…
Balletは、チームのアイデアを収益スタック全体で自動化するワークフロー自動化プラットフォームです。エンジニアリングの待ち行列をスキップし、プレーンな英語で結果を記述するだけで、Balletがリードルーティング、アトリビューション、リニューアルプレイなどのワークフローを構築・実行・維持します。決定的な正確性が求められるステップではコードとして実行され、エージェント的な柔軟性が必要なステップでは…
Herman Hollerithが1880年代に開発したパンチカード集計機は、米国国勢調査の手作業による集計を自動化し、1890年の国勢調査をわずか6か月で完了させた。この機械は0と1の2進法を応用したもので、後のコンピューター開発の基盤となった。Hollerithは1896年にTabulating Machine Companyを設立し、1911年に売却。その後、同社はIBMへと発展した。本記…
NC State大学の博士論文で、不均一な都市環境における放射性源の位置推定にベイズパラメータ推定を適用。従来の手法が困難な複雑な環境での精度向上を目指し、核工学の観点から新たなアプローチを提案している。
Penpot が WebGL レンダリングへの移行で直面した「三種ストローク問題」を解説。CSS、SVG、Skia ではストロークの内外・中央の扱いが異なり、複雑なパスや破線・点線、多重ストロークではさらなる工夫が必要。Skia の機能を駆使して各ケースを解決する方法を、コード例とともに紹介する。
John A. Adamによるこのレビュー論文は、虹とグローリーの現象を幾何光学、Airy近似、Mie散乱理論、複素角運動量法、カタストロフィー理論など、複数の相補的な視点から解説します。後方グローリー、前方グローリー、虹グローリーの物理的・数学的側面を掘り下げ、原子・分子・核散乱における類似現象にも言及。散乱問題におけるトンネル効果やRegge軌跡の役割も考察し、美しい自然現象を理解するための…
この記事では、ロボットや3Dプリンタの動きを滑らかにするための多項式を使った軌道生成について解説します。位置、速度、加速度、そしてジャーク（躍度）といった概念を紹介し、不連続な動きが機械に与える影響を説明します。SmoothStepやSmootherStepなどの多項式関数を使うことで、始点と終点で速度と加速度がゼロになる滑らかな遷移を実現できることを示します。さらに、Pythonコードを使って…
アムステルダムのEmbassy of the Free Mindが運営するSource Libraryは、AI翻訳を活用して17,000点以上の古文書を英訳し、世界最大級のオープンアクセス・コレクションを構築中です。錬金術、神秘主義、自然哲学、医学など、これまで英語で読めなかった一次資料を無料で提供。初の英訳となる書物も5,936点に上ります。同図書館は、フィチーノやメディチ家がルネサンスを推進…
イタリアのエミリア＝ロマーニャ州の銀行が、パルミジャーノ・レッジャーノのチーズを担保に農家へ融資を行い、そのチーズを金庫で最長3年間保管・管理している。このユニークな融資は、熟成に時間がかかるチーズ生産者の資金繰りを解決し、銀行はチーズの価値が熟成とともに上がるため、担保価値が増すという利点がある。銀行は温度管理された倉庫でチーズを回転・清掃し、12ヶ月時点でハンマーによる打診検査で品質を確認す…
biplukは、Web MIDI APIを利用してブラウザ上で直接ヴィンテージシンセサイザーのパッチをバックアップ、整理、検索できるサービス。ドライバやデスクトップアプリのインストールは不要で、80以上のハードウェアシンセ（DX7、Juno-106、M1など）に対応。SysExデータをバイト単位で正確に記録し、RAMバッテリーの消耗からパッチを保護。無料プランと、49ドルの一回払いで無制限のバッ…
Arthur Samuelは1950年代に、IBM 704上でチェッカーをプレイする自己学習プログラムを開発しました。ミニマックス、アルファベータ枝刈り、暗記学習などの技法を用い、マスター級のプレイヤーに挑戦できるレベルに達しました。1956年にはテレビで公開され、AI研究の先駆けとなりました。その後、SAILでPDP-10に移植され、現在もWAITS上で動作しています。
Inertiaは、SwiftUI、Jetpack Compose、Reactで構築した既存のUIをそのままアニメーション化できるキーフレームエディタです。ビューにIDを付与し、アプリをエディタ内で実行してタイムライン上でドラッグするだけで、実際のコンポーネントをアニメーションさせられます。動画書き出しやデザインファイルは不要で、編集結果は.inertiaファイルとして保存され、コードと一緒にバー…
AaaS Marketは、AIエージェント同士がサービスを売買できるマーケットプレイスです。決済はBase上のUSDCで行われ、買い手から売り手へ直接送金されるため、マーケットプレイスが資金を管理することはありません。すべての取引はオンチェーンで検証可能です。現在はテキストから構造化JSONへの抽出タスクを提供し、x402プロトコルによるHTTP 402チャレンジで支払いを行います。品質は自動的…