SQLite方言向けの静的SQL解析ツールであるsqleibnizは、設定可能性と拡張性を高めるためにLuaスクリプトが組み込まれました。この記事では、Rustでmluaクレートを使用してLuaとのやり取りを行う方法を詳しく説明しており、データ構造の変換、Lua関数の呼び出し、エラー処理などが含まれています。Luaスクリプトにより、ユーザーはカスタムルールとフックを定義でき、柔軟な静的解析（カスタム診断やスタイルチェックなど）が可能になります。これにより、sqleibnizの拡張性とユーザーエクスペリエンスが大幅に向上します。
続きを読む
この記事は、シニアエンジニアが日々の業務でLarge Language Models（LLMs）を実際にどのように使用しているかについての洞察をまとめたものです。誇大宣伝を排除し、現実世界のアプリケーションに焦点を当てています。「セカンドオピニオン」と「使い捨てデバッグスクリプト」という2つの主要なテクニック、プロンプトの文書化の重要性、そしてLLMsを万能薬ではなく便利なツールとしてとらえる必要性などが重要なポイントです。経験豊富なエンジニアたちが、LLMsをワークフローに効率的に統合したいと考えている開発者にとって貴重な教訓を提供しています。
続きを読む
生産性向上への追求と友人を助けるという思いから、ソフトウェアエンジニアがESP32ベースのポモドーロタイマーを設計しました。このタイマーは電子ペーパーディスプレイとロータリーエンコーダを使用し、物理的なデバイス、楽しさ、直感的な使いやすさを重視しています。プロジェクトには、ハードウェアの選定（ESP32、電子ペーパーディスプレイ、ロータリーエンコーダ、LEDなど）、ソフトウェア開発（C++、Arduinoフレームワーク、GxEPD2ライブラリ）、3Dプリントケースのデザインなどが含まれます。作者は、ディスプレイの選定、入力方法のデザイン、LEDインジケータの実装、ソフトウェアコードの管理など、設計プロセスで得られた教訓を共有しています。最終的な製品は実用性と楽しさを兼ね備えており、イースターエッグも含まれています。
続きを読む
この記事は、初期のテレタイプライターからインターネットのフォーラムや掲示板システムまで、ASCIIポルノの歴史を探ります。低帯域幅環境での高速な伝送速度により、初期のオンラインポルノの主要な形態となりました。この記事では、ASCIIアーティストの創造的な道のりとスタイルを調べ、芸術や文化におけるその地位を探り、Twitterなどのプラットフォームでの今日のインターネットにおける継続的な存在について議論します。
続きを読む
テンセントは、Hunyuan大規模言語モデルシリーズの最新モデルであるHunyuan-T1を発表しました。世界初の超大規模ハイブリッドTransformer-Mamba MoE大規模モデルであるTurboSをベースに構築されたHunyuan-T1は、広範な事後トレーニングを経て、推論能力が大幅に向上し、人間の好みとの整合性が向上しています。プレビュー版と比較して、Hunyuan-T1はパフォーマンスが大幅に向上し、デコード速度が2倍になっています。様々な公開ベンチマークでR1と同等またはわずかに優れた結果を達成し、内部の人間評価データセットでは、特に文化的および創造的な指示の追従、テキスト要約、エージェント機能においてR1を上回っています。このリリースは、大規模言語モデルの事後トレーニング最適化における強化学習の活用における重要な進歩を示しています。
続きを読む
Pebbleの創設者であるEric Migicovsky氏が、iPhone 13 miniサイズのフラッグシップスマホをAndroidメーカーに開発するよう呼びかけています。彼は、現在市場に高級小型Androidスマホが不足しており、コンパクトなデバイスを好むユーザーにとって大きな欠点だと主張しています。彼は理想的なスマホの仕様を概説し、多くの関心のあるバイヤーを集めてメーカーに圧力をかけることを期待しています。目標は、6インチ未満の画面、優れたカメラ、標準のAndroidを搭載したスマホです。もし失敗したら、自ら作ることも示唆しています。
続きを読む
Darren Embry氏が、レトロスタイルのモノスペースフォント2種類、Old Timey MonoとOld Timey Codeをリリースしました。Old Timey Monoは1906年製のReproducing Typewriterフォントをベースにしており、タイプライターで打ったような見た目と高い可読性を両立させています。Old Timey Codeはさらに改良が加えられ、斜線のあるゼロ、より識別しやすい数字の1、一部の句読点と小文字が修正されています。両フォントともラテン文字、キリル文字、ギリシャ文字をサポートし、幅広いUnicode文字セットに対応しているため、コーディングや脚本作成に最適です。
続きを読む
Rustは、所有権システムとRAII（Resource Acquisition Is Initialization）によって、コンパイル時にメモリ管理エラーを防ぎます。各値はただ1つの所有者しか持てず、所有権は変数間で移動できますが、特定のオブジェクトを複数の場所で同時に変更可能に参照することはできません。コード例では所有権の移動を示しています。変数`a`の所有権が`_b`に移動した後、`a`に再度アクセスしようとすると、コンパイルエラーが発生し、メモリセーフティが保証されます。これは従来のガベージコレクションとは異なり、Rustはコンパイル時チェックによってメモリセーフティを保証し、パフォーマンスと信頼性を向上させます。
続きを読む
研究者たちは、TinyStoriesという、GPT-3.5とGPT-4によって生成された、典型的な3～4歳児が理解できる語彙のみを使用した短い物語の合成データセットを発表しました。彼らは、TinyStoriesで訓練された言語モデル、たとえ1000万パラメータ未満でシンプルなアーキテクチャ（単一のトランスフォーマーブロック）であっても、驚くほど良い文法と推論能力を示す、流暢で首尾一貫した複数段落の物語を生成できることを示しました。これは、首尾一貫したテキスト生成には大規模なモデルと複雑なアーキテクチャが必要であるという考え方に異議を唱えるものであり、GPT-4を使用して生成された物語を人間の教師のように採点する新しい評価パラダイムを導入し、標準的なベンチマークの限界を克服しています。
続きを読む
D-Wave社は、イジングモデルの時間発展の計算において、同社の量子アニーリングマシンが古典計算を超えるとの論文を発表する。Googleのランダム量子回路に基づく主張とは異なり、D-Waveは量子アニーリングに焦点を当て、複雑な問題の最適解を見つけるためにハードウェアを利用する。過去に「古典計算を超える」という主張に異議を唱えられた経験もあるが、今回はランダム回路ではなくイジングモデルに焦点を当てているため、量子計算能力に関する議論が再び活発化する可能性がある。
続きを読む
この記事では、簡単に手に入る材料を使って自宅でできる簡単な物理実験について説明しています。ねじり天秤を使って万有引力の存在を実証します。この実験は、地球の重力を巧みに打ち消すことで、日常的には感知できない小さな物体間の引力を観測し、アインシュタインの一般相対性理論における時空の曲率の概念を検証しています。著者は、古代にアルキメデスがこの実験を行っていたら歴史がどのように展開したかについても推測しています。
続きを読む
ToS;DRは、プライバシーポリシーと利用規約の理解を簡素化します。ボランティアの貢献者によって規約がレビューされ、スコア（良い、中立、悪い、ブロッカー）が付けられます。最終的な評価（A～E）は公平性を反映します。多くのサービスはまだ評価されていません。利用者の貢献は大歓迎です。
続きを読む
著者は、単純な再起動では解決できないカーネルクラッシュが発生した2台の同一モデルのサーバーに遭遇しました。クラッシュ時、サーバーはシステムファームウェア段階で一連のマシンチェック例外エラーを出力し、CPUハードウェアの問題を示唆していました。電源をオフにして数分間放置した後、再起動することで問題が解決しました。これは、短い停電でも一部のx86システムコンポーネントが完全にリセットされないことを示しており、完全な復旧には冷却時間が必要であることを示しています。
続きを読む
この記事は、OpenAIの将来の収益予測に異議を唱え、1250億ドルという予測は楽観的で現実的根拠に欠けると主張しています。著者は、OpenAIのエージェント製品はまだ未成熟であり、収益予測はSoftBankの大規模投資と、まだ開発されていない「新製品」に依存していると指摘しています。著者は、OpenAIに対するメディアの盲目的な楽観主義を批判し、生成AI業界全体が収益性が低く、市場規模は予想をはるかに下回っていると指摘しています。この記事では、Google検索機能の低下と、生成AIの過剰な宣伝がその限界を隠蔽している方法についても分析し、バブルが崩壊し、大規模な人員削減と業界の混乱につながる可能性があると予測しています。
続きを読む
MCP-Shieldは、MCP（モデルコンテキストプロトコル）サーバーの脆弱性をスキャンして検出するためのツールです。ツールポイズニング攻撃、データ流出チャネル、クロスオリジンエスカレーションなどのセキュリティリスクを特定します。このツールは様々な設定方法をサポートし、より詳細な分析のためにAnthropicのClaude AIをオプションで統合できます。検出される一般的な脆弱性パターンには、隠された命令によるツールポイズニング、ツールのシャドウイングと動作変更、データ流出チャネル、クロスオリジン違反などがあります。例えば、秘密裏にSSH秘密鍵へのアクセスを試みる電卓ツールを特定できます。MCP-Shieldは、開発者やセキュリティ監査者がMCPサーバーのセキュリティを確保することを目的としており、新しいサーバーの追加前、セキュリティ監査中、開発中、およびアップデート後でのスキャンをサポートします。
続きを読む
2024年に23億ドルの収入を得て、世界で最も価値のある自動車会社であるにもかかわらず、テスラは連邦所得税を全く支払わなかったと新しい報告書が示しています。過去3年間のテスラの平均税率はわずか0.4％で、法定法人税率21％を大幅に下回っています。これは、加速償却などの租税回避戦略と、未指定の米国税額控除によるものです。この発表は、米国の税制が企業と富裕層を優遇し、億万長者が正当な税金を支払うことを回避する容易さをめぐる議論を引き起こしています。
続きを読む
T2 SDEは、ローコードで超ポータブルなパッケージマネージャーとLinuxディストリビューションであり、様々なアーキテクチャ（ARM、x86-64など）に対応したカスタムオペレーティングシステムの完全自動化、再現可能なクロスコンパイルを可能にします。最新のリリースであるT2 24.12は、25種類のCPUアーキテクチャをサポートする37個のプリコンパイル済みISOイメージを提供しており、LibreOfficeやOpenJDKなどの多数のパッケージが含まれています。Nintendo Wii Uでの動作も実証済みです。T2は継続的に改善されており、IA-64 Itaniumアーキテクチャのサポート、フルディスク暗号化などのセキュリティ機能の強化、ハードウェアビデオエンコード/デコード機能によるパフォーマンス向上などが行われています。
続きを読む
中国のAIチャットボットDeepSeekが、1989年の天安門広場の象徴的な「戦車男」の写真に関する質問に答えることを拒否し、論争を巻き起こしている。このチャットボットは、写真や中国に関するその他のデリケートな話題に関する議論を突然打ち切りますが、英国首相などの世界指導者に関する質問には詳細な回答を提供します。同時に、DeepSeekの強力な画像生成機能（Janus-Pro-7B）と驚くほど低い開発コスト（伝えられるところによるとわずか600万ドル）は、米国市場に衝撃を与え、Nvidiaの株価が過去最大の17％下落し、米国のテクノロジー大手や政治家から懸念の声が上がっています。
続きを読む
macOS 15.3.1とiOS 18.3.1の最近のアップデートで、以前無効にしていたApple Intelligenceが、一部ユーザーにおいて自動的に再有効化される問題が発生しています。この挙動は、アップデート後にセットアップアシスタントとウェルカムスクリーンが表示されるかどうかと関連しているようです。開発者のJeff Johnson氏が自身のデバイスでこの矛盾を報告しており、ユーザーの不満を招いています。この自動的な再有効化は、ユーザーにとって不親切な行為と見なされており、以前のAppleのOSアップデートごとにBluetoothを自動的に再有効化していた行為を彷彿とさせます。この行為は最終的に修正されましたが、今度はこの新しい問題に置き換わったようです。
続きを読む
C++ベンチマークで、Clangのインライン関数の最適化におけるパフォーマンスの回帰が明らかになりました。`increment`関数をインライン化すると、分岐予測の失敗により、インライン化されていないバージョンと比べて約5倍遅くなりました。`perf stat`で分岐予測のミスが原因であることが確認されました。興味深いことに、Zigツールチェーンでコンパイルするとパフォーマンスが大幅に向上し、Clang 19のバグを示唆しています。この問題はClang/LLVMのリポジトリに報告されており、初期調査ではSROAとSimplifyCFGの最適化パス間のトレードオフが原因である可能性が示唆されています。
続きを読む
Google DeepMindは先日、最新のAI動画生成モデルVeo 2を発表しました。このモデルは、リアルさ、ディテール、モーションの正確さにおいて顕著な進歩を遂げ、複雑な指示から高品質な4K動画を生成できます。Veo 2は他の主要なAI動画生成モデルを凌駕し、プロンプトの忠実な追従と驚くほどリアルな結果の生成に優れています。DJの極端なクローズアップから、リアルな物理効果を示す料理シーンまで、Veo 2は様々なスタイルとシナリオにおける多様性を示し、AI動画生成技術における新たなマイルストーンを打ち立てています。
続きを読む
モバイルデバイスを標的とした新しいフィッシング詐欺は、これまでにない難読化手法を用いて、偽の米国郵便公社（USPS）ページへのリンクをPDFファイル内に隠しています。PDF要素を操作することで、クリック可能なURLはユーザーとモバイルセキュリティシステムの両方にとって不可視となり、複数のエンドポイントセキュリティソリューションによる検出を回避します。悪意のあるPDFはSMSで送信され、配送失敗の通知を装っています。リンクは圧縮ストリームに埋め込まれ、フォントの色と背景の色を一致させることで隠され、画像の下に配置されています。一見無害な「更新をクリック」ボタンをクリックすると、実際には隠されたリンクがアクティブになり、偽のUSPSサイトに誘導され、データが盗まれます。20種類以上の悪意のあるPDFと630個のフィッシングページが50言語をサポートしていることから、国際的な標的とフィッシングキットの可能性が示唆されています。これは、モバイルユーザーがPDFを信頼することの脆弱性と、モバイルセキュリティ対策の強化の必要性を浮き彫りにしています。
続きを読む
この記事では、WebRTCとOpenAIリアルタイムAPIを使用して音声チャットボットを構築する方法を詳述しています。著者はドキュメントの不足を克服し、マイクからの音声取得、WebRTC接続の確立、データチャネルの設定、リアルタイムAPIのメッセージ交換などを網羅したステップバイステップガイドを提供しています。応答とセッション終了のための関数呼び出し、古いGoogle AIY Voice Kitでのアプリケーションの実行など、ベストプラクティスが強調されています。また、ヘッドレスブラウザソリューションや組み込みSDKなど、代替アプローチを探求し、WebRTCの拡大する影響力を示しています。
続きを読む
Googleのサイト信頼性エンジニアリング（SRE）チームは、過去25年間で大きな進化を遂げました。当初は、サービスレベル目標（SLO）、エラーバジェット、隔離戦略などの手法に依存していましたが、ますます複雑化するシステムと新たな課題に対処するため、システム理論と制御理論に転換し、STAMPフレームワークを採用しました。STAMPは、個々のコンポーネントの障害の防止から、複雑なシステム間の相互作用の理解と管理へと焦点を移します。この記事では、実例を用いてSTAMPがGoogleのシステムレベルの障害防止にどのように役立つかを説明し、テクノロジー業界全体における将来的な応用を探ります。
続きを読む
Kate's Appは、医療従事者とその患者をサポートするために設計されています。処方箋、医師の情報、予約など、医療情報の安全な共有と調整を可能にし、ユーザーはプライベートに情報を共有できます。アクセス制御機能によりプライバシーが保護され、通知機能により、記録の変更や新しいメッセージに関する最新情報がユーザーに提供されます。がん治療から風邪まで、Kate's Appは医療情報の管理と家族や友人との連携を容易にします。
続きを読む
Microsoftの研究によると、OpenAIやAnthropicなどのトップAIラボのモデルでさえ、熟練の開発者ほど効果的にソフトウェアのバグをデバッグできないことが明らかになりました。9つのモデルをテストした研究では、デバッグツールがあっても、これらのモデルはSWE-bench Liteベンチマークのデバッグタスクの半分以上を成功させることができませんでした。研究は、データの不足を主な原因として指摘しています。モデルは、人間のデバッグプロセスを表す十分なトレーニングデータがありません。AI支援プログラミングツールは有望ですが、この研究は、コーディングにおけるAIの限界を浮き彫りにし、人間の開発者の重要性を強調しています。
続きを読む
Orange Intelligenceは、Appleの組み込みインテリジェンス機能の限界を克服するために設計された、強力なmacOS向けオープンソース生産性ツールです。洗練されたフローティングウィンドウインターフェースにより、ユーザーはあらゆるアプリケーションでテキストをシームレスにキャプチャ、処理、置換できます。カスタムPython関数のサポートにより、OpenAIやローカルLLaMAなどのLLMとシームレスに統合され、複雑なエージェントシステムの作成を可能にします。Python、PyQt6、Applescriptを使用して構築されたOrange Intelligenceは、広範なカスタマイズオプションを提供し、開発者、研究者、AI愛好家の生産性を向上させます。
続きを読む
この記事は、AI/MLにおける25年間の道のりを語っています。VB6によるシンプルなゲームから始まり、状態機械や高階関数を使ってゲームのダイナミクスを向上させました。大学院では、一階述語論理、サポートベクターマシン、ニューラルネットワークを学び、低帯域幅ビデオチャットやコードエディタのログデータ分析などに適用しました。教授として、インテリジェントな開発ツールに焦点を当て、予測モデルを用いてプログラマの誤解を特定・修正する研究を行いました。マイクロソフトのプログラム合成チームでは、LLMを用いたコード支援ツールの改善に携わりました。著者は、AIの適用には慎重さが重要であり、ユーザーの問題を明確にし、LLMへの過度な依存を避けるべきだと強調しています。
続きを読む
特定のコードセクションの作者を探すのに苦労していませんか？コマンドラインツールであるGit-Whoが解決策です！個々の行に焦点を当てる`git blame`とは異なり、Git-Whoはコードコンポーネントやサブシステム全体の主要な貢献者を特定します。`table`、`tree`、`hist`の3つのサブコマンドを使用して、貢献数、最終編集時刻、変更行数などを表、ツリー構造、タイムラインで表示します。パス、ブランチ、タグ、またはリビジョン範囲で結果をフィルタリングし、ソートとフィルタリングにフラグを使用します。Git-WhoはGit mailmapにも対応し、異なる名前やメールアドレスでの貢献を統合します。Git-Whoを試して、コードの所有権を明確に把握しましょう！
続きを読む
スコット・ハンセルマンに触発された著者は、「Stringly Typed」アプリケーションという概念を探求しています。これは、より良い型が存在するにもかかわらず、文字列をデータ転送に使用する方法です。これは、バックエンドAPIと対話するシングルページアプリケーション（SPA）では一般的であり、ほとんどのAPIがJSONを使用するため、型情報が失われ、型安全性が低下します。著者は、この方法に対する過去の寛容さを反省し、TypeScript、tRPC、GraphQLなどのソリューションを探索して、ネットワーク上の型安全性を達成し、「Stringly Typed」インターフェースを排除することを始めます。
続きを読む