41
 

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

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

学生たちへ

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

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

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

GitHubで現在障害が発生中

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

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

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

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

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

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

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

オランダ中央銀行、AWSを離れ欧州クラウドとしてLidlを選択

 (techzine.eu)
オランダ中央銀行は米国クラウド依存を下げるため、Lidl発のStackitを通じた欧州クラウド移行を進めている。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
49
 

1930年の13Bヴィンテージ言語モデル Talkie

 (talkie-lm.com)
1931年以前の英語テキストだけで学習した13Bヴィンテージ言語モデル「Talkie」は、時間的リークやOCR品質の課題を抱えつつも、汚染の少ない未来予測・一般化研究基盤を提示する。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
50
 

dirac-run/dirac

 (github.com/dirac-run)
長いコンテキストでの推論ぶれを抑えるため、高密度なコンテキストキュレーションと低コスト最適化を組み合わせたオープンソースのコーディングエージェント。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
51
 

中国、MetaによるAIスタートアップManusの買収を阻止

 (cnbc.com)
中国当局がMetaによるManus買収の撤回を要求し、Singapore移転型AIスタートアップへの規制監視が一段と強まっている。
1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント
52
 

VibeVoice - オープンソースの最先端音声AIモデル

 (github.com/microsoft)
Microsoftのオープンソース音声AIモデル群で、長時間ASR・高品質TTS・リアルタイムTTSを多言語対応で提供する。
26 ポイント 投稿者 xguru 1 일 전 | 1件のコメント
53
 

私の青はあなたの青と同じですか？

 (ismy.blue)
青と緑の境界を自分で分類しながら、色認識のカテゴリ分けを体験できる短いインタラクション。
1 ポイント 投稿者 GN⁺ 2 일 전 | 2件のコメント
54
 

ハーネスエンジニアリング：モデルより重要な作業環境設計の時代

 (addyosmani.com)
コーディングAIの性能はモデルそのものより、それを取り巻くハーネス設計によって大きく左右されるという見方を整理した分析。
46 ポイント 投稿者 ragingwind 2 일 전 | 10件のコメント
55
 

pgbackrest/pgbackrest

 (github.com/pgbackrest)
PostgreSQL向けバックアップ・リストアツールpgBackRestはメンテナンスを終了したが、大規模環境向けの豊富な機能と整合性重視の設計で知られていた。
3 ポイント 投稿者 GN⁺ 2 일 전 | 1件のコメント
56
 

MercorでAI契約者4万人分の音声サンプル4TBが流出

 (app.oravys.com)
Mercorの流出で、4万人超のAI契約者に関する音声バイオメトリクスと政府発行身分証が結び付いた4TB規模のデータが漏えいした。
1 ポイント 投稿者 GN⁺ 2 일 전 | 1件のコメント
57
 

壁を見つめる男たち

 (alexselimov.com)
情報過多とドーパミン刺激で崩れた集中力を、数分間壁を見つめるルーティンで立て直す試みを紹介する。
2 ポイント 投稿者 GN⁺ 2 일 전 | 1件のコメント
58
 

GitHub Copilotが従量課金制に移行

 (github.blog)
GitHub Copilotは2026年6月1日から従量課金制へ移行し、月次のAI Creditsに基づいてモデル別トークン消費量で課金される。
6 ポイント 投稿者 GN⁺ 2 일 전 | 10件のコメント
59
 

HyperFrames - HTMLで動画を作るAIエージェント向けオープンソースフレームワーク

 (github.com/heygen-com)
HTMLをそのまま動画として扱い、AIコーディングエージェント向けに最適化されたApache 2.0のオープンソース動画フレームワーク。
21 ポイント 投稿者 xguru 2 일 전 | 1件のコメント
60
 

MicrosoftとOpenAI、独占契約と収益分配契約を終了

 (bloomberg.com)
MicrosoftとOpenAIは独占販売権と売上分配の仕組みを見直し、OpenAIが他のクラウド事業者とも取引できるようにした。
4 ポイント 投稿者 GN⁺ 2 일 전 | 1件のコメント