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

WebAuthn：パスワードレス認証の未来

2024-12-26

本書では、脆弱なパスワードシステムに代わるものとして設計された、公開鍵暗号に基づく認証システムであるWebAuthnを詳しく解説します。パスワードの欠点から始まり、U2F、FIDO2、passkey、WebAuthn APIの使い方など、WebAuthnの中核となる概念を段階的に紹介します。公開鍵署名スキーム、RP ID、CTAP2プロトコル、証明、様々な拡張機能の詳細を説明し、サーバーサイドの実装、プラットフォームAPI（iOS、Android、Windows）、公開鍵フォーマットについても網羅しています。WebAuthnは、セキュリティキーとプラットフォーム認証子を組み合わせ、ランダムチャレンジと複数のセキュリティメカニズムを利用することで、フィッシング攻撃やデータベースの漏洩を効果的に解決し、ユーザーにより安全で信頼性の高い認証体験を提供します。

続きを読む
(www.imperialviolet.org)
その他 パスワードセキュリティ

幻想的な惑星：19世紀の顕微鏡写真アルバム

2025-01-11
幻想的な惑星：19世紀の顕微鏡写真アルバム

マリヌス・ピーテル・フィルブリの顕微鏡写真アルバムは、19世紀後半の微小世界の驚異的な一端を明らかにしています。このコレクションは、一見無関係な画像（月の満ち欠け、シチリアの盗賊の肖像など）と、驚くべき顕微鏡写真（蛾の触角、ミツバチの針、ハエの目など）を並べています。これらの画像は、微小世界の複雑な構造を示すだけでなく、マクロコスモスとミクロコスモスの類似性についての考察を促し、まるで幻想的な異星惑星を探検するような感覚を与えます。フィルブリの作品は、アントニ・ファン・レーウェンフックの発見を反映しており、初期の顕微鏡写真の課題と成果を強調しています。

続きを読む
(publicdomainreview.org)
テクノロジー 顕微鏡写真

軽量なReuters代替フロントエンドがリリース

2024-12-30

Aboutは、Nitterにインスパイアされた、軽量で高速なReutersの代替フロントエンドです。JavaScript、広告、トラッキングを使用せず、Cookieも使用しません。ファイルサイズは通常10KB未満（Reutersは50MB以上）です。動的なテーマはシステムテーマを尊重します。libredirectやブラウザ拡張機能を使って、すべてのReutersリンクをこのサイトに自動的にリダイレクトできます。これは進行中の作業です。バグレポートや提案はGitHubで歓迎します。

続きを読む
(neuters.de)
テクノロジー 軽量フロントエンド Reuters代替 広告なし

F#のエラー処理の改善：FaultReportの導入

2024-12-22

この記事では、F#のResult型におけるエラー処理の欠点について批判的に論じており、エラー型の不整合や、文字列をエラー型として使用することによる問題点を強調しています。著者 はFaultReportという代替案を提案しており、IFaultインターフェースを使用してエラー型を標準化し、Report<'Pass', 'Fail>型を使用して操作の結果を表しています。ここで'FailはIFaultインターフェースを実装する必要があります。これにより、エラー処理の一貫性と型安全性 が確保され、文字列ベースのエラーによる不便さが解消されます。FaultReportはさらに、Report.generalizeによるアップキャストとFailAsアクティブパターンによるダウンキャストを提供し、さまざまなエラー型の処理を容易にしています。FSharp.CoreのResultを置き換えることは大きな仕事ですが、著者はFaultReportの設計がF#のエラー処理に貴重な改善をもたらすと主張しています。

続きを読む
(paul.blasuc.ci)
開発

AIが数時間で無線チップを設計、人間を凌駕

2025-02-23
AIが数時間で無線チップを設計、人間を凌駕

プリンストン大学とIITの研究者らは、AIが複雑なミリ波無線チップをわずか数時間で設計できることを実証しました。これは、人間の技術者ならば数週間かかる作業です。逆設計手法を用いて、AIは効率性が高いだけでなく、人間の設計とは根本的に異なる、ほぼランダムな形状をしたチップを生み出しました。完璧ではなく、一部の設計は人間の修正が必要ですが、この研究は、より高速で効率的なチップ設計の可能性を開き、電子機器開発全体を促進します。

続きを読む
(www.livescience.com)
テクノロジー ミリ波

バチカン声明：AI、人間の尊厳、そして公益

2025-01-30

バチカンの信理省と文化教育省による合同報告書は、人工知能（AI）が提示する課題と機会を探っています。AIが人間の知性のいくつかの側面を模倣する驚くべき能力を認めながらも、報告書はAIと人間の知性における根本的な違いを強調しています。人間の知性は、理性、感情、身体性、関係性を含む全体的なものであると主張しており、これらの次元は現在のAIシステムには欠けています。報告書は、AIの開発と利用が人間の尊厳を守り、人間の完全な発展を促進しなければならないと強調し、差別、操作、または社会不安につながる可能性のある用途について警告しています。AIにおける責任、透明性、説明責任を訴え、公益に役立つことを保証しています。

続きを読む
(www.vatican.va)
AI 人間の尊厳 テクノロジーと宗教

スバルStarlinkの脆弱性によりハッカーが車のロック解除や位置情報の追跡が可能に

2025-01-28
スバルStarlinkの脆弱性によりハッカーが車のロック解除や位置情報の追跡が可能に

セキュリティ研究者は、スバルのStarlinkコネクテッドサービスに重大な脆弱性があることを発見しました。これにより、ハッカーは位置データへのアクセス、リモートでのドアのロック解除などが可能になります。スバルの従業員アカウントを侵害し、管理者パネルを利用することで、攻撃者は車両情報にアクセスできました。脆弱性は修正されましたが、コネクテッドカーに関連する深刻なセキュリティリスクを浮き彫りにしています。

続きを読む
(jalopnik.com)
テクノロジー スバル

Duolicious：オープンソースの出会い系アプリ革命

2025-01-05
Duolicious：オープンソースの出会い系アプリ革命

Duoliciousは、世界で最も人気のあるオープンソースの出会い系アプリ（月間アクティブユーザー数で測定）と自称しており、愛を見つけるためのユニークなアプローチを提供しています。2000以上の質問からなる質問バンクを活用して、ユーザーの個性を深く掘り下げ、互換性のある相手とマッチングします。浅いスワイプやいいねを拒否し、Duoliciousはオリジナルメッセージを通じて真のつながりを育みます。完全に無料で広告がなく、コミュニティからの寄付とコードへの貢献によって支えられています。フロントエンドとバックエンドの両方のコードはオープンソースであり、開発者の貢献を歓迎しています。

続きを読む
(github.com)
ゲーム 出会い系アプリ AIマッチング

Auto-Commit Bot：Gemini AIによる自動Gitコミット

2025-02-01
Auto-Commit Bot：Gemini AIによる自動Gitコミット

Auto-Commit Botは、Gitワークフローを自動化するPythonツールです。ディレクトリの変更を監視し、Google GeminiのAIを使用して説明的なコミットメッセージを生成し、コミットします。これにより、反復的なタスクが排除され、一貫性のあるメッセージが保証されます。リアルタイムファイル監視、自動コミット、AI対応コミットメッセージ、簡単なカスタマイズなどの機能があります。依存関係をインストールし、APIキーを設定してコマンドを実行するだけです。

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

サンタクロースは裕福な病気の子どもを優先？研究が論争を呼ぶ

2024-12-19
サンタクロースは裕福な病気の子どもを優先？研究が論争を呼ぶ

「良い子と悪い子の神話を払拭する」というタイトルの論文が、サンタクロースのプレゼントの配布は子どもの行いだけでなく、社会経済的地位と強い相関関係があることを主張している。この研究は、貧困地域の子どもはプレゼントを受け取る可能性が低いことを明らかにし、倫理的な懸念と議論を引き起こしている。引用されたRedditのコメントでは、サンタクロースの契約が社会経済的地位の変更を禁じており、すべての子どもに届く能力を制限していることが示唆されている。コメント欄では、研究方法、サンプルの選択、さらにはサンタクロースの配送時間やルートなどが批判されており、ブレグジットの投票データを含めるべきだという意見もある。論文の発表は物議を醸し、撤回を求める声も上がっている。

続きを読む
(taylor.town)
その他 サンタクロース 社会経済的地位 倫理

AT&T、ハイブリッドワークを廃止し、週5日オフィス勤務を義務化

2024-12-18
AT&T、ハイブリッドワークを廃止し、週5日オフィス勤務を義務化

アマゾンに続き、AT&Tがハイブリッドワークモデルを廃止し、1月からは全従業員に週5日のオフィス勤務を義務付けることを発表しました。この決定は、テクノロジー業界におけるリモートワークへのアプローチの変化を示しており、大きな議論を呼んでいます。AT&Tは、チームワークの向上とより強い企業文化の醸成を目指しています。

続きを読む
(fortune.com)
テクノロジー リモートワーク ハイブリッドワーク

WordPress親会社、サードパーティサービスプロバイダーをブロックしたとして訴訟

2025-02-27
WordPress親会社、サードパーティサービスプロバイダーをブロックしたとして訴訟

WordPressの親会社であるAutomatticは、「永久無料」へのアクセスを約束を破ったとして、サードパーティサービスプロバイダーのWPEをブロックしたことで訴えられています。WPEは、Automatticが商標権を乱用し、ソフトウェアアップデート、セキュリティパッチ、プラグインへのアクセスを遮断し、顧客を奪おうとしたと主張しています。この件は大きな論争を引き起こし、WPEはAutomatticの行為が不正行為および不公正競争にあたり、インターネットエコシステムに損害を与えているとして訴訟を起こしました。

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

TikTokからの流出を受け、RedNoteが英語対応のコンテンツモデレーターを緊急募集

2025-01-19
TikTokからの流出を受け、RedNoteが英語対応のコンテンツモデレーターを緊急募集

TikTokの米国での禁止の可能性を逃れて、多くのアメリカ人ユーザーがRedNoteに殺到したため、RedNoteの英語コンテンツモデレーション能力が不足している。中国の求人サイトには、英語を話すモデレーターを緊急募集する多数の求人が掲載されており、中には短期契約も提示しているものもある。この高い需要は、中国のソーシャルメディアプラットフォームが、急速なユーザー増加と中国政府による厳しいコンテンツモデレーション要件のバランスを取る上で直面する課題を浮き彫りにしている。状況は、特に単純な翻訳を超えた微妙な言語理解において、コンテンツモデレーションを迅速に拡大することの難しさを示している。

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

ウミガメの「失われた年」の謎が解明

2025-02-09
ウミガメの「失われた年」の謎が解明

長年謎とされてきたウミガメの「失われた年」について、科学者たちがその謎を解き明かしました。メキシコ湾で若いウミガメにGPS発信機を取り付け、追跡調査を行った結果、従来考えられていたように、ウミガメが受動的に海流に流されているのではなく、大陸棚と外洋の間を能動的に泳ぎ、自ら行き先を決めていることが判明しました。この研究成果は、Royal Society B誌に掲載され、ウミガメの生活史に対する理解を深め、保全活動に重要な知見を提供するものです。

続きを読む
(phys.org)
テクノロジー ウミガメ GPS追跡

画期的なアルゴリズム：「図書館ソート問題」を解決

2025-02-20
画期的なアルゴリズム：「図書館ソート問題」を解決

長年コンピュータ科学者を悩ませてきた「図書館ソート問題」（または「リストラベリング問題」）に、ついに大きなブレイクスルーが訪れました。この問題は、新しいアイテムを追加するのにかかる時間を最小限にするための、最適な書籍（またはデータ）の整理戦略を見つけることにあります。従来のアルゴリズムでは平均挿入時間が(log n)²に比例していましたが、新しいアプローチは理論上の理想値に驚くほど近づいています。過去の棚の内容に関するわずかな知識と、驚くべきランダム性の力を巧みに組み合わせることで、効率性が劇的に向上しました。この研究は、データベースやハードドライブのファイル管理の最適化に大きな影響を与え、待ち時間と計算オーバーヘッドを大幅に削減する可能性を秘めています。

続きを読む
(www.wired.com)
開発

BlogScroll：GitHubでホストされる個人ブログとサイトのディレクトリ

2025-01-03

BlogScrollは、GitHubで完全に管理されている個人ウェブサイトとブログのオープンディレクトリです。主要なテクノロジー・プラットフォームの外で個人が育む、しばしば見過ごされているデジタルガーデンを強調するために作成され、分散型インターネットを提唱しています。デザイン、写真、テクノロジーにまたがるカテゴリと、更新のためのRSSフィードを備えたBlogScrollは、ユニークなオンラインボイスとコンテンツを発見するための貴重なリソースを提供します。

続きを読む
(blogscroll.com)
その他 個人ブログ サイトディレクトリ

バイオミミック超強力接着剤：ムール貝のパワーと粘液の魔法の融合

2025-02-23
バイオミミック超強力接着剤：ムール貝のパワーと粘液の魔法の融合

MITとベルリン自由大学のエンジニアが、ムール貝の防水接着力と粘液の抗菌性を組み合わせた新しいバイオ接着剤を開発しました。この接着剤は、ムール貝を模倣したポリマーとムチンタンパク質からなり、濡れた表面にも強力に接着し、バクテリアの増殖を防ぎます。将来の応用としては、感染を防ぐための医療用インプラントのコーティングなどが考えられます。この研究は、バイオマテリアル設計に新たな道を切り開き、持続可能な包装材料などへの応用も期待されます。

続きを読む
(news.mit.edu)
テクノロジー バイオマテリアル バイオミメティクス 接着剤

カナダの海賊サイトブロッキング命令が静かに期限切れ

2024-12-16

IPTVサービスGoldTVを標的にしたカナダ初の海賊サイトブロッキング命令が今週、静かに期限切れとなりました。権利保有者であるBellとRogersは、多くの標的ドメインがオンラインに残っているにもかかわらず、延長を申請しませんでした。この決定は、コストの考慮事項と優先順位の変化を反映している可能性があります。2018年に最初に承認され、2021年に控訴審で支持されたこの命令は、海賊行為に大きな影響を与えました。しかし、権利保有者は、ライブスポーツのストリーミングやその他のプラットフォームを対象とした、より広範で動的なブロッキングへの取り組みへと焦点を移しました。

続きを読む
(torrentfreak.com)
テクノロジー 海賊行為 サイトブロッキング

AnthropicのClaude Codeがリバースエンジニアリングされた：ソフトウェアセキュリティの新時代

2025-03-01
AnthropicのClaude Codeがリバースエンジニアリングされた：ソフトウェアセキュリティの新時代

セキュリティ研究者は、大型言語モデル（LLM）GrokとClaudeを巧みに利用して、ターミナルベースのAIコーディングエージェントであるAnthropicのClaude Codeのリバースエンジニアリングに成功しました。LLMの強力なコード変換機能を利用して、Claude Codeの5MBの`cli.mjs`ファイルをより小さなチャンクに分割し、各部分をリバースエンジニアリングして、ツールのソースコード構造を再構築しました。この画期的な進歩は、ソフトウェアセキュリティにおけるLLMがもたらす新たな課題と機会を浮き彫りにし、将来のソフトウェア開発における劇的な変化を予感させます。ソースコードが公開されているソフトウェアが容易に複製されるようになったことは、ソフトウェアセキュリティとビジネスモデルに大きなリスクをもたらします。

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

プログラマーのアカデミックなジレンマと変革

2025-03-03

英国の大学で6年間フルタイムの教職に就いていたベテランプログラマーは、現在の制度では自分の才能を十分に発揮できず、心身ともに疲弊を感じています。プログラミングとライティングへの情熱を追求するために、職をパートタイムに変更することを決めました。副業のコンサルティングやクラウドファンディングを通じて収入を補い、現状の凡庸さから脱却し、情熱と創造性を再び見出すための支援を求めます。現在のアカデミックな環境は指標に過度に重点を置き、質と価値を軽視しており、彼の価値観と相容れません。この転換によって、より良いワークライフバランスを実現し、社会への貢献を高めたいと考えています。

続きを読む
(www.humprog.org)
開発 アカデミックな苦悩

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

2025-02-26

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

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

Austral：シンプルさと厳格さを重視したシステムプログラミング言語

2025-03-20
Austral：シンプルさと厳格さを重視したシステムプログラミング言語

Australは、シンプルさと厳格さを重視して設計された新しいシステムプログラミング言語です。Rustの重要な機能、または現代化され簡素化されたAdaと考えてください。主な機能には、強力な静的型システム、線形型、能力ベースのセキュリティ、強力なモジュール性などがあります。線形型は、リソースのライフサイクルを正しく管理し、メモリリークなどのエラーを防ぎます。能力ベースのセキュリティは、サプライチェーン攻撃を軽減します。Australは、NULL、ガベージコレクション、例外などの機能を省き、安全性と予測可能性を最大限に高めています。

続きを読む
(borretti.me)
開発 線形型 能力ベースセキュリティ

Waymoの自動運転車が、人間の運転車を安全面で上回る

2024-12-20

Waymoのデータ2530万マイルを分析し、第三者自動車賠償責任保険の請求データを用いた研究によると、Waymoの自動運転システム（ADS）は、一般ドライバーと最新世代の人間運転車（2018～2021年モデル）の両方に対して、安全性を大幅に上回ることが明らかになりました。ADSは、一般ドライバーと比較して、物的損害請求が88％減少し、人身傷害請求が92％減少しました。また、最新世代の人間運転車と比較して、それぞれ86％と90％減少しました。これは、ADSの大規模な展開における安全性を裏付けるものであり、継続的な評価のための新たな方法論を提供し、交通安全政策、保険リスク評価、そして自動運転車に対する一般の受容度に影響を与えます。

続きを読む
(waymo.com)
AI 自動運転車

Pinboardとの別れ：自分のサイトへのリンク移行

2025-02-12
Pinboardとの別れ：自分のサイトへのリンク移行

筆者は、Pinboardへの新しいリンクの追加を停止し、自身のサイトにリンクを追加していくことを発表しました。長年にわたるPinboardのアップデート不足、モバイルでの使い勝手の悪さ、そしてPinboardオーナーの見解への懸念が理由です。以前から自身のサイトにPinboardのリンクをミラーリングしていましたが、二重管理の負担を軽減するため、自身のサイトをリンクの唯一の情報源とし、Pinboardのページは過去の記録として残すことにしました。

続きを読む
(www.gyford.com)
その他 サイト移行 RSSフィード

Great Questionがリードプロダクトデザイナーを募集

2025-01-30
Great Questionがリードプロダクトデザイナーを募集

Y CombinatorとFunders Clubから資金提供を受けているシードステージのスタートアップであるGreat Questionが、リードプロダクトデザイナーを募集しています。彼らは、Gusto、Experian、Canva、Brexなどの企業が利用するオールインワンの顧客調査プラットフォームを構築しています。この役割には、ソフトウェア製品デザインの7〜12年の経験、B2B SaaSとエンタープライズクライアントへの重点が必要です。理想的な候補者は、優れたUXデザインスキルを持つ強力なリーダーであり、複雑な製品領域の設計を構想から立ち上げまで独立して主導することができます。

続きを読む
(www.ycombinator.com)
デザイン

デジタル時代におけるアナログな子供時代を育む方法：ある家族の取り組み

2025-03-30

夫婦が、デジタル時代においてアナログな子供時代を育むための戦略を共有しています。彼らは、本、ボードゲーム、楽器などの物理的なおもちゃを豊富に揃えた、厳選された遊び部屋を作り、画面時間を最小限に抑えています。感情的な安心感、自律性、集中力の育成に重点を置き、明確な家ルールと家族の継続的な関与によって支えられています。この哲学は家のデザインにも及んでおり、レトロなカラーパレットが温かく居心地の良い雰囲気を作り出しています。

続きを読む
(www.joshuakennon.com)
その他 アナログな子供時代

Kate's App：安全でプライベートな医療連携ツール

2025-01-09

Kate's Appは、医療従事者とその患者をサポートするために設計されています。処方箋、医師の情報、予約など、医療情報の安全な共有と調整を可能にし、ユーザーはプライベートに情報を共有できます。アクセス制御機能によりプライバシーが保護され、通知機能により、記録の変更や新しいメッセージに関する最新情報がユーザーに提供されます。がん治療から風邪まで、Kate's Appは医療情報の管理と家族や友人との連携を容易にします。

続きを読む
(katesapp.org)
テクノロジー

AI搭載Anki：医学学習に革命を起こすツール

2024-12-28
AI搭載Anki：医学学習に革命を起こすツール

AnkiAIUtilsは、Ankiフラッシュカードを強化するために設計されたAI搭載ツールのスイートです。ChatGPT、DALL-E、Stable Diffusionなどのモデルを活用して、説明、記憶術、イラスト、適応学習機能を自動的に生成します。学習の進捗状況に基づいて関連する例を動的に照合し、パーソナライズされた記憶フックを作成し、さまざまなLLMプロバイダーとモデルをサポートします。まだ初期段階ですが、このプロジェクトは医学教育とそれ以上の学習を変革する可能性を秘めています。

続きを読む
(github.com)
AI 適応学習

動物「工場」から合成生物学へ：バイオファーマの革命

2024-12-15
動物「工場」から合成生物学へ：バイオファーマの革命

歴史的に、多くの医薬品や素材は動物からの抽出に依存していました。例えば、ウマの血液からの抗毒素、カブトガニの血液からのエンドトキシン検出試薬、カイコからの絹などです。この記事は、古代フェニキア人がカタツムリからチリアンパープル染料を抽出していた時代から、現代のバイオテクノロジーを用いたインスリン、抗体、ワクチンの合成に至るまでの道のりをたどります。合成生物学技術は多くの動物由来製品を代替できるようになりましたが、規制の遅れ、分子の複雑さ、生産規模拡大の課題などから、インフルエンザワクチンの生産など、一部の分野では依然として動物に依存しています。この記事は、合成生物学が効率性を向上させ、動物の使用を減らす上で計り知れない可能性を秘めていることを強調するとともに、バイオテクノロジーの発展は自然界の探求と利用にも依存しているため、生物多様性の保護の重要性についても思い出させてくれます。

続きを読む
(worksinprogress.co)
テクノロジー 動物福祉

プライバシー懸念から、連邦職員がMessengerからSignalへ移行

2025-02-13
プライバシー懸念から、連邦職員がMessengerからSignalへ移行

政府監視とテック企業と政府の癒着への懸念から、米国の連邦職員はSignalなどの暗号化されたメッセージアプリへ移行しつつあります。情報漏洩を恐れて、Facebook Messengerなどのプラットフォームを放棄し、機密性の高い会話にはSignalを利用しています。これは、政府と既存のテック企業への不信感が増していることを示しています。この変化は、政治的二極化が進む時代における堅牢なプライバシー対策の重要性を強調しています。

続きを読む
(www.theverge.com)
テクノロジー
1 2 … 535 536 537 539 541 542 543 … 595 596