人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

OpenAuth：ユニバーサルで自己ホスト型のOAuth 2.0サーバー

2024-12-17
OpenAuth：ユニバーサルで自己ホスト型のOAuth 2.0サーバー

OpenAuthは、普遍的で、標準ベースのオープンソース認証プロバイダーです。スタンドアロンサービスとしてデプロイすることも、既存のアプリケーションに埋め込むこともでき、フレームワークに依存せず、Node.js、Bun、AWS Lambda、またはCloudflare Workers上で動作します。OAuth 2.0仕様に準拠しており、カスタマイズ可能なテーマ付きUIを提供します。ライブラリであるほとんどのオープンソース認証ソリューションとは異なり、OpenAuthは、インフラストラクチャでの簡単な自己ホスティング用に設計された中央集権型サーバーです。ユーザー管理は意図的に省略されており、代わりにカスタムユーザー検索/作成ロジック用のコールバックを提供します。データストレージは最小限（更新トークンなど）で、シンプルなKVストア（Cloudflare KV、DynamoDB）を使用します。事前に構築されたUIが利用可能ですが、簡単にカスタマイズまたは完全に置き換えることができます。SSTチームによって作成されたOpenAuthは、アプリケーションの認証を簡素化します。

続きを読む
(openauth.js.org)
開発 オープンソース認証 自己ホスト型

git checkout を共同で非推奨にすべきか？

2025-01-09
git checkout を共同で非推奨にすべきか？

この記事は、git checkoutコマンドを共同で非推奨とすることを主張しています。著者は、git checkoutコマンドが複雑で分かりにくく、特に初心者にとって混乱を招くと主張しています。代わりに、より分かりやすいgit switchとgit restoreコマンドを使用することを提案しています。Gitはgit checkoutコマンドを削除しませんが、著者は、より良い代替案へのコミュニティ主導の移行を促し、全体的なGitエクスペリエンスを向上させ、初心者の混乱を避けることを推奨しています。

続きを読む
(mirawelner.com)
開発

Common LispでYouTubeの音楽をOCRで抽出：完璧なピクセル冒険

2025-01-06

開発者がCommon Lispを使ってYouTube動画から音楽データを抽出を試みました。TesseractとChatGPTを使った最初の試みは失敗に終わりました。最終的に、文字画像を手動で抽出し比較する、古いスタイルのピクセル差分法を用いて、大部分の楽譜データを抽出することに成功しました。完璧ではありませんでしたが、抽出されたデータは十分であり、この方法の実現可能性を示しました。この記事では、Lispを使った画像処理と効率的な開発についても詳述されています。

続きを読む
(nickfa.ro)
開発

Notion：オールインワンワークスペース

2025-01-26
Notion：オールインワンワークスペース

Notionは、ノート、タスク管理、Wiki、データベースを単一のプラットフォームに統合した、強力なオールインワンワークスペースです。柔軟でモジュール式の設計により、ユーザーはワークフローをカスタマイズでき、個人メモ、チームコラボレーション、ナレッジベース管理などに適しています。クリーンなインターフェースと強力なカスタマイズオプションにより、生産性向上とナレッジマネジメントに最適です。

続きを読む
(hkust-nlp.notion.site)
開発 ナレッジマネジメント

Proxmoxを使った簡単macOSインストール

2024-12-12
Proxmoxを使った簡単macOSインストール

このプロジェクトは、Proxmox VEバージョン7.0から8.2を使用して、あらゆるコンピューターにmacOSをインストールするための簡素化された方法を提供します。単一のスクリプトがセットアッププロセスを自動化し、ユーザーはHigh SierraからSonomaまでのmacOSバージョンをProxmox仮想マシンで簡単に実行できます。クラウド環境でのインストールもサポートされており、ビデオチュートリアルも利用可能です。

続きを読む
(github.com)
ハードウェア 仮想化

printfデバッグ論争：ベテランゲーム開発者の意見

2025-01-06

ベテランゲーム開発者のAlex Dixonは、デバッガーを拒否して、メモ帳とprintfデバッグだけを使うという極端な考えに異議を唱えています。彼は、デバッガー、アドレスサニタイザーなどのツールが、大規模プロジェクトやレガシーコードにおける複雑なバグに対処する経験豊富なプログラマーにとっても、効率を大幅に向上させると主張しています。デバッガーを推奨しつつも、リリースビルドやモバイルデバイスのタッチイベントなどの特定の状況下ではprintfの有用性を認めています。最終的には、効率的なバグ修正が目標であり、適切なツールを選択することが重要であると強調しています。

続きを読む
(www.polymonster.co.uk)
開発

GitHubの新プロジェクトAuthorTrail：あなたのGitへの貢献を追跡

2024-12-24
GitHubの新プロジェクトAuthorTrail：あなたのGitへの貢献を追跡

AuthorTrailは、開発者がGitリポジトリでこれまで触れたすべてのファイルをトラッキングするのに役立つ新しいGitHubプロジェクトです。作者のメールアドレスによる検索、階層的なファイルツリーの視覚化、組み込みのコードビューア、デフォルトエディタでの迅速なファイルオープンといった機能を備えています。React、TypeScript、Tailwind CSSを使用して構築されており、ダークモードにも対応しています。リポジトリをクローンし、依存関係をインストールして実行するだけで、あなたの貢献を追跡できます。

続きを読む
(github.com)
開発 コードへの貢献 開発者ツール

Bitwarden、2025年2月から新しいデバイスへのログイン保護を強化

2025-01-28
Bitwarden、2025年2月から新しいデバイスへのログイン保護を強化

Bitwardenは、2025年2月から、新しいデバイスへのログイン保護を強化します。2要素認証（2FA）を有効にしていないユーザーは、新しいデバイスでログインする際に、マスターパスワードを入力した後、登録済みのメールアドレスに送信されたワンタイムコードによる認証が必要になります。これは、パスワードが漏洩した場合でもアカウントを保護するための追加のセキュリティ対策です。2FA、SSOログイン、APIキーログイン、または自己ホストインスタンスを使用しているユーザーは対象外です。

続きを読む
(bitwarden.com)
テクノロジー ログイン認証

ゾンビ・アポカリプスで理解するセルベースアーキテクチャ

2025-02-09
ゾンビ・アポカリプスで理解するセルベースアーキテクチャ

この記事は、鮮やかなゾンビ包囲戦のシナリオを用いて、セルベースアーキテクチャを説明しています。著者は都市をシステムに、各地区を独立した「セル」にたとえています。一つの地区が陥落しても、都市全体が崩壊するわけではありません。この隔離戦略は、セルベースアーキテクチャの設計原則を反映しており、単一障害点の影響を効果的に軽減し、システムの安定性を確保します。このアナロジーを通して、この記事はセルベースアーキテクチャの利点と重要性を明確に説明しています。

続きを読む
(bencane.com)
開発 セルベースアーキテクチャ ゾンビ・アポカリプス システム設計

エンタープライズソフトウェアの次なるフロンティア：レコードから自律エージェントへ

2025-02-26

エンタープライズソフトウェアは革命的な変化を遂げています。静的なデータレコードが自律エージェントへと進化しているのです。この記事では、エンタープライズソフトウェアの3つの時代、データベース時代、クラウド時代、そして登場しつつある自律エージェント時代を探ります。3番目の時代では、アクターモデル、永続的な実行、状態マシン、LLMを活用することで、請求書などのビジネスオブジェクトは、自動承認、情報収集、ポリシー解釈、システム間の調整といったプロセスを自律的に処理できるようになります。これは単にAIが人間に取って代わるというものではなく、データオブジェクト自体に生命を吹き込み、ビジネスプロセスを再構築し、より詳細な運用と強力な分析機能を実現します。CoPlane、Koala、Hightouchなどの企業はすでにこのモデルを試行しており、静的なデータを目標指向のエンティティに変換して、より効率的なワークフローを実現しています。

続きを読む
(sperand.io)
開発 自律エージェント

Joy言語における意図的プログラミング：単一の演算子によるイントロスペクション

2025-02-12

この記事では、スタックベースの関数型プログラミング言語Joyにおける意図的プログラミングを探求しています。Joy自体は拡張的で、コードブロックを「分解」する機能がありません。著者は、'map'と'quota'という2つの意図的演算子を提案し、それらの相互表現可能性を証明しています。動作的には同等ですが、意図的プログラムは、単一の演算子と複数の命令を持つサブルーチンを区別できます。これは、意図的言語におけるより弱い同等性の概念を探求するための道を開き、Joyのようなミニマリスト言語に意図性を導入するための堅牢なアプローチを示しています。

続きを読む
(pithlessly.github.io)
開発 Joy言語 意図的プログラミング

プログラマーのための論理学：シークエント計算への優しい入門

2025-01-22

この投稿は、論理学に関するシリーズの第一弾で、推論のための強力なシステムとしてのシークエント計算を紹介しています。Gentzenの記法を用いて、著者は論理的推論を記号的に表現する方法を説明し、推論規則、導出木、メタ変数を網羅しています。この記事では、シークエント計算、シークエント自然演繹、自然演繹を比較し、片側シークエント計算と直観主義論理にも触れています。最後に、直観主義論理における証明項と、単純型付きラムダ計算との関係を簡単に紹介します。

続きを読む
(ryanbrewer.dev)
開発 論理学 シークエント計算 型理論

Calibre 8.0 リリース：Koboサポート強化など

2025-03-21

Calibre 8.0がリリースされました！Koboデバイスのサポートが大幅に強化され、KEPUBファイルのネイティブな編集、表示、変換が可能になりました。Koboデバイスに書籍を送信する際にEPUBをKEPUBに自動変換する機能も搭載（Koboアイコンで設定可能）。その他、フォルダへの接続機能（Chromebookユーザーに最適）、改良されたToCエディタ、更新されたmacOSアイコン、多数のバグ修正など、多くの新機能が追加されました。以前の7.xリリースでは、オーディオオーバーレイツール、PDFのヘッダー/フッターの自動検出と削除、EPUBの高速化、新しいニューラルネットワーク音声合成エンジンPiperなどが導入され、読書体験と編集効率が大幅に向上しました。

続きを読む
(calibre-ebook.com)
開発

YCスタートアップStracがシニアエンドポイントセキュリティエンジニア（Windows）を募集

2025-01-22
YCスタートアップStracがシニアエンドポイントセキュリティエンジニア（Windows）を募集

Y Combinator支援のスタートアップStracは、高度なエンドポイントセキュリティソリューションの設計と開発を行うシニアエンドポイントセキュリティエンジニア（Windows）を募集しています。この役割には、5年以上のソフトウェア開発経験、C/C++とC#の習熟、Windows内部構造とAPIの理解、エンドポイント監視またはセキュリティエージェント構築の経験が必要です。Stracは、O365、Slack、GDriveなどのプラットフォームでSaaS、クラウド、生成AI、エンドポイントデータを保護する、エージェントレスデータディスカバリーとデータ損失防止（DLP）を提供しています。リモートポジションで、給与は135,000ドルから200,000ドル、それに加えて相当な株式が提供されます。

続きを読む
(www.ycombinator.com)
開発 エンドポイントセキュリティ Windowsセキュリティ

NOMARS：無人水上艦艇の革命

2025-03-10

No Manning Required Ship (NOMARS)プログラムは、全長180フィート、240メートルトン級の無人水上艦艇(USV)であるUSX-1 Defiantの建造を完了しました。乗組員を一切考慮せずに設計されたDefiantは、海軍建築に革命を起こすことを目指しています。人的要素を排除することで、NOMARSは、サイズ、コスト、信頼性、流体力学的効率、海象下での生存能力、ステルスと改ざん防止技術による敵対行為に対する抵抗力において、大きな利点があると予想しています。2025年春の海試が予定されており、Defiantは、分散型のUSV艦隊への費用対効果の高い道を約束しています。

続きを読む
(www.darpa.mil)
テクノロジー 自律航行 海軍技術

Mixin：強力なJavaバイトコードウィービングフレームワーク

2024-12-28
Mixin：強力なJavaバイトコードウィービングフレームワーク

Mixinは、ASMを使用するJavaのtrait/mixinおよびバイトコードウィービングフレームワークであり、プラグ可能なサービスを介してランタイムクラスローディングプロセスにフックします。MojangのLegacyLauncherシステム（より拡張性の高いModLauncherに置き換えられました）をサポートし、Java 8以降と互換性があります。Mixinは、難読化タスクを処理するためのアノテーションプロセッサや、EclipseおよびIntelliJ IDEAとの統合など、包括的なドキュメント、Mavenリポジトリ、ツールを提供します。バージョン履歴には、機能の追加とバグ修正の詳細が記載されており、開発者が適切なバージョンを選択するのに役立ちます。

続きを読む
(github.com)
開発 バイトコード Mixinフレームワーク

サンフランシスコの新しい保健局長：マッキンゼー出身が議論を呼ぶ

2025-02-15
サンフランシスコの新しい保健局長：マッキンゼー出身が議論を呼ぶ

サンフランシスコの新しい保健局長に任命された蔡氏（マッキンゼー出身）の任命が議論を呼んでいる。市のオピオイド危機を考慮すると、彼の過去の医薬品流通システムへの関与に懸念の声が上がっている。蔡氏は、データに基づいた解決策と協力体制でオピオイドとホームレス問題に取り組むと表明しているが、任命は潜在的な利益相反と、これらの課題に効果的に対処できる能力に関する疑問を提起している。過去に彼が関わった仕事が現在の危機の一因となっている可能性があり、その解決を担うという皮肉な状況も指摘されている。

続きを読む
(sfstandard.com)
その他 サンフランシスコ 保健局長

EU、AppleのDMA相互運用性ルール遵守違反を非難

2025-01-16
EU、AppleのDMA相互運用性ルール遵守違反を非難

EUのデジタル人権擁護団体は、AppleがEUのデジタル市場法（DMA）における相互運用性義務を遵守していないと非難している。彼らは書簡で、AppleのDMA第6条第7項の遵守を確保するために、欧州委員会がより強力な措置を取るよう求めている。この条項は、ゲートキーパーに対し、指定されたソフトウェアおよびハードウェアへの差別のないアクセスまたは相互運用性を提供することを義務付けている。団体は、Appleが一方的に秘密保持契約（NDA）を課すことを禁止すること、標準化された相互運用性要求フォームを作成すること、およびセキュリティ上の理由でAppleがフレームワークとライブラリを隠蔽することを許可するDMA条項を見直すことなど、いくつかの推奨事項を提案している。また、Appleの「フィードバックアシスタント」システムと、公開されたバグ追跡システムの欠如も批判している。Appleは、DMAの相互運用性要件によって個人データが公開される可能性があると反論している。

続きを読む
(www.theregister.com)
テクノロジー

ジョージアで謎の未知の文字が刻まれた石板が出土

2024-12-14

ジョージアのドマニシ地方、バシュプレミ湖近くで、60個の謎めいた文字が刻まれた玄武岩の石板が発見されました。7行に並んだ独特の記号は、中東、インド、エジプト、さらにはイベリア西部といった地域の文字と部分的に類似していますが、既知のいかなる文字体系とも完全に一致しません。青銅器時代後期または鉄器時代初期のものであり、その目的は未だ謎ですが、戦利品、建設プロジェクト、宗教的供物の記録といった説があります。この発見は、古代の高カフカス地方と周辺地域の間の文化的交流を示唆しています。

続きを読む
(languagelog.ldc.upenn.edu)
その他 考古学的発見 ジョージア

Augment：Vim/Neovimプラグイン、AIによるコード補完とチャット

2025-02-19
Augment：Vim/Neovimプラグイン、AIによるコード補完とチャット

Augmentは、コードベースに合わせて調整されたインラインコード補完と複数ターンチャット会話を提供するVim/Neovimプラグインをリリースしました。インストール後（Node.js 22.0.0+と互換性のあるVim/Neovimバージョンが必要です）、ワークスペースフォルダを追加してAugmentサービスにサインインします。タイプするとコンテキスト認識コード補完が表示されます。`:Augment chat`コマンドを使用して、AIによるコードに関するディスカッションを行います。このプラグインは、ステータス管理、ログイン/ログアウト、サジェスチョン有効化/無効化、ログの表示、新しいチャット会話の開始などのコマンドを提供します。`.augmentignore`は、大規模プロジェクトの管理に役立ちます。サジェスチョンの受け入れに関するキーバインドを簡単にカスタマイズできます。

続きを読む
(github.com)
開発 AIコード補完

ケンブリッジ・アナリティカ事件で影響を受けたオーストラリアのユーザーにMetaが5000万豪ドルを支払う

2024-12-17
ケンブリッジ・アナリティカ事件で影響を受けたオーストラリアのユーザーにMetaが5000万豪ドルを支払う

オーストラリア情報委員事務所（OAIC）はMetaと合意に達し、ケンブリッジ・アナリティカ事件の影響を受けたオーストラリアのFacebookユーザーのために5000万豪ドルの支払プログラムを実施することになりました。この事件は、個人情報が「This is Your Digital Life」アプリに不正に開示され、政治プロファイリングのリスクがあったことを含みます。支払いプログラムは、一般的な懸念や恥ずかしさを感じているユーザーには基本的な支払い、具体的な損失や損害を証明できるユーザーにはより高い支払いを行います。申請は2025年第2四半期に開始される予定です。

続きを読む
(www.oaic.gov.au)
テクノロジー データ漏洩 ケンブリッジ・アナリティカ

Stripe、予期せぬDNSエラーの急増を調査：複雑なネットワーク調査

2024-12-12
Stripe、予期せぬDNSエラーの急増を調査：複雑なネットワーク調査

Stripeは最近、予期せぬDNSエラーの急増に見舞われました。この記事では、Unbound、tcpdump、iptablesなどのツールを使用して根本原因を特定した方法を詳細に説明しています。調査の結果、ネットワークログを分析するHadoopジョブが多数のリバースDNSルックアップ（PTRレコード）を実行しており、再試行によるトラフィックの増幅がAWS VPCリゾルバーの制限を超えていたことが明らかになりました。Stripeは、Unboundの転送設定を調整して、Hadoopノードに負荷を分散することで、この問題を解決しました。この事例は、堅牢な監視、多角的なトラブルシューティング、および高可用性システムにおけるトラフィック急増への対処戦略の重要性を強調しています。

続きを読む
(stripe.com)
開発 ネットワーク監視 トラブルシューティング

シニアエンジニアをイライラさせる7つの大罪

2025-02-23
シニアエンジニアをイライラさせる7つの大罪

この記事では、シニアエンジニアをイライラさせる7つの一般的な行動について説明しています。それは、基本的なトラブルシューティングを試みずに問題をエスカレーションする、曖昧に緊急のタスクを要求する、大まかな見積もりを締め切りとして扱う、不明確な会議をスケジュールする、予期せぬ短い会議をスケジュールする、「クイックハック」をクリーンアップ計画なしで使用する、優先順位を頻繁に変更することです。著者は、これらの行動が時間と効率を浪費し、チームの士気を損なうことを説明しています。この記事では、ヘルプを求める際に十分な情報を提供すること、緊急性のレベルを区別すること、見積もりを注意深く処理すること、会議を事前に計画すること、エンジニアの集中時間を尊重すること、一時的な修正を計画すること、安定した優先順位を維持することを提案して、前向きで効率的なエンジニアリングチームを構築することを推奨しています。

続きを読む
(www.thecaringtechie.com)
開発 エンジニアの協調

`#define`ディレクティブのみを使用したCコード：黒魔術的な炎のアニメーション

2025-02-20

この記事では、著者がC言語の`#define`ディレクティブのみを使用して炎のアニメーションプログラムを作成した方法を詳述しています。一見不可能に見えるこのタスクは、マクロ定義のテキスト置換機能、トークン連結、再帰呼び出しテクニックを巧みに使用することで達成されました。その結果は、炎の燃焼と拡散をシミュレートしたものであり、Cプリプロセッサの能力と「チューリング完全性」を示しています。また、マクロの誤った使用による潜在的なリスクと問題点についても強調されています。

続きを読む
(ssloy.github.io)
開発

ハーバード大学、年収20万ドル以下の家庭の学生に対し授業料を無料化

2025-03-17
ハーバード大学、年収20万ドル以下の家庭の学生に対し授業料を無料化

ハーバード大学は、2025-26年度から、年収20万ドル以下の家庭の学生に対し授業料を無料にすることを発表しました。この財政支援の拡大により、アメリカ合衆国の約86％の家庭が対象となり、より幅広い学生へのアクセスが保証されます。年収10万ドル以下の家庭の学生は、授業料に加え、住居、食事、その他の学生サービスも無料で提供されます。この取り組みは、ハーバード大学が長年取り組んできた費用対効果の向上に基づいており、2004年以降、学部生への財政支援に36億ドル以上を投資してきました。この措置は、より多様な学生層を育成し、すべての学生にとって学習環境を豊かにすることを目的としています。

続きを読む
(abcnews.go.com)
スタートアップ ハーバード大学 財政支援

WordPerfectの興亡：DOS時代の伝説

2025-04-01

1980年代、WordPerfectを使いこなせることは、職を得るためのほぼ確実な保証でした。この記事では、Data Generalプラットフォームでの革新的な始まりから、IBM PCでの支配に至るまで、伝説的なワードプロセッサの軌跡をたどります。WordPerfectのWYSIWYGインターフェースと強力な機能は、それを市場リーダーにしました。しかし、Windowsの台頭への適応に失敗したことが、最終的にその衰退につながりました。この記事では、DOS上でのWordPerfect 6.0の使用経験についても詳しく説明し、ミニマルなインターフェースと、グラフィックモードとキャラクタモードの違いを強調しています。

続きを読む
(technicallywewrite.com)
テクノロジー ワードプロセッシング

ファイルウォッチャーの究極ガイド：包括的な概要

2025-02-12

この記事では、さまざまなプログラミング言語、ライセンス、機能を網羅したファイル監視ツールの包括的なリストを提供します。古いinotifyラッパーから、watchexecなどの最新のRustやPythonツールまで、各ツールの長所と短所、依存関係、Debianパッケージのサポートについて詳細に比較しています。また、systemd .pathユニットの使用やwatchmanの制限など、著者の個人的な経験や課題も共有しています。開発者やシステム管理者にとって、ニーズに合ったファイル監視ツールを選択する上で貴重なリソースとなるでしょう。

続きを読む
(anarc.at)
開発 ファイル監視

最小有効量：人生へのカイゼンアプローチ

2025-02-05
最小有効量：人生へのカイゼンアプローチ

根管治療からの回復期にある著者は、運動と学習における「最小有効量」の概念を探求します。これは、「すべてか無しか」のアプローチへの反省と、継続的な改善の哲学であるカイゼンへの転換につながります。1日8分間の読書でもかなりの知識が蓄積され、5分間の毎日のスケッチでも意味のある視覚的記録が作成されます。著者は、さまざまな活動における最小有効量を見つけることで、着実な進歩が可能になり、野心的な目標による燃え尽き症候群を防ぐことができると主張しています。

続きを読む
(winnielim.org)
その他 カイゼン 最小有効量 継続的改善

クリストファー・ペイン：アメリカの労働の尊厳に光を当てる

2025-01-09
クリストファー・ペイン：アメリカの労働の尊厳に光を当てる

この記事では、アメリカの工場と労働者を丹念に記録する産業写真家、クリストファー・ペインを取り上げています。彼の印象的な写真は単なる技術的な偉業ではなく、日用品の製造における献身とスキルを称賛するものです。ペインの作品は、単なるドキュメンタリーを超え、しばしば見過ごされてきた労働の尊厳と、産業プロセスの複雑な美しさについての感動的な解説となっています。彼は機械の背後にある人間物語を明らかにし、アメリカの産業とその労働者の中に固有の価値について熟考するよう促します。

続きを読む
(www.scopeofwork.net)
その他 産業写真 アメリカの労働 ヒューマン・インタレスト

Mako：超高速、ゼロコンフィグの次世代フロントエンドバンドラー

2025-03-09

MakoはRustベースのフロントエンドバンドラーで、ゼロコンフィグ、超高速、本番環境対応の安定性を備えています。TypeScript、Less、CSS、Reactなどをローダーやプラグインなしでバンドルできます。アリババグループで広く利用されており、数千ものプロジェクトとnpmパッケージでテストされ、高い互換性を誇ります。ホットモジュールリプレイスメント（HMR）とReact Fast Refreshに対応し、コード分割とモジュール連結機能を備え、開発効率とアプリケーションパフォーマンスを大幅に向上させます。

続きを読む
(makojs.dev)
開発 フロントエンドバンドラー
1 2 … 587 588 589 591 593 594 595 596