日刊ダイジェスト · Hacker News
· 69 ハッカーニュース
ウクライナによるYandexのデータセンターへの攻撃後、Cloudflareのボットトラフィックが急減した。Hacker Newsでは、Yandexが検索エンジンだけでなくクラウドサービスも提供し、実際のボットトラフィックを生成している点が指摘された。また、障害がYandex GoやYandex Payなど複数のサービスに波及したことも報告されている。
10月11日、UAV攻撃によりVladimirのデータセンターが損傷し、Yandex Cloudは緊急モードで運用されている。ru-central1-aとru-central1-bゾーンが利用不可となり、Computeはru-central1-dとru-central1-eでのみ利用可能。S3は読み取り可能だが書き込みに問題、Moniumは停止、Kubernetesの一部クラスタも影響を受けてい…
2026年8月と9月にX Corp.からNitterの永久削除を求める停止命令書が送付された。9月7日の更新で法的代理人を確保するとしていたが、その保証は虚偽だった。現在Nitterには弁護士がおらず、プロジェクトの存続のために資金と法的支援を緊急に求めている。寄付はまず法的費用に充てられる。
LineageOS 24.0がリリースされた。Android 17をベースに、セキュリティパッチは2026年10月までマージ済み。アプリ群はMaterial Design 3 Expressiveに対応し、新画像エディタCanvasや刷新されたUpdaterを搭載。さらにADBやFastboot、Samsung Odinなどに対応するWebUSBフラッシュツールが公開され、ブラウザから直接デバイ…
マサチューセッツ州がExxonMobilを相手取った訴訟で、これまで未公開だった内部文書が新たに提出された。1988年のメモで「温室効果ガス対策の世界的合意が生じればExxonに深刻な打撃」と警告し、その後もバイオ燃料やCCSの主張が虚偽だったことを科学者自身が認めている。Supreme CourtがSuncor対Boulderの審理を開始する中、これらの文書は石油業界の責任追及に新たな材料を提…
開発者はドキュメントを書くのが苦手で、READMEはしばしば雑なメモの寄せ集めになる。自分では当然だと思っている前提や誤字に気づけないのが問題だ。そこで筆者はNLnetの助成を受けたActivityBotのインストール体験を検証するため、Mastodonで協力者を募り、1時間25ユーロを払って画面共有と思考の実況を依頼した。デモ用ツールのリンク切れ、隠しファイルのリネーム方法、説明されていない専…
IRCv3 Working Groupは、IRCクライアントプロトコルの変更を試作・開発・テストするために活動している。SASLによる標準化されたアカウントログイン、メッセージタグ、away通知、server-time、batchといった拡張を提供し、いずれも旧来のクライアントとサーバーで後方互換性を保つ。現在はアカウント登録、チャット履歴、セキュア接続の自動検出、Unicodeのニックネーム対…
DHHがCampfireをAIエージェントにRustやElixirで書き換えさせたが、結果は散々。Rust版は負荷時に通知の99%をドロップし、Elixir版も万能ではなかった。筆者はコードを読まずにAIに任せる危うさと、単一のベンチマーク指標に飛びつくことの危険性を説く。
世界的なRAM不足と価格高騰を受け、IntelとAMDが旧世代のDDR4メモリに対応する新型CPUを投入する。GigabyteはIntelのLGA 1700ソケット向け新プロセッサとAMDのAM4向けマザーボードを発表。DDR5の32GBキットが620ドルなのに対し、DDR4は260ドルと価格差は2倍以上に広がっている。
Terence TaoがCaltechで行った講演「Math 2.0」のスライド。AIの台頭により、数学は「証明の希少性」から「証明の氾濫」の時代へ移行しつつある。証明が客観的に検証可能でデジタル化に適しているため、AIは数学の問題解決で目覚ましい成果を上げる一方、その能力は極めてギザギザで、未解決問題の空間は依然として無限に広がる。Taoは、問題解決の盲目的な最適化は数学の長期的健全性を損なう…
ペイウォール回避ツール12ft.ioの終了を受け、開発者が代替サービスWallHopを公開した。URLの先頭に「wallhop.io/」を付けるだけで記事を読めるほか、iPhoneショートカットやブックマークレット、/rawや/apiといったエンドポイントも用意。登録は不要で、https://の入力も要らない手軽さが特徴だ。
NYCの「Click to Cancel」ルールが2026年10月1日に発効した。オンラインで登録したなら同じ方法で解約できることを企業に義務付け、違反には525ドルからの民事制裁金と返金の可能性がある。DCWPが執行し、消費者は解約を妨害する企業をオンライン、郵送、FAXで通報できる。全米初の自治体レベルでの購読トラップ規制となる。
Nanolatheは、MITライセンスのオープンソースエンジンでTotal Annihilationをクリーンルーム研究により再実装したプロジェクト。ブラウザでオリジナルの3ミッションデモを無料で遊べ、自分のゲームファイルを持ち込めばWindows、Mac、Linuxでネイティブにフルゲームを楽しめる。モダンGPUレンダラーとClassic表示を切り替え可能で、オンライン対戦やリプレイ保存にも対…
- ▲ 186PATHにチルダを書いてはいけない
シェルの設定ファイルでPATHに「~/.local/bin」と書くと、チルダは展開されず、カレントディレクトリ配下の「./~/.local/bin」がPATHに追加される。nonoツールの警告をきっかけにこの落とし穴を解説し、$HOMEを使う修正法と確認コマンドを紹介する。
E-Paperディスプレイは通常リフレッシュが遅くゲームには不向きとされるが、ESP32上でGameBoyを30FPSで動作させるデモが公開された。Hacker Newsで話題を集めており、電子ペーパーの常識を覆す試みとして注目されている。
PSPi 6は、PSP 1000のメインボードを独自の回路基板に置き換え、Raspberry Piを頭脳として使えるようにするプロジェクト。800x480のLCD、充電管理、PSPのボタンやジョイスティックを活用し、RetroPieやUbuntuなどのOSが動作。設計はCreative Commonsライセンスで公開され、完成品の購入かPCBファイルからの自作が可能。
5000億トークン以上を費やし、AIエージェントがFPSゲームのC++ソースコードを自律的に再構築。バイト一致検証により83%の関数が完全一致し、99%の関数が再現された。正確性を機械的にチェックする仕組みが、安価なモデルでも高品質な作業を可能にした。
buy-european.netは、ChatGPT、Google、Netflix、Amazon、Coca-Colaなど200以上の非欧州製品・サービスに対して、欧州の代替品を検索できるディレクトリを公開している。カテゴリや企業名で検索でき、欧州製品を探すことも可能。欧州製品の利用を促す運動の一環として運営されている。
Valenが新たに採用した「グループ借用」は、コンパイラが参照の指す先を記憶することで、use-after-freeをコンパイル時に検出しつつ、複数の可変参照を許容する。Rustの借用チェッカーよりも制約が少なく、参照カウントやGCとの併用も可能。GoogleのCarbonやAnteなども採用を進めており、メモリ安全の新たな潮流となる可能性を秘めている。
BetterWisprは、macOS向けの無料・オープンソース音声入力アプリです。⌥Spaceを押しながら話すだけで、音声がテキスト化され、指定したアプリに自動入力されます。音声認識モデルはMac上で動作し、アカウント不要・オフラインでも利用可能。ParakeetやWhisperなど9種類のモデルから選択でき、日本語を含む多言語に対応。フィラー除去やアプリごとの文体設定、会議ノートの自動作成、語…
多くのLLMはsubword tokenizationに依存し、文字レベルの理解やコード・生物配列の処理に弱点を抱える。本研究は、既存のsubwordモデルをbyteレベルに改造する「byteification」を提案。通常の事前学習予算の1%未満、49.1BトークンでOlmoやQwen、LlamaからBolmo 7B/1B、Bwen 8B、Blama 8Bを構築した。byte列をpatchに集…
The Onionが270年分のアーカイブから欠落している1988年から2013年までの新聞号を探している。所有している読者に提供を呼びかけ、買い取りを申し出ている。
起業家だけが富を築けるという通説に、著者は異を唱える。堅実な会社員生活から富を築いた友人たちに共通するのは、給与を消費ではなく資産に変える習慣だ。学歴は最初の扉を開くが、結果を出し続ける力がキャリアを伸ばす。若いうちに学習を圧縮し、組織を超えて有用になり、証拠を残し、戦略的に動く。給与というエンジンの出力をどこへ向けるかが、富への分岐点となる。
hangul.inkは、Hangul Dayを記念して公開された、韓国語の手書き文字を筆圧付きのペンストロークとして生成するAIモデルです。ブラウザ上で韓国語テキストを入力すると、RNNがリアルタイムにストローク列を生成し、SVGアニメーションとして描画します。約35万パラメータの軽量モデルで、サーバー不要で動作。学習データとソースコードも公開されており、自動ペン制御やアート制作などへの応用が可…
SalmaはDevRelを辞めてインターネットから引退し、Chad Whitacreはタイプライターの手紙でテック業界を去って宗教のZINEを作るという。Brett CodesはAIの使用をやめ、SNSで話題になった。著者は彼らの決断を称えつつ、経済的な現実や、彼らがオンラインから消えることで失われるものについて思いを巡らせる。
筆者は子供の頃に図書館で借りたGermanポイント＆クリックアドベンチャーゲームをコピーしようとして失敗した経験を持つ。最近、archive.orgでそのディスクイメージを見つけ、Macromedia Directorのコピープロテクションを解析。ProjectorRaysで埋め込まれたDirectorファイルを逆コンパイルし、LingoスクリプトのCDチェックを発見。バイトコードを手動でパッチ…
Gitはオブジェクトをzlibで圧縮し、さらにpackfileで効率化するため、コミットのサイズはファイルの圧縮率とツリー構造に依存する。実験では、空のリポジトリが約64KB、250個の小さなファイルのコミットで約47KB、3バイトの変更で約17KB、単一ファイルのリポジトリでは約8KB、580KBのバイナリファイルで約300KB、16.4MBのソースファイルで約1.6MBだった。小さなコミット…
Nicolas CageがNew York Comic Conで、AmazonがAIの使用を認める同意書への署名を求めたと主張し、「自分はAIに友好的な俳優ではない」と述べた。AmazonはOpenAIに500億ドルを投資するAI推進企業だと指摘し、同スタジオと再び組むことはないと語った。問題作「Spider-Noir」は1シーズンで打ち切りとなっている。
カナダのYouTuberがFlock製に似たカメラを自作し、警察車両だけを追跡する仕組みを公開したところ、警察官が自宅を訪問。プライバシー侵害の懸念を伝えたという。警察側は、対監視ポリシーが捜査情報を犯罪者に漏らす恐れがあると主張したと報じられている。
Deezerにアップロードされる楽曲の44%はAI生成で、リスナーの97%はAI製かどうかを見分けられない。それでも半数以上が「人間が関わってほしい」と答える。BBCのRos Atkinsは、Sistine Chapelの壁画や1997年のKasparov対Deep Blueを引きながら、人間の手が生んだ芸術に「human premium」が生じていると論じる。一方でアルゴリズムが文化を選別する…
Linuxで使える手軽な空間オーディオエフェクトを自作するため、著者は商用プログラムの内部アルゴリズムを解明しようとした。LLMに相談しながらHRTFや残響を試すも行き詰まり、方針を転換。インパルス応答やスイープ、トーンなどのテスト信号をプログラムに通して録音し、線形時不変フィルタとして振る舞いを測定。4つのフィルタを抽出して再現に成功した。
UC Berkeleyの研究者らが1,222人を対象に行った実験で、AIツールにわずか10分依存するだけで、難しい課題への集中力と粘り強さが著しく損なわれることが判明した。AI利用群は支援が取り除かれると正答率が急落し、質問を放棄する割合が急増。一方、非利用群は粘り強く取り組み、最終的に成功率が上回った。研究チームは、AIが「生産的な苦闘」を奪い、認知的な体力を蝕むと警告している。
Diffleは、ブラウザ上でGitのdiffをレビューし、行・ブロック・ファイル単位でコメントできるキーボードファーストのツールです。コメントはエージェントへのプロンプトとして渡したり、GitHubの保留中レビューとして送信できます。LSPサポートにより定義ジャンプや参照検索も可能で、j/kキーで効率的にナビゲート。インストールはpixi、npm、またはスタンドアロンバイナリで簡単。開発者のコー…
Anthropicが11月12日発効の新利用ポリシーで、モデルへの「持続的で無意味な虐待的・残酷な行為」を禁止すると発表した。ただし、通常のユーザーの不満や反論、ダークな創作テーマ、モデルのテストや研究には適用されないとしている。この変更は選挙干渉、兵器開発、監視といったより重大な問題を含むポリシー全体の見直しの一環であり、既存の制限を明確化するものだという。
コンパイラバックエンドratの作者が、長年使ってきた線形スキャン方式のレジスタアロケータ（1392行）を、優先度付きビンパッキング方式（584行）に書き換えた。ライブレンジを重要度順に処理し、空いているレジスタに割り当てる。LLVMのgreedyアロケータと同じ系統だが、難しい部分は省いた。その結果、コードサイズは半分以下になり、生成されるコードの品質も向上。呼び出しをまたぐ値が自動的にcall…
ArtCraftの開発者Brandon Thomas氏が、Microsoft Officeに対抗するオープンソースツールGridCraft、DeckCraft、WordCraftを公開した。Excel、PowerPoint、Wordをそれぞれ置き換える狙いで、Claudeを使って作成され、GitHubで無料ダウンロードできる。同氏はすでにAdobeアプリの無料クローン群を手がけており、次はAut…
CIA World Factbookの終了を受け、World Bank、WHO、IMF、FAO、UNODCやガバナンス指標などのデータを集約した再構築サイトが公開された。217の国と地域を掲載し、一部には主権を持たない領域も含まれる。
Vedaは、AIエージェントを後付けのアシスタントではなくOSの一級市民として組み込んだ、Rustでフルスクラッチされたx86-64向けOS。UEFIブートローダー、ケーパビリティベースのマイクロカーネル、ドライバ、ウィンドウシステム、アプリまで自作し、QEMUやVirtualBoxで動作する。アプリはエージェント対応のプロトコルでアクションと状態を公開し、音声で「Hey Veda」と呼びかけれ…
Claude Codeのセッションをライブなチーム会議に変えるオープンソースツール「Agent Standup」。リードが指示を出し、サブエージェントが参加して画面共有しながら報告。誰が誰を待っているか、どこでブロックしているかがトークン消費ゼロで一目瞭然になる。VS CodeやCursor、ターミナル、デスクトップアプリなどから利用でき、音声やリプレイ機能も備える。お遊び要素が強いが、なぜか実…
Texas A&M大学の研究チームが、世界で最も多く生産されるプラスチックの一つであるpolyethyleneの微粒子が脂肪肝疾患を促進する可能性を発見した。不健康な食事と組み合わさると肝障害の兆候はさらに深刻化。空間トランスクリプトミクスを用いて、肝臓内の損傷部位とPPAR-alphaやANXA2といった分子経路を特定した。これまで生物学的に不活性と考えられてきた素材の新たな健康リスクを示す成…
2012年、Stack Overflowの匿名ユーザーがF#のパイプ演算子をRで実装する方法を質問したことから、Rのパイプの歴史が始まった。Ben Bolkerの%>%、Peter Meilstrupのchain、Hadley Wickhamのdplyr、Stefan Bacheのmagrittrを経て、2021年にネイティブパイプ|>がR 4.1.0に搭載されるまでの変遷を追う。
運営会社の公表料金をもとに、ヨーロッパの高速道路の通行料と燃料費を比較。フランスは車で100kmあたり約11ユーロと最も高く、11カ国は無料だが、そのうち5カ国は橋やトンネル、都市課金で別途料金がかかる。ヘルシンキからコスタ・デル・ソルへのルートでは、Øresund橋とGreat Belt橋の2つで225ユーロ、フランスの全通行料は121ユーロだった。燃料もデンマークとポーランドで60リットルあ…
スペインのMuseo de Historia de la Computaciónが、1976年の名機Cray-1を1:1スケールで視覚的に再現した。使われたのは2012年頃の「時代遅れ」のMac Mini 30台。18か月かけて組み上げられ、64コアで約1.3テラフロップスを記録。macOS MojaveとMPIを活用し、鋼鉄製シャーシとアルミトレイによる自然対流冷却でほぼ無音を実現している。
Microsoft CEOのSatya NadellaがXへの長文投稿で、高度なAIモデルの危険性に対する自らの見解を示した。AIを「入れ子状のブラックボックス」として扱い、その助言や行動をただ受け入れるか拒否するだけの世界はもう許されないとし、モデルを封じ込めて観察し、改ざん不可能な人間可読の証拠を残す透明な仕組みの構築を求めた。インシデントの速やかな開示、独立した監査、検証可能なデータ、封じ…
ドイツのAkhetonicsが、データを光のまま処理する全光学コンピュータの開発を進めている。共同創業者Leonardo Del Bino氏は「光は止まるのを好まない」と最大の難題を表現し、CEOのMichael Kissner氏は2026年末までに大手顧客向けの初の商用機を展開する計画を明かした。2ビットの光CPUアーキテクチャや約30世代のフォトニックチップ、既存コードを受け入れるコンパイラ…
APSWは「Another Python SQLite Wrapper」の名の通り、SQLiteのC APIとPythonのC APIを完全に接着するライブラリだ。全文検索、session、仮想テーブル、VFS、JSON、CArrayといった機能を網羅し、asyncフレームワークにも対応。SQLiteを他のDBドライバと交換可能に扱いたいなら標準のsqlite3モジュールが推奨だが、SQLite…
Nikonが主催するSmall World in Motionコンテストで、優勝した映像が生成AIを使用していたとして失格となり、賞金3000ドルが剥奪された。同社は「AI生成映像は許可されていない」という規則に基づき、審査員と協議の上で決定したと説明。優勝者はAIの使用を認めているが、生成AIがどのように使われたかは明らかにされていない。繰り上がりでNguyen Nam Nhat氏が新たな優勝…
ロボットの定義は技術ではなく、SFが生んだ社会的構築物だと著者は主張する。Karel Čapekの戯曲に起源を持つ「ロボット」という言葉は、私たちが不安や畏怖を感じる自動機械に使われ、技術の新規性や社会的含意への理解度に応じて対象が移り変わってきた。ISOの定義を満たす食洗機も、著者に実存的な問いを突きつけない限りロボットではない。
John Bergerの名著『Ways of Seeing』第1章。見ることは言葉より先にあり、私たちの世界との関係を基礎づける。Magritteの絵画を引きつつ、視覚と言葉の埋まらない溝を指摘。さらにFrans Halsの晩年の集団肖像画を例に、美術史家が作品を「調和」「人間性」といった美辞麗句で神秘化し、社会的文脈や階級対立を覆い隠す様を批判。過去の芸術を「見る」ことは、歴史の中に自分を位置…
playgrndは、ブラウザ上で動作する小さなツールを集めたサイトだ。すべての処理がローカルで完結し、データはアップロードも保存もされず、書き出したものはユーザーのものになる。フィルターやキーボード操作で目的のツールをすばやく見つけられる。2026年時点で無料。
著者は20年以上JPEG、PNG、SVGしか使ってこなかったが、Pixelmator Proに移行したことでWebPを扱いやすくなり、実際に使い始めた。同じ画質でファイルサイズが小さくなる利点を実感し、これまでWebPを煩わしく感じていたのが嘘のようだ。今後はAVIFやJPEG XLにも期待を寄せている。
Texasの電力網運用機関ERCOTには、2026年6月時点で474GWの大規模顧客が接続待ちの列に並ぶ。これは記録的なピーク需要の5倍以上で、約90%がデータセンターだ。開発業者が複数サイトに投機的な申請を乱発し、住民への説明も不足する中、州は新規許可を凍結。送電網の増強費用を誰が負担するのかという根本問題が、AIインフラの速度を左右し始めている。
OpenStreetMapの北朝鮮地図は、現地に行けない外国人たちが衛星写真をなぞって作っている。ドイツ、ウクライナ、カリフォルニアなどから、趣味や好奇心、そして「いつか役に立つかもしれない」という思いで参加する211人。彼らは軍施設や宮殿、未舗装道路まで描きながら、住民がインターネットにアクセスできない現実にも触れている。
celldはCloudflare WorkersとDurable Objectsを自前のマシンで動かすランタイムで、分散システム特有の再現困難なバグに悩まされてきた。そこで決定論的シミュレーションテスト（DST）を導入し、シード値で実行順序を制御して障害を再現。実際にアラームの競合状態を発見し、ウェイクエントリの設計変更で修正。回帰テストとして組み込むことで、将来のバグ再発を防ぐ仕組みを確立した。
自作OS「floss」をAArch64向けに開発中、スピンロックのldaxr命令がQEMUでは動作するのにRaspberry Pi 5の実機でData Abort例外を引き起こした。原因はSCTLR.Cビットが0でデータキャッシュが無効になっており、メモリが非キャッシュ可能として扱われていたこと。Write-Back属性のないメモリでは排他アクセスが機能しないことを実験で確認。実機とエミュレータ…
MITの研究者らが、曲げやねじれに応じて自身の3D形状をリアルタイムでデジタル再構成する柔軟な形状センシングシートを開発した。硬いセンサーではなく、シート全体にジグザグに埋め込んだ軟らかい光ファイバーが光のパターン変化を捉え、アルゴリズムがそれを解釈する。数本のファイバーが切断されても残りで形状を再現でき、誤差は0.4cm未満と既存の硬質センサー（1〜2cm）より高精度。リハビリやゲーム、遠隔操…
アメリカ人はチップ文化を嫌っているという記事をたくさん読んだ。でもチップは任意なのに、なぜ単にやめてしまわないのか？チップを払わなければ社会が改善され、お金も節約できる。Win-winではないか。
著者は、現在の生成AIを「人工知能」と呼ぶこと自体が伝統的なAIへの侮辱だと主張する。大規模言語モデルは高度に拡張された確率的オウムに過ぎず、知能を持つことはあり得ない。AI企業は人類史上最大の窃盗を行い、規制の隙間を狙い、中国との競争を煽って自らの利益を守ろうとしている。AIの危険性は技術そのものではなく、既存の人間の危険を加速させる点にあると論じる。
Economistの訃報が伝えるのは、フラットパネルディスプレイの礎を築いたCyril Hilsumの生涯だ。彼の研究がなければ、今のように画面に釘付けになることもなかったかもしれない。Hacker Newsでは、その功績を振り返る議論が交わされている。
LLM支援による脆弱性報告の洪水で、SysAdminやSRE、AppSecチームは日々CVEのトリアージに追われている。SBOMベースのスキャンでは実際には影響しない脆弱性まで大量に検出され、手動でのVEX作成はコード変更のたびにやり直しが必要だ。Goのreachability解析のように、NixOSでは設定をコードとして表現できるため、影響条件をそのままVEXステートメントに書き下せる。条件が…
2026年10月11日に予定されるDNSルート鍵（KSK-2024）のロール。RFC 8145とRFC 8509の測定によると、報告するリゾルバの約90%が新鍵を信頼している一方、エンドユーザー側では約70%にとどまる。特定のISPでは信頼率が1%を切るケースもあり、ロール時に検証障害が起きる可能性がある。
AIによる認知のオフロード化をめぐる議論に対し、著者は自身の経験から反論する。メールの下書きや確定申告の複雑な手続きをAIに任せることで、判断疲れが減り、創造的な活動や生活の余白が増えたという。すべてを任せるのではなく、金銭・顧客・本番環境に関わる部分は必ず人間が確認する。AIは社会が作った複雑なルールを解き、その中で遊ぶための道具であり、認知能力を高めると主張する。
The Atlanticの記事「The Marriage That Captures a High Point of American Art」をめぐるHacker Newsの議論。コメントしたsilverForkは、Jackson PollockとLee Krasnerの結婚を扱った内容に触れつつ、Pollockより前のKrasnerの作品のほうが野心的だったと主張。さらに、忘れられたPoll…
複数言語のライブラリを提供するプロジェクトでは、Doxygen、rustdoc、Sphinxなど異なるAPIリファレンス生成ツールの出力を1つのドキュメントサイトに統合する必要がある。pigweed.devでは各ツールの出力をそのまま活かす「turducken」戦略を採用。Pagefindによる横断検索と共通ヘッダーで、別々のサブサイトを繋ぐ試みが進んでいる。
gzipは連結可能だが、curlやChromeは2つ目のストリームを黙って捨てる。brotliはDropboxのrust-brotliで連結可能になり、zstdは最初から連結をサポート。各形式の連結方法とブラウザ対応を検証する。
Alina Pereverzieva氏によると、YandexネットワークからのボットトラフィックがVladimirデータセンターへの攻撃後、ほぼゼロにまで急落した。ボットトラフィックには検索クローラーやスクレイパーなどの自動リクエストが含まれる。同氏は「Twitterは今やゴーストタウンだろう」と皮肉った。
GSD Task Managerは、AIエージェントにタスクリストを与えるMCPサーバーです。Eisenhower MatrixでToDoを「緊急」と「重要」に分類し、オフラインで完全に動作する視覚的なタスク管理を実現します。TypeScriptとNext.jsで構築され、npmパッケージとして提供。AIエージェントがタスクの作成、更新、削除、一括操作を実行でき、人間とAIが同じタスクリストを共…
jorgeandrecastro氏が公開したgithub-workflowは、GitHubのリポジトリやブランチをターミナル上で操作するためのRust製TUIツール。UIにはRatatuiを採用し、コードはRustのみで構成された最小限の作りになっている。スター数はまだ0で、公開されたばかりの個人プロジェクトだ。
better-authをモデルにしたGo向けの包括的な認証ライブラリ。メール/パスワード、ソーシャルログイン、セッション、2要素認証、パスキー、マジックリンク、組織、SSO、APIキー、JWTを標準ライブラリのみで実装。SQLite、PostgreSQL、MySQLの実サーバーに対するCI検証を通過し、PostgreSQLでは本番運用中。v1.0に向けて第三者セキュリティレビューなどの課題が残る。