Webtagr - テクノロジーニュースダイジェスト

Stagehand：AIによるWebブラウジングを簡素化するフレームワーク

2025-01-09

StagehandはPlaywright上に構築されたAI Webブラウジングフレームワークであり、3つのシンプルなAI API（act、extract、observe）を使用してブラウザの自動化を簡素化します。これにより、非技術者でもPlaywrightを簡単に使用でき、UI/DOMの小さな変更による脆弱性を軽減します。Stagehandは、ウェブサイトへのログイン、情報の抽出、特定のアクションの実行など、自然言語を使用してブラウザの自動化を構築できます。Browserbaseと組み合わせることで、セッションの再生やステップバイステップのデバッグなどの強力なデバッグツールを提供します。現在早期リリース版であり、コミュニティからのフィードバックを歓迎しています。

(github.com)

開発ブラウザ自動化

Ubuntu Linuxの重鎮、Steve Langasek氏が死去

2025-01-08

UbuntuとDebianへの貢献で知られるSteve Langasek氏が、2025年1月1日、45歳で亡くなりました。フリーソフトウェアへの取り組みは1996年から始まり、Debian SargeとEtch、そして後のUbuntuのリリースマネージャーとして重要な役割を果たしました。Linux-PAM、Samba、OpenLDAPなどのプロジェクトへの技術的貢献に加え、Langasek氏はオープンソースコミュニティにおけるリーダーシップとメンターシップでも高く評価されていました。彼の死は大きな損失であり、将来も長く記憶される影響力のある貢献を残しました。

(thenewstack.io)

開発

CAP定理への挑戦：非同期環境下での部分的進歩の予想

2025-01-08

新たな論文が有名なCAP定理に挑戦しています。著者らは、ネットワークパーティション下では部分的な進歩が可能であると予想しています。つまり、システムは一部のクライアントに対して応答性を維持し、障害時にもゼロ以外のスループットを実現できます。彼らは、パーティション化されたレプリカがクライアントのリクエストを順序付けることを可能にするCASSANDRAコンセンサスプロトコルの設計を示しています。これは、パーティション時でも、ある程度の一貫性と可用性を両立できるシステムへの道筋を提供する可能性があります。この研究は、より堅牢な分散システムを構築するための新しいアプローチを提供します。

(arxiv.org)

開発コンセンサスプロトコル

コース交換アプリ開発でワシントン大学学生が除籍危機

2025-01-08

ワシントン大学の学生JD Kaim氏が、学生間の授業枠交換を支援するアプリHuskySwapを開発した。初期の成功の後、コースの自動インポートのために大学の登録システムへのアクセスを試みたところ、登録システムの不正利用に関する違反通知を受け、除籍の危機に瀕している。読み取り専用アクセスしか求めていなかったにもかかわらず、大学の厳しい対応に落胆し、大学における学生起業家精神への支援を疑問視している。

(www.linkedin.com)

開発学生起業家精神大学の方針

規模がすべて：AIエージェントがswebench-verifiedでSOTAを達成

2025-01-08

CodeStoryは、大規模なテスト時間推論を活用することで、swebench-verifiedベンチマークで最先端の結果を達成し、62.2％の問題を解決しました。彼らはSonnet 3.5 LLMとシンプルなツールセットを使用し、初期のMCTSフレームワークをスケーラビリティのために放棄しました。複数の仮想マシンとAnthropicアカウントで多数のエージェントを実行することで、小規模なチームであっても、複雑なソフトウェアエンジニアリングの問題解決における規模の力を実証しました。これは、「規模がすべて」という「苦い教訓」を強化し、ソフトウェアエンジニアリングにおけるAIのための新しいパラダイムを提供します。

(aide.dev)

開発

ラチェット効果：大企業におけるエンジニアの評判形成

2025-01-08

大企業におけるエンジニアの評判は、技術力だけでなく、段階的な積み重ねが重要です。最初は下位レベルの仕事から始め、着実に成果を上げることで、より高度なプロジェクトへの参加機会を得ます。この「ラチェット効果」により、評判は容易には変わりません。失敗しても、継続的な成果によって挽回可能です。しかし、繰り返しの失敗は悪循環に陥ります。著者は、新入社員は小さなプロジェクトに集中し、着実に評判を築くことを推奨し、いきなり大規模なプロジェクトに挑むことを避けるべきだと述べています。

(www.seangoedecke.com)

開発エンジニアの評判ラチェット効果

SWE-bench：大規模言語モデルは現実世界のGitHubの問題を解決できるか？

2025-01-08

SWE-benchは、大規模言語モデルが現実世界のGitHubの問題を自動的に解決できる能力を評価するためのベンチマークデータセットです。研究者たちは、12の人気のあるPythonリポジトリから2294のIssue-Pull Requestペアを収集し、ユニットテストを使用してソリューションを検証しました。最新のリーダーボードは、さまざまなモデルが異なる成功率を達成していることを示しており、解決率が50％を超えるモデルもあります。このプロジェクトは、軽量版データセットや事前学習済みモデルなど、評価と再現性を容易にするためのリソースを提供しています。

(www.swebench.com)

開発コード修正

Stack Overflowの衰退：ChatGPTの影響と不確かな未来

2025-01-08

GitHub上のデータ分析によると、Stack Overflowの新しい質問数は、2023年3月から2024年12月にかけて70.7％減少、87105件から25566件にまで落ち込んだ。これはChatGPTの台頭と密接に関連しており、ChatGPTのリリース以来、Stack Overflowでは約83000件の質問が減少している。Stack Overflowのトップ貢献者である著者は、きちんと書かれた質問がすぐに閉鎖された自身の経験を説明し、プラットフォームの衰退の重要な要因の一つである可能性を示唆している。質問数の急激な減少は、懸念すべき傾向を示しており、2009年のサービス開始直後のレベルを反映しており、1年未満の寿命の可能性を示唆している。

(gist.github.com)

開発プラットフォームの衰退

プログラミング言語の未来：10個の大胆なアイデア

2025-01-08

ベテランプログラマが、プログラミング言語の未来に関する10個の革新的なアイデアを提案しています。関数呼び出しメカニズム、能力プログラミング、本番レベルの機能、半動的な言語、永続的なデータストア、真にリレーショナルな言語、モジュール型モノリス、モジュール型lintなど、さまざまな側面をカバーしています。これらのアイデアは完全に新しいものではありませんが、既存の概念を改良・統合することで、プログラミングの効率性とコードの質を向上させることを目指しています。この記事では、構造化されたロギングやメトリクスの収集などのベストプラクティスを言語自体に統合する方法や、動的言語のパフォーマンスを向上させる方法についても検討しています。

(jerf.org)

開発

Counting Tap Toy：シンプルなWebベースのリセットカウンター

2025-01-08

Counting Tap Toyは、タップしてカウントし、リセット機能を提供するシンプルなWebベースの玩具です。この小さなプロジェクトは、HTML、CSS、JavaScriptを使用してインタラクティブなWebアプリケーションを作成する方法を示しています。Web開発の基礎を学んでいる初心者にとって適しており、クリーンで分かりやすいコードは学習と参考資料に最適です。

(memalign.github.io)

開発インタラクティブアプリケーション

SerenityOSをリアルハードウェアで動かす：Chromebookリバースエンジニアリングの冒険

2025-01-08

著者はSerenityOSを実際のハードウェアで動かすために安価なChromebookを購入しました。しかし、ChromebookのCr50デバッグ機能が失敗したため、シリアルデバッグのためにRaspberry Pi Picoをマザーボードに手作業でハンダ付けしなければなりませんでした。これには、Cr50セキュリティチップの書き込み保護を回避し、カスタムSPIフラッシュプログラムを作成することが含まれていました。著者はChromebookでSerenityOSを起動することに成功しましたが、eMMCドライバのデバッグは困難であり、MMCとSDカードのプロトコルに関する深い理解と、ハードウェアの電源制御への綿密な調整が必要でした。

(sdomi.pl)

開発

WebAssemblyでブラウザ上でPythonを簡単に実行

2025-01-08

WebAssemblyの力を利用して、ブラウザで直接Pythonコードを実行しましょう！この記事では、オープンソースプロジェクトであるPyodideを使って、ブラウザ環境でPythonを実行する方法を詳細に説明しています。著者は、OfficeファイルをMarkdown形式に変換するPythonプログラムであるMarkItDownを、ブラウザベースのツールに成功裏に移植しました。PyodideはほぼすべてのPython構文と多くの一般的なパッケージをサポートしており、堅牢なJavaScript/Python相互運用インターフェースを提供します。ファイル転送や依存関係のインストールといった課題を克服し、著者は完全に機能するブラウザベースのMarkItDownツールを作成しました。これは、WebAssemblyがブラウザベースアプリケーションにもたらす変革の可能性を浮き彫りにしています。

(kai.bi)

開発

Fidget：大規模な数学式のための高性能Rustライブラリ

2025-01-08

Fidgetは、大規模な数学式を表現、コンパイル、評価するためのRustライブラリです。主に陰関数曲面のために設計されていますが、その柔軟性から様々な用途に使用できます。Fidgetは、フロントエンド（スクリプトからバイトコードへ）、バックエンド（高速で柔軟な評価）、アルゴリズム（レンダリングとメッシュ化）の3つのレイヤーで構成されています。中心的な革新は、区間演算とトレースの簡素化を組み合わせることで、大規模な式を効率的に処理し、JITコンパイルによってさらにパフォーマンスを向上させることです。WebベースのGUIを含む様々なデモを提供し、自動微分と区間演算をサポートしています。

(www.mattkeeter.com)

開発陰関数曲面 JITコンパイル

ミシガン大学、画期的な線形代数コースROB 101を開設

2025-01-08

ミシガン大学は、工学部1年生向けの画期的な線形代数コースROB 101を開設しました。このコースでは、線形代数の理論とJuliaプログラミング言語の実践を組み合わせ、学生がロボットのナビゲーションマッピングなど、現実世界の工学的問題を初日から解決できるようにします。ハイブリッド型のコース形式はオンラインと対面両方のリソースを提供し、従来の工学数学教育の枠組みを超え、工学における数学の実用的な価値を早期に体験させます。

(robotics.umich.edu)

開発 Juliaプログラミング

Linuxルーティングの基礎：カーネルのネットワークスタックへの深入り

2025-01-08

この記事では、Linuxカーネルのルーティングメカニズムを詳細に解説します。Linuxシステムは複数のルーティングテーブル（ローカル、メイン、デフォルト）を使用しており、これらは順番に参照されて一致するルートが検索されます。最長プレフィックスマッチング、送信元アドレスの選択、ICMPエラー処理などの重要な概念が説明されています。iproute2ツールの使用方法とリンク障害の処理方法も示されています。ルーティングテーブル、ルール、ルックアッププロセスについての詳細な解説は、ポリシーベースルーティング、VRF、ネットワークネームスペースなどの高度なLinuxルーティング技術を理解するための堅実な基盤となります。

(blog.sdn.clinic)

開発ネットワーク

AstroとSatoriで驚くほど美しいOpenGraph画像を自動生成

2025-01-08

ソーシャルメディアへの投稿でOpenGraph画像を手動で作成することにうんざりしていませんか？このチュートリアルでは、Satoriライブラリを使用して、Astroブログ記事に美しく、カスタマイズされたOpenGraph画像を簡単に生成する方法を紹介します。自動生成の設定方法、再利用可能なテンプレートの作成方法、クリック率の向上方法を学びます。依存関係のインストール、コンポーネントの作成、APIエンドポイントの設定、画像生成、Astroサイトとの統合について説明し、詳細なコード例を提供します。面倒な手作業なしで、リンクプレビューを魅力的にしましょう！

(skyfall.dev)

開発

Modern Treasuryの決済プラットフォームエンジニアリングマネージャー募集

2025-01-08

近代的な決済インフラを構築するFinTech企業Modern Treasuryが、決済プラットフォームの経験豊富なエンジニアリングマネージャーを募集しています。この役割には、エンジニアリングチームのリーダーシップ経験と、決済プラットフォームのアーキテクチャと技術に関する深い理解が必要です。急速に成長する企業でリーダーシップの役割を求める情熱的なFinTechのプロフェッショナルにとって、これは素晴らしい機会です。

(jobs.ashbyhq.com)

開発エンジニアリングマネージャー決済プラットフォーム

EVE: 高機能C++ SIMDベクトルエンジン

2025-01-08

EVEは、旧来のEVE SIMDライブラリ（旧Boost.SIMD）をC++20で再実装したもので、C++20がいかにして効率的で低レベル、高抽象化のライブラリを作成できるかを示しています。Intel SSE、AVX、ARM NEON、AArch64、そして部分的にPowerPCなど、様々な命令セットをサポートしています。現在動作可能ですが、パフォーマンス上の問題が残っている可能性があります。テストや改善のための貢献は大歓迎です。

(github.com)

開発ベクトルエンジン

Rustで組み込みSchemeによるホットリロード

2025-01-08

この記事では、コンパイル言語であるRustに軽量なSchemeインタープリターStak Schemeを組み込み、プロセスを再起動せずにプログラムの動作を動的に変更する方法を示します。RustのHTTPサーバーにSchemeスクリプトを組み込むことで、Stak Schemeと`stak-build`ライブラリを使用してホットリロード機能を実現し、Rustプログラムを再コンパイルせずにサーバーのHTTPリクエストハンドラのロジックを動的に変更する方法を説明します。

(raviqqe.com)

開発ホットリロード

プラットフォームチームの七つの大罪：DevOpsの落とし穴を避ける

2025-01-08

この記事では、DevOpsの実装においてプラットフォームチームが直面する6つの一般的な落とし穴を探ります。一見すると微妙なこれらの問題は、プラットフォームチームの有効性を著しく制限する可能性があります。著者は自身の経験に基づき、チームの命名、共感の欠如、短期的な目標と長期的な目標のバランス、使いやすさとシンプルさの混同、プロダクトエンジニアを顧客として扱うこと、そして領域の過剰拡大といった問題の根本原因を掘り下げ、それぞれの解決策を示しています。この記事は、プラットフォームチームは特定の解決策ではなく問題解決に焦点を当てるべきであり、プロダクトチームとの緊密なコミュニケーションと協調を構築し、短期目標と長期目標のバランスを取り、単なる使いやすさではなくシンプルさを追求し、常にエンドユーザーの価値を優先すべきであると強調しています。

(serce.me)

開発プラットフォームチーム

Scshマニュアル著者の皮肉な謝辞

2025-01-08

Scshリファレンスマニュアル0.6.7版の著者であるOlin Shiversは、皮肉たっぷりの謝辞を述べています。彼は同僚、学生、両親、そして学科長を風刺的に描写し、1日を乗り切るためにプロザックとジャックダニエルに頼っていることを告白しており、マニュアル作成中に直面したストレスと不満をほのめかしています。謝辞全体がネガティブで自己卑下的なトーンに満ちており、感謝の言葉というよりは、学術環境と彼自身の状況に対する皮肉なコメントと言えます。

(scsh.net)

開発リファレンスマニュアル皮肉

リーマン最適化による最小二部マッチング

2025-01-08

本論文は、リーマン最適化を用いた最小二部マッチング問題への新しいアプローチを提案しています。著者は、組合せ最適化問題を二重確率行列の多様体上の制約のない最適化問題に変換し、リーマン勾配降下法を用いて解きます。実験結果は、この方法が効率的に最適解を見つけ、良好な収束性を示すことを示しています。この研究は、組合せ数学、微分幾何学、コンピュータサイエンスを巧みに組み合わせ、このような問題解決のための新たな視点を与えています。

(ocramz.github.io)

開発リーマン最適化二部マッチング組合せ最適化

QMK自動修正機能：キーボード上でのタイプミス修正

2025-01-08

QMKファームウェアに自動修正機能が追加されました。キーボード上でリアルタイムにタイプミスを修正します。Trieデータ構造を使用することで、リソースのオーバーヘッドを最小限に抑えながら（71エントリで1672バイト増加、キー押下あたり約20µs）、一般的なタイプミス（例：'ouput'を'output'に）を効率的に修正します。大文字と小文字を区別せず、辞書でカスタマイズ可能で、現在は英数字とアポストロフィのみをサポートしています。英語に限定されていますが、プログラマーなどのユーザーのタイピング効率を大幅に向上させます。

(getreuer.info)

開発自動修正キーボードファームウェア

1000行のコードでOSを作る：初心者向けガイド

2025-01-08

本書は、ゼロから段階的に小型オペレーティングシステムを構築する方法をガイドします。OSカーネル開発は難しそうですが、基本機能は驚くほどシンプルです。C言語を使って、コンテキストスイッチング、ページング、ユーザーモード、コマンドラインシェル、ディスクドライバ、ファイルの読み書き操作を実装します。コード行数はわずか1000行です。しかし、デバッグが最大の課題となります。OS開発に不可欠なデバッグ技術を学び、ブートプロセスやページングといった課題に挑戦します。OS開発の世界への刺激的な旅の始まりです！

(operating-system-in-1000-lines.vercel.app)

開発

Pythonの並行処理：スレッド、プロセス、asyncioの徹底解説

2025-01-08

この記事では、Pythonの並行処理における3つのアプローチ、スレッド、プロセス、asyncioの長所と短所をまとめます。スレッドはリソースを共有し、使いやすく、しかしGILによって制限されます。プロセスは独立したメモリ空間を持ち、GILを回避しますが、オーバーヘッドが大きくなります。asyncioはシングルスレッドのイベントループを使用し、I/Oバウンドタスクを効率的に処理しますが、ノンブロッキング操作が必要で、学習曲線が急です。どのアプローチを選択するかはタスクの種類によって異なります。CPUバウンドタスクはプロセス、I/Oバウンドタスクはasyncio、その他のケースはスレッドが適しています。

(newvick.com)

開発 Python並行処理スレッド

Servoプロジェクトの復活：Igaliaにおける2年間の成果

2025-01-08

IgaliaがServoプロジェクトのメンテナンスを引き継いでから2年が経過し、大きな進歩が見られました。バグの修正、安定性の向上、AndroidとOpenHarmonyのサポート追加など、多くの成果が挙げられています。活発なコミュニティ活動と連携により、貢献者数とコードの活動が大幅に増加しました。まだ実験段階ではありますが、Servoのパフォーマンスとセキュリティの利点は、将来的な大きな成長を期待させるものであり、組込みシステムやRustアプリケーションのための理想的なWebエンジンとなる可能性を秘めています。

(blogs.igalia.com)

開発 Webエンジン

Hyperview：ウェブサイト作成と同じくらい簡単にネイティブモバイルアプリを作成

2025-01-08

Hyperviewは、サーバー駆動型のモバイルアプリを、ウェブサイト作成と同じくらい簡単に構築できる新しいハイパーメディア形式とReact Nativeクライアントです。サーバーからHyperview XML（HXML）コンテンツを取得して画面をレンダリングし、Django、Rails、Nodeなどのさまざまなバックエンドテクノロジーをサポートしています。バックエンドの変更によるアップデートは瞬時に行われ、長いApp Storeの審査時間を解消します。Hyperviewは、ネットワークベースのアプリ（ソーシャルネットワーク、マーケットプレイス、メディアブラウジング）に最適ですが、オフラインデータやローカル計算に大きく依存するアプリには適していません。

(hyperview.org)

開発ネイティブモバイルアプリサーバー駆動型

世界を動かすソフトウェアをいつ修正するのか？

2025-01-08

ソフトウェアは現代社会の基盤ですが、その品質には驚くほどのばらつきがあります。医療、小売、航空などの業界は、時代遅れで非効率的なソフトウェアに依存しており、生産性と可能性を阻害しています。著者は、これらの見過ごされている分野に緊急の注意を呼びかけ、専門家の潜在能力を最大限に発揮し、非効率的で時代遅れのシステムを克服するために、重要なソフトウェアツールの更新への投資を提唱しています。

(www.cgustavo.com)

開発技術格差ツールのアップグレード

10進数の桁数カウントアルゴリズムのベンチマーク

2025-01-08

このコードは、異なる10進数の桁数カウントアルゴリズムを比較するためのベンチマークスイートを実装しています。ランダムな整数を生成し、log10、ビット操作、ルックアップテーブルメソッドを含む5つの異なる方法を使用してこれらの整数の桁数をカウントし、パフォーマンスを比較します。テストは32ビット整数と64ビット整数の両方をカバーしており、アルゴリズム間の顕著なパフォーマンスの違いが明らかになります。ビット操作ベースのアルゴリズムの中には、優れたパフォーマンスを示すものもあります。

(github.com)

開発アルゴリズム比較

Slackの自動化されたアクセシビリティテスト：課題と成功

2025-01-08

Slackのエンジニアリングチームは、自動化されたアクセシビリティテストの実装における道のりを詳しく説明しています。React Testing LibraryとJestフレームワークにAxeを統合しようとした最初の試みは、複雑さのために失敗しました。彼らはPlaywrightに移行し、カスタム関数と戦略を使用して、アクセシビリティチェックを自動化し、CI/CDに統合することに成功しました。自動化されたチェックを完全に隠すことはできませんでしたが、ワークフローの簡素化、レポートの改善、明確なプロセスの確立により、開発者のオーバーヘッドを最小限に抑えました。今後の計画には、さらなる最適化とAI支援テストの探求が含まれます。

(slack.engineering)

開発自動テストアクセシビリティテスト

Category: 開発