241Show HN: Rift – macOS用タイルウィンドウマネージャーRift は、 macOS 向けのタイル型ウィンドウマネージャー。 パフォーマンス と 使いやすさ を重視した設計。 現在も 積極的に開発中 で、安定動作が期待できる。 非公開API の活用による高い...372日前|原文(github.com)
242AnthropicのプロンプトエンジニアリングチュートリアルAnthropicのPrompt Engineering Interactive Tutorial Course の紹介 Claudeで最適なプロンプト設計 を段階的に学習 基礎から応用まで9章構成、...372日前|原文(github.com)
243マイクロソフト アンプルファイアAmplifier はAI開発支援を強化する統合環境 20種類以上の専門エージェントと自動化ツールを搭載 ドキュメント知識抽出や並列開発など独自機能を提供 導入・基本操作・応用まで一連のワークフローを...372日前|原文(github.com)
244Windows用のFreeBSDサブシステムWindows Subsystem for FreeBSD (WSFB) は、FreeBSDをWSL2上で動作させる実験的プロジェクト FreeBSDのベースシステム をほぼ変更せずにWSL2環境で起...373日前|原文(github.com)
245HNに表示: 小型の携帯用キーボードを作りましたKeyer は片手で操作できるコード入力キーボードの自作キット。 最小限の指の動き で多彩な入力が可能、他の手は自由に使える。 低コスト ・ 簡単製作 ・ 高いカスタマイズ性 が特徴。 エルゴノミクス...374日前|原文(github.com)
246HNに表示: Cでウェブフレームワークを作りましたLavandulaは、 軽量 かつ 高速 なC言語製Webフレームワーク。 シンプルさ と 生産性、 パフォーマンス に重点。 CLIによる 迅速なプロジェクト作成 や 組み込み機能 が特徴。 SQL...374日前|原文(github.com)
247Devpush – Vercel、Render、Netlifyのオープンソースで自己ホスティング可能な代替手段/dev/pushは、VercelやRender、Netlifyのようなサービスの オープンソース自ホスティング代替 です。 ゼロダウンタイム更新 やチーム管理、カスタムドメインなど豊富な機能を提供。...377日前|原文(github.com)
248Mise: モノレポタスクmise に Monorepo Tasks が登場。 複数プロジェクトを単一リポジトリで 効率管理 可能。 タスク自動検出 ・ ツール継承 ・ ワイルドカード実行 を提供。 多言語対応 ・ シンプルな...377日前|原文(github.com)
249ProofOfThought: Z3定理証明を用いたLLMベースの推論ProofOfThought は、 Z3定理証明 と LLM を組み合わせた推論フレームワーク。 OpenAI API を利用し、自然言語クエリに論理的な答えを返す仕組み。 バッチ評価 や 簡単なイン...379日前|原文(github.com)
250「Advent of Code」の解法を用いたAdaとRustの比較johnperry-math の AoC2023 プロジェクトに関する GitHub通知設定 について解説。 通知設定変更 には サインイン が必要。 Fork数 と Star数 も記載。 プロジェク...379日前|原文(github.com)
251Niri – スクロール可能なタイル型Waylandコンポジタniri は、Wayland向けの スクロール型タイル型コンポジタ。 ウィンドウは 無限に右へ続くストリップ で管理、既存ウィンドウのリサイズなし。 マルチモニター ・ 動的ワークスペース ・ カスタ...381日前|原文(github.com)
252Fp8は、カーネル名に「cutlass」が含まれている場合、約100テラフロップス速く動作します。broadcast時のレイアウト不一致 によるValueError発生 BlockedLayout と DistributedLinearLayout の不整合 layout inference の動...381日前|原文(github.com)
253FyneDesk: Go言語で書かれたLinux用のフルデスクトップ環境FyneDesk は、Linux/Unix向けの シンプルなデスクトップ環境 Go言語 と Fyneツールキット で構築、開発・利用が容易 必要な 依存ツール と インストール手順 を紹介 開発者向け...381日前|原文(github.com)
254プレイボール – ターミナルからMLBの試合を観戦するplayball はMLBの試合を ターミナル上で観戦 できるツール インストールや実行が 簡単 で、カスタマイズ性も高い キーボード操作 でスケジュールや試合情報の閲覧が可能 色設定やお気に入りチー...381日前|原文(github.com)
255Immich v2.0.0 – 初の安定版リリースImmich v2.0.0 が正式リリース 3年超の開発期間 と大規模なコミュニティの支援 安定版 となり、今後は互換性維持を重視 新しい 物理ディスク版やグッズ も登場 今後のロードマップやQ&A配...382日前|原文(github.com)
256CDCファイル転送CDC File Transfer は、Stadia終了後に開発されたファイル同期・ストリーミングツール群 FastCDC アルゴリズムを用いた差分転送で高速化・効率化を実現 WindowsからLin...383日前|原文(github.com)
257ゼロからオペレーティングシステムを作る方法os-tutorial は古く、設計や技術面で課題があるプロジェクト。 OS開発の基礎を短時間で学びたい人向けの実践的なチュートリアル。 理論よりも実践重視で、各レッスンは5～15分で完了可能。 順番...384日前|原文(github.com)
258DeepSeek-v3.2-ExpDeepSeek-V3.2-Exp は、次世代アーキテクチャへの中間段階としてリリース DeepSeek Sparse Attention による長文処理効率の大幅向上 V3.1-Terminus と...385日前|原文(github.com)
259SSH3: HTTP/3を利用した高速で豊富なセキュアシェルSSH3 は、SSHプロトコルをHTTP/3の上に再設計した実験的なリモートターミナル技術 QUIC+TLS1.3 による高速なセッション確立とHTTP認証（OAuth2.0等）をサポート 隠しURL...386日前|原文(github.com)
260SimpleFold: タンパク質の折りたたみは思っているよりも簡単ですSimpleFold は、汎用Transformer層のみで動作する新しいタンパク質折り畳みモデル 複雑なドメイン固有設計や高価なモジュールを排除し、 flow-matching生成的学習目標 で訓練...387日前|原文(github.com)