341デブレインロット・バケーションズソフトウェアエンジニアとしての経験 による脳の変化と課題意識 読書習慣の減少 とデジタルコンテンツの影響 バケーション中の新しい習慣 とリフレッシュの試み 数学・物理学への再挑戦 と知的好奇心の復活 ...42日前|原文(devz.cl)
342「Donkey.bas」は45周年 – 栄光の131行DONKEY.BAS は1981年のIBM PC向けクラシックゲーム Microsoft 共同創業者Bill GatesとNeil Konzenが開発 プレイヤーは 車線変更 のみでロバを避けるシンプ...66日前|原文(donkeybas.com)
343ジュラシック・パークのコンピュータを徹底的に解説『Jurassic Park』に登場するコンピューターやソフトウェアを徹底的に調査 AppleやSGIなど90年代の高額・高性能ハードウェアの実機使用 制作現場のリアルな機材配置や技術的工夫の紹介 映...96日前|原文(fabiensanglard.net)
344クアルコムがモジュラーを買収予定QualcommがAIスタートアップModularの買収を発表 AI推論エンジン「Mojo」や「Modular Inference Engine」などの技術獲得 AI開発エコシステムの拡大と競争力強化...117日前|原文(reuters.com)
345OCamlcのための新しいC++バックエンドこのパッチは、 OCaml のコンパイラ ocamlc に新しい C++バックエンド を追加 従来のC実装よりも 可読性と機能性 が向上 C++コードは 純粋関数型 スタイルで生成されるため、OCam...200日前|原文(github.com)
346フリーソフトウェアは勝利していないオープンソース や Free Software の現状と課題についての講演内容 表面的な「勝利」論と、実際の利用現場での 閉じたソフトウェア依存 のギャップ ファームウェアやアプライアンス など、深層...371日前|原文(dorotac.eu)
347RFC 9839と不適切なUnicodeUnicode を使う場合、全ての文字を許可すべきではないという指摘 RFC 9839 が問題のあるUnicode文字と推奨されるサブセットを定義 JSONなどのデータ構造設計時に 問題文字の除外 が...422日前|原文(tbray.org)
348自作のCPUと自作のCコンパイラでUnix系OS Xv6を動作させました東京大学の情報科学科で行われた CPU実験プロジェクト の体験談 独自ISA設計、FPGA上へのCPU実装、Cコンパイラ開発、 Xv6 OS移植 の挑戦 学生主体の学習と開発が求められる 高度な課題設...478日前|原文(fuel.edby.coffee)
34910年間の果樹画水彩画Pomological Watercolor Collection の公開推進活動の10年回顧 FOIAリクエスト を通じた画像の一般公開実現 Wikimedia Commons やSNSでの展開、P...479日前|原文(parkerhiggins.net)
350部分文字列検索のためのSIMDフレンドリーアルゴリズム (2018)文字列検索アルゴリズムの従来手法の課題と現代CPUとのギャップ SIMD命令を活用した高速な部分文字列検索手法の紹介 Karp-RabinアルゴリズムのSIMD最適化と具体的な実装例 各種SIMD命令...492日前|原文(0x80.pl)
351「Claude」とのリアルコードの出荷に関するフィールドノートAI支援開発 による生産性向上の本質と具体的手法を解説。 Julep 社での実践例や Claude 活用ノウハウを紹介。 テスト記述の重要性 とAI任せにしすぎるリスクを強調。 AI活用の3モード (...498日前|原文(diwank.space)
352マイクロサンドボックス:コンテナのように感じ、動作する仮想マシンmicrosandbox は、信頼できないユーザーやAI生成コードを安全かつ高速に実行するための 超軽量仮想化環境 を提供。 microVM による堅牢な分離、 200ms未満の即時起動、 自己ホスト...507日前|原文(github.com)
353Show HN: Petal、オープンソースのCoScreen/ScreenHeroがついに無料にPetal は、完全無料・オープンソースのペアプログラミング&画面共有ツール 複数ユーザー が同時にリアルウィンドウを共有・操作可能 自己ホスト ・クラウド利用・フルカスタマイズに対応 CoScree...4日前|原文(petal.live)
354Qwen3.8 27Bの量子化ベンチマーク: 4ビットは維持され、1ビットは崩壊するQwen3.8 27Bモデルの量子化とGPUメモリ要件の比較。 4ビット量子化(Q4KM, 17GB)は品質をほぼ損なわずにRTX 4090で動作可能。 2ビット以下では性能が急激に低下し、1ビットで...41日前|原文(quesma.com)
355Squeak 6.1Squeak 6.1 "Vanessa" リリースノートの概要と主な特徴 新しいツリーブラウザ や Objectland の復活など大幅な機能追加 カーネル基盤 や ツールセット の改良とバグ修正 G...70日前|原文(squeak.org)
356シリコンバレー創業者のミートグラインダーJim という人物の数年間の波乱万丈なキャリアと人生の軌跡 スタートアップ業界 での成功と挫折のリアルな描写 シリコンバレー における急成長と急落の典型例 著者自身のキャリアとの比較と 教訓 安定した...78日前|原文(zaksa.zip)
357Paged Out #9 [pdf] の翻訳は以下の通りです: Paged Out #9 [pdf]ファイルが破損または不明な形式のデータが入力されています。 内容の解読や要約ができません。 正常なテキストデータや質問の再送信を推奨します。 もし特定のトピックや質問があれば、再度ご入力ください。 迅...84日前|原文(pagedout.institute)
358ハードコアインディウェブ:自分のウェブサイトを完全に独立して運営するために、たったの1日0.01ドルでIndieWeb はウェブ上での 自己所有 と 独立性 を重視するムーブメント サブスクリプション型ブログサービスは 真の独立性 を損なう可能性 Hardcore IndieWeb は自分のハードドラ...92日前|原文(neatnik.net)
359「Gleam」が「Tangled」に登場しましたGleam は、型安全かつスケーラブルなシステム構築のためのフレンドリーな言語。 主要な実装言語は Rust で、他にもJavaScriptやErlangなどが利用されている。 リポジトリのクローン ...93日前|原文(tangled.org)
360「リーンを使えばいいのでは?」数学の形式化は Lean 以前から続く長い歴史 AUTOMATH やLCFなど初期のシステムの重要性 Leanの成功と 依存型理論 への批判 Isabelle など他システムの利点と選択理由 AIや今...175日前|原文(lawrencecpaulson.github.io)