8361CRDTを同型暗号化するローカルファーストソフトウェア での共同編集とセキュリティの課題 エンドツーエンド暗号化 によるプライバシー保護の仕組み 同時非同期編集 とサーバーによるマージの問題点 準同型暗号 による暗号化データ...506日前|原文(jakelazaroff.com)
8362Show HN: Unregistry – レジストリなしでサーバーに「docker push」を直接行うUnregistry は外部レジストリ不要でDockerイメージをSSH経由で直接リモートサーバーへ転送 docker pussh コマンドで差分レイヤーのみ高速転送 インストールや使い方が簡単で、C...506日前|原文(github.com)
8363ポライン – 極座標を用いた謎めいたカラーパレットジェネレーターPoline は、 極座標 を活用した独創的なカラーパレット生成ライブラリ。 アンカー間の線引き による魔術的な色配置が特徴。 TypeScript製 のマイクロライブラリで、柔軟なカスタマイズが可能...510日前|原文(meodai.github.io)
8364Framework Laptop 12のレビューFramework Laptop 12は、カラフルで親しみやすいデザインが特徴のモジュール式ノートPC。 耐久性の高いプラスチック外装とユーザーによるカスタマイズ性の高さが魅力。 ディスプレイやキーボ...506日前|原文(arstechnica.com)
8365AIエージェントの成功率には半減期があるのか？Kwa et al. (2025) の研究に基づくAIエージェントの長時間タスク性能分析 成功率は タスク長 に対して指数関数的に減少し、 半減期 で特徴付け可能 METR によるAIタスク完了時間の...506日前|原文(tobyord.com)
8366私のiPhone 8は死なない: 今やソーラー駆動のビジョンOCRサーバーになったApple Vision フレームワークと 再生可能エネルギー のみで、1年以上にわたりOCR処理を実施 iPhone 8 をサーバー化し、完全オフグリッドで動作 年間 83,418件のOCRリクエス...506日前|原文(terminalbytes.com)
8367テルプストラキーボードSiemen Terpstra による独自レイアウトの楽器チューニングツール。 WebApp としてJames Fennらが開発・拡張。 GPL-3.0 ライセンスでオープンソース提供。 GitHub...506日前|原文(terpstrakeyboard.com)
8368機械学習を用いてモンゴルのユルトをすべてカウントしましたMongolia の現代社会と伝統的なゲル（yurt）の分布に関する探究 衛星画像と機械学習 によるゲルの数の推定プロジェクト YOLO を使ったオブジェクト検出モデルの構築とデータセット作成 地理情...506日前|原文(monroeclinton.com)
8369アンドレイ・カルパティのYC AI SUSトーク：業界の未来についてAndrej Karpathyによる Software 3.0 の講演内容を日本語で要約 ソフトウェアの進化、 1.0/2.0/3.0 という新たな分類 LLM（大規模言語モデル）が 新しいOS的存在...506日前|原文(donnamagi.com)
8370Show HN: Lstr – Rustで書かれた現代的でインタラクティブなツリーコマンドlstr はRust製の高速・ミニマルなディレクトリツリービューア tree コマンドを現代的に進化させたインタラクティブTUIモード搭載 Git連携 やアイコン表示、ファイルサイズ・権限表示など多機...507日前|原文(github.com)
8371A*アルゴリズム入門 (2014)グラフ探索アルゴリズム は、地図上で最短経路を見つける手法 A\ は最短経路探索の代表的なアルゴリズム Breadth First Search や Dijkstra’s Algorithm など他の...507日前|原文(redblobgames.com)
8372LLMはDSL設計者にとって興味深い課題を提起するLLM時代 におけるプログラミング言語設計の課題と変化 DSL（ドメイン特化言語） の意義とLLMによる影響 Pythonなどの一般言語 でのLLM性能の高さとDSLへの影響 LLMとDSLが 共存・...507日前|原文(kirancodes.me)
83733Dプリントデバイスが無電力でホワイトノイズを音響の虹に分割するデンマーク工科大学とUniversidad Politécnica de Madridの研究者による新型音響デバイスの開発 3Dプリント技術と計算形態発生を活用した Acoustic Rainbow ...509日前|原文(phys.org)
8374なぜJPEGが今もウェブを支配しているのか (2024)JPEGは30年以上にわたりWebの主要画像フォーマット。 GIFに取って代わった理由は、標準化と劣化特性。 JPEGの標準化は多くの企業の協力によるもの。 DCT圧縮による高効率と柔軟性が特徴。 特...507日前|原文(spectrum.ieee.org)
8375Workout.cool – オープンソースのフィットネスコーチングプラットフォームworkout.cool は、オープンソースの フィットネスコーチングプラットフォーム。 トレーニングプラン作成、進捗管理、豊富な エクササイズデータベース を提供。 workout.lol の後継と...506日前|原文(github.com)
8376MiniMax-M1オープンウェイト大規模ハイブリッドアテンション推論モデルMiniMax-M1は、世界初のオープンウェイト大規模ハイブリッドアテンション推論モデル。 ハイブリッドMoEアーキテクチャとLightning Attentionを組み合わせ、高効率・長文処理に対応...507日前|原文(github.com)
8377Show HN: Tattoy – テキストベースのターミナルコンポジタTattoy はターミナルに視覚効果を追加するフレームワーク GPUシェーダー やライブ更新される スクロールバックミニマップ を搭載 既存のシェルやプロンプトと シームレスに連携 自動コントラスト調...511日前|原文(tattoy.sh)
8378Google翻訳が教えてくれる「バイブコーディング」についてGoogle Translate の進化と機械翻訳の限界について考察 翻訳者やプログラマー の職業消滅論に対する批判的視点 機械翻訳と 人間の役割 の違いを具体例で解説 AIやLLM の実用性と現状の...507日前|原文(ingrids.space)
8379Scrappy - あなたと友達のための小さなアプリを作ろうScrappy は、個人や友人・家族向けの 手作りアプリ 作成ツール プログラミング経験が少ない人 でも、簡単にカスタムアプリを作成・共有可能 既存の大量生産アプリ では対応できない、個別ニーズや身近...507日前|原文(pontus.granstrom.me)
8380Bzip2クレートがCから100% Rustに移行bzip2の最新版0.6.0がリリースされ、 Rust実装 のlibbz2-rs-sysがデフォルトに この変更により 高速化 と クロスコンパイル容易化 を実現 libbz2-rs-sysは Cダイ...507日前|原文(trifectatech.org)