441Show HN: Patio – 工具をレンタルし、DIYを学び、廃棄物を削減するPatio は、DIYをより 身近 かつ 持続可能 にするためのコミュニティ主導型プラットフォーム。 工具のレンタル、 チュートリアル学習、 余剰資材の売買、 ニュース閲覧 が可能。 ユーザー体験や ...507日前|原文(patio.so)
442分析IのためのリーンコンパニオンAnalysis I の内容を Lean で形式化したコンパニオンの紹介 自然数や集合論 など、基礎的な構成と証明をLeanで再現 Mathlib との連携と独自定義の使い分け方針 演習問題 はLea...507日前|原文(terrytao.wordpress.com)
443精密時計 Mk IVPrecision Clock Mk IV の開発経緯と設計思想を解説 パンデミック時の部品不足 による遅延と再始動の背景 高精度・高可視性 ・自動タイムゾーンなどの主要仕様 複雑なヒンジ構造 と多機...507日前|原文(mitxela.com)