◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2026-04-29 | 翌日 >
21
 

GhosttyがGitHubを離れます

 (mitchellh.com)
Ghosttyは、繰り返される障害で作業が妨げられているとして、GitHub依存を段階的に減らし移行を進める予定です。
5 ポイント 投稿者 GN⁺ 1 일 전 | 3件のコメント
22
 

Dilloブラウザ 3.3.0 リリース

 (dillo-browser.org)
Dillo 3.3.0 では `dilloc` によるリモート制御、OAuth フロー改善、FLTK 1.4 の実験的サポート、各種機能追加とバグ修正が導入された。
4 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
23
 

MCPツールを50個書いて気づいたこと：関数呼び出しは異常に親密な関係だった

 (evan-moon.github.io)
資産管理ツールをCLIとMCPで並行実装した経験から、LLM時代のツール設計ではシグネチャより説明とアフォーダンスが重要になることを論じた文章。
6 ポイント 投稿者 bboydart91 1 일 전 | コメントと議論
24
 

プロンプト API

 (developer.chrome.com)
Chrome 内蔵の Gemini Nano を使って、テキスト・画像・音声入力によるオンデバイス AI をブラウザ内で扱える Prompt API の仕組みと制約を整理した内容。
5 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
25
 

なぜただ Lean を使わないのか

 (lawrencecpaulson.github.io)
Lean だけが唯一の道ではなく、AUTOMATH・LCF・Isabelle・Mizar などの系譜と AI による証明翻訳の可能性を踏まえて proof assistant の選択肢を論じる。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
26
 

学生たちへ

 (ozark.hendrix.edu)
コードの量や短期的利益よりも、人・関係・正義、そして深く考える姿勢を優先すべきだと学生たちに語る文章。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
27
 

Warpのオープンソース化とエージェント中心の開発モデル発表

 (x.com/zachlloydtweets)
Warpがクライアントのオープンソース化と、Ozを軸にしたエージェント優先の開発モデルへの転換を発表しました。
4 ポイント 投稿者 ragingwind 1 일 전 | 1件のコメント
28
 

GitHubで現在障害が発生中

 (githubstatus.com)
GitHubでPull Requestsのパフォーマンス低下が発生しており、インデックス不整合によって一部のpull request結果が表示されない可能性があります。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
29
 

Super ZSNES - GPUベースのSNESエミュレーター

 (zsnes.com)
GPUベースの新しいSNESエミュレーターSuper ZSNESが、高精度コアと各種拡張機能を備えてWindows・Mac・Linux・Android向けに公開された。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
30
 

Quarkdown - 強力な機能を備えたMarkdown

 (quarkdown.com)
MarkdownにLaTeX級の組版、doctype切り替え、高速プレビュー、スクリプティングを組み合わせ、論文からスライドまで1つで扱えるオープンソース文書作成ツール。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
31
 

Warp、ターミナルベースのAgentic Development Environmentをオープンソース化

 (github.com/warpdotdev)
Warpがターミナルクライアントをオープンソース化し、AIエージェントを前提とした新しいオープンソース貢献ワークフローも提案しています。
6 ポイント 投稿者 happyhaki 1 일 전 | 4件のコメント