アーカイブ | GeekNews ◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2025-11-25 | 翌日 > | 翌週 >> | 翌月 ▷ 21 Zorin OS 18、リリースから1か月で100万ダウンロードを達成 (blog.zorin.com) Zorin OS 18がリリースから1か月で100万ダウンロードを達成し、その78%がWindowsユーザーからのものでした。 12 ポイント 投稿者 GN⁺ 2025-11-25 | 1件のコメント 22 エルデシュ問題のウェブサイトでAI支援が日常化しつつある (mathstodon.xyz) エルデシュ問題 #367 の解決で、AIが証明生成・Lean形式化・文献検索まで担い、数学研究の標準的な補助手段になりつつある様子が示された。 1 ポイント 投稿者 GN⁺ 2025-11-25 | 1件のコメント 23 µcad: 2Dスケッチと3Dオブジェクトを生成できる新しいオープンソースのプログラミング言語 (microcad.xyz) Rust製のオープンソースCAD向けプログラミング言語µcadは、コードで2Dスケッチと3Dオブジェクトを定義し、STL・SVGへ書き出せる。 2 ポイント 投稿者 GN⁺ 2025-11-25 | 1件のコメント