WebAssembly命令セット:包括的なガイド

2025-05-09

この網羅的なWebAssembly命令一覧は、基本的な算術演算から高度なベクトル演算までを網羅しています。各命令には、オペコード、入出力タイプ、検証フェーズと実行フェーズの説明が含まれており、開発者が迅速に検索して理解することができます。この一覧は明確に構造化されており、WebAssembly開発の便利なリファレンスとして機能します。

続きを読む

ココナッツ・アクション・パーティー:マレーの第二次世界大戦切手の秘密

2025-05-09
ココナッツ・アクション・パーティー:マレーの第二次世界大戦切手の秘密

林楊辰の『ココナッツ・アクション・パーティー』は、第二次世界大戦中のマレーにおけるユニークなココナッツをテーマにした切手を深く掘り下げています。本書は、デザイン、印刷、戦時中の偽造と使用、そして戦後の様々な植民地とマレー州における切手の発行状況を網羅しています。材質、色、デザイン、セキュリティマークなどの綿密な分析を通して、この歴史的時代の独特の郵便システムと社会変遷が明らかになります。また、走査型電子顕微鏡やラマン分光法などの先端技術を用いて切手の詳細な分析を行い、コレクターや歴史愛好家にとって貴重な資料を提供しています。

続きを読む
その他 切手 マレー

Metaからの2ヶ月間のアカウント停止:戒めの物語

2025-05-09
Metaからの2ヶ月間のアカウント停止:戒めの物語

MinecraftのMod開発者が、匿名の脅迫を受けた後、Facebook、Instagram、WhatsAppから約2ヶ月間永久的にアカウント停止されました。Metaからのサポートを得られなかった後、著者は最終的に、自身の大きなオンライン存在によってアカウントを回復しました。この記事では、巨大テクノロジー企業によるアカウント停止の暗い側面、そしてそれがソーシャルインタラクション、商業、情報アクセスなど、ユーザーの日常生活に及ぼす深刻な影響を探っています。著者は、このますます一般的な問題に社会の関心を呼びかけ、同様の事態を防ぐためにテクノロジー企業にカスタマーサポートシステムの改善を促しています。

続きを読む
テクノロジー

オープンソースEV変換VCU:ZombieVerter登場

2025-05-09

ZombieVerterは、廃車から回収した部品を使用したEV変換のために設計されたオープンソースの車両制御ユニット(VCU)です。さまざまなEVメーカー間の制御と通信プロトコルの非互換性という課題に対し、ZombieVerterは汎用性の高いソリューションを提供します。多数の入出力、制御ロジック、そして設定とデータロギングのためのWebインターフェースを備え、日産リーフや三菱アウトランダーPHEVなどの車両のコンポーネントをサポートしています。充電器制御、モーター制御、ヒーター制御など、EV変換プロジェクトのための強力でカスタマイズ可能なツールです。

続きを読む
ハードウェア EV変換 車両制御ユニット

CISAとDOGEの職員の認証情報が複数の公開漏洩で発見される

2025-05-09
CISAとDOGEの職員の認証情報が複数の公開漏洩で発見される

サイバーセキュリティ・インフラストラクチャセキュリティ庁(CISA)と政府効率省(DOGE)の両方で働くソフトウェアエンジニア、Kyle Schuttのログイン資格情報が、情報窃取マルウェアからの複数の公開漏洩で発見されました。これは、彼のデバイスが侵害されたことを強く示唆しています。Schuttは、連邦緊急事態管理庁(FEMA)の中核的な財務管理システムにアクセスしており、米国の民間連邦政府ネットワークと重要なインフラストラクチャに関する機密情報が漏洩する可能性があります。ジャーナリストのMicah Leeは、2023年以降、少なくとも4つの情報窃取マルウェアログでSchuttのユーザー名とパスワードを発見しました。これらの資格情報は、Adobe、LinkedIn、Gravatar、The Post Millennialなどの企業に影響を与えた大規模なデータ侵害でも表面化しました。ハッキングの正確なタイミングと頻度は不明なままであり、政府内の深刻なサイバーセキュリティリスクを浮き彫りにしています。

続きを読む
テクノロジー 政府セキュリティ

Siemens PC 100アセンブリマニュアルが明らかにした未記載の6502オペコード

2025-05-09

1980年のSiemens PC 100アセンブリマニュアルは、驚くべきことに、6502プロセッサの「非合法」オペコードを文書化しています。Rockwell AIM-65をベースとしたPC 100は、「Sonderbefehle」(特殊命令)とラベル付けされた追加命令、AAX、DCM、LAX、ISBなどを備えており、プログラマーに潜在的なパフォーマンス向上をもたらします。公式にはサポートされておらず、変更される可能性がありますが、これらの未記載のオペコードは、Siemensのエンジニアによる6502のより深い理解を示しており、レトロコンピューティングの歴史に魅力的な側面を追加し、当時のハードウェアとソフトウェアの能力の創造的な探求を強調しています。

続きを読む
ハードウェア

歴史家Zimmerman氏のブログ資金調達キャンペーンが成功

2025-05-09

歴史家Robert Zimmerman氏のブログ「Behind the Black」の2月の誕生日資金調達キャンペーンが成功裡に終了しました。彼は寛大な寄付と購読をしてくれた読者に感謝し、この支援が彼に広告やスポンサーの影響を受けずに、宇宙、政治、文化に関する独立した分析を行うことを可能にしていると強調しました。彼は2020年のCOVID-19パンデミックに関する正確な予測を、彼の鋭い分析の証拠として挙げています。読者はZelle、Patreon、PayPal、または小切手による寄付で彼の活動を支援できます。

続きを読む

食べられるロボット:ロボケーキが万博2025で注目を集める

2025-05-09
食べられるロボット:ロボケーキが万博2025で注目を集める

EUが資金提供するRoboFoodプロジェクトが、画期的な作品を発表しました。食べられるロボットのウェディングケーキ「RoboCake」です!EPFLとIITの研究者たちがパティシエと協力して開発したこのケーキは、内部の空気圧システムで動く、愛らしい食べられるロボットのテディベア2体が特徴です。さらに革新的なのは、ビタミンB2、ケルセチン、活性炭、チョコレートでできた食べられる充電式バッテリーで、ケーキのLEDキャンドルを点灯させます。この異分野融合の驚きは、ユニークな料理体験を提供するだけでなく、電子廃棄物と食品廃棄物の問題にも取り組んでおり、緊急時の栄養や医療への応用も期待されています。

続きを読む
テクノロジー 食べられるロボット

Reactの沼から脱出:使い捨てコードのハック

2025-05-09

あるプログラマーがReactのサイドプロジェクトで苦戦し、開発よりもデバッグに多くの時間を費やしていました。彼は韓国のことわざ「배보다 배꼽이 더크다」(へその方がお腹より大きい)を使って、優先順位の誤りを指摘しました。『Pure React』を読んでから、Reactの練習のために多くの「使い捨てコード」を作成し始め、素早く概念を習得しました。最終的に30分で作られたプロトタイプは友人を驚かせました。結論:スキルを向上させ、課題を克服するには、「使い捨てコード」を頻繁に使うことが有効です。

続きを読む
開発 速習

LegoGPT:テキストプロンプトから安定したレゴモデルを生成

2025-05-09

研究者らは、テキストプロンプトから物理的に安定したレゴブロックモデルを生成するAIモデルLegoGPTを開発しました。47,000以上のレゴ構造を含む大規模なデータセット(28,000以上のユニークな3Dオブジェクトと詳細なキャプションを含む)で学習されたLegoGPTは、次のトークン予測を使用して追加する次のブロックを予測します。安定性を確保するために、推論中に効率的な妥当性チェックと物理を考慮したロールバックが採用されています。実験では、LegoGPTは入力テキストと密接に整合する、安定した、多様で、美的に優れたレゴデザインを生成することが示されました。テキストベースのテクスチャリング方法により、色付きでテクスチャのあるデザインが生成されます。モデルは手動で、またはロボットアームによって組み立てることができます。データセット、コード、モデルは公開されています。

続きを読む
AI

HMSウェージャー:生存、反乱、そして喪失の物語

2025-05-09
HMSウェージャー:生存、反乱、そして喪失の物語

1741年、イギリス海軍艦HMSウェージャーは、危険なドレーク海峡で壊滅的な嵐に遭遇しました。船長は死亡し、多くの乗組員が壊血病にかかり、船は南米沿岸の荒涼とした島に難破しました。その後数ヶ月、生存者たちは飢餓、病気、厳しい気候、そして内部抗争と戦い、ついに反乱が勃発しました。砲手のジョン・バルクリー率いる一派は、残骸から小さな船を建造し、危険な帰郷の旅に出ました。このスリリングな物語は、圧倒的な困難に立ち向かう彼らの信じられないほどの生存、そして逆境に直面した人間の複雑さを詳細に描いています。

続きを読む
その他

eBPF、.NET 5、そしてIPv6に偽装したIPv4の謎

2025-05-09

この記事では、eBPF、.NET 5のDualModeソケット、そしてIPv6に偽装したIPv4を扱うデバッグの冒険について説明します。著者はeBPFプログラムを使ってポート53のDNSリクエストをリダイレクトしましたが、.NET 5アプリケーションで予期せぬ動作に遭遇しました。.NET 5のSocketsHttpHandlerはDualModeソケットを使用し、IPv4-mapped IPv6アドレスを使ってIPv6ソケット経由でIPv4トラフィックを送信します。これにより、eBPFプログラムはIPv4トラフィックをIPv6として誤ってブロックしました。解決策は、真のIPv6とIPv4-mapped IPv6アドレスを区別するために、`skb->family`ではなく`skb->protocol`をチェックすることでした。

続きを読む
開発

プロダクト煉獄:なぜ良い製品は売れないのか?

2025-05-09
プロダクト煉獄:なぜ良い製品は売れないのか?

多くのスタートアップが「プロダクト煉獄」に直面しています。良い製品で、顧客にも気に入られているのに売れないという状況です。著者は「魔法の杖テスト」を提案します。製品が無料で完璧に導入された場合、顧客はそれを利用しますか?「いいえ」の場合は、製品の価値が実装コスト(リスク、時間、費用)を大きく上回っていないことを示唆しています。テストに合格しても、顧客は緊急性がないために購入を延期する可能性があります。著者は、規制上の圧力、競争、緊急事態など、製品を緊急に必要とする顧客に焦点を当てることで、「プロダクト煉獄」から脱出できるとアドバイスしています。

続きを読む
スタートアップ 販売戦略 顧客ニーズ

1958年、南チリへのロイヤルソサエティ探検隊:ダーウィンの遺産と南極圏のフロンティア

2025-05-09
1958年、南チリへのロイヤルソサエティ探検隊:ダーウィンの遺産と南極圏のフロンティア

ダーウィンの『種の起源』出版100周年を記念して、1958年から1959年にかけて、ロイヤルソサエティは南チリへの探検隊を派遣しました。英国とニュージーランドの科学者チームは、ダーウィンが探検した場所を再訪し、チロエ島やウェリントン島などの南チリの島々を探検しました。南温帯域における種の類似性に着目した彼らの研究は、プレートテクトニクスへの理解に貢献しました。写真や日記によって記録されたこの探検は、その旅の困難と発見を垣間見ることができ、65年前の独特な風景と先住民文化を私たちに示しています。

続きを読む
テクノロジー 科学探検 南アメリカ

NOAA、数十億ドル規模の気象災害データベースを廃止

2025-05-09
NOAA、数十億ドル規模の気象災害データベースを廃止

アメリカ海洋大気庁(NOAA)は、有名な「数十億ドル規模の気象・気候災害」データベースを廃止すると発表しました。これにより、極端な気象イベントのコストを追跡することが困難になります。1980年から運用されてきたこのデータベースは、ハリケーンから雹まで、災害の経済的損失を追跡してきました。廃止は、化石燃料による汚染が極端な気象を悪化させていることについての情報への国民のアクセスを阻害するものと見なされています。人口増加や開発も寄与していますが、気候変動はこれらのイベントを激化させ、コストを増加させています。この措置は、NOAAの人員削減に伴うサービス削減に続き、さらなる予算削減が提案されており、将来のデータ収集とアクセスが危うくなっています。

続きを読む
テクノロジー

Cogent Core:一度書けば、どこでも実行

2025-05-09
Cogent Core:一度書けば、どこでも実行

Cogent Coreは、macOS、Windows、Linux、iOS、Android、ウェブで動作する、強力で高速、そしてエレガントな2Dおよび3Dアプリケーションを構築するための、無料でオープンソースのフレームワークです。単一のGoコードベースから「一度書けば、どこでも実行」を実現します。公式ウェブサイトには、詳しいドキュメントと、直接編集して実行できるインタラクティブな例が掲載されており、ウェブサイト自体もwasmを使用してウェブ上で動作するCogent Coreアプリケーションです。開発を始める前に、ウェブサイトのインストール手順を完了する必要があります。

続きを読む
開発

DARKNAVYによるStarlinkターミナルのリバースエンジニアリング:潜在的なセキュリティ脆弱性の発見

2025-05-09
DARKNAVYによるStarlinkターミナルのリバースエンジニアリング:潜在的なセキュリティ脆弱性の発見

セキュリティ研究組織DARKNAVYは、SpaceXのStarlinkユーザーターミナルに対して詳細なリバースエンジニアリング分析を行い、そのハードウェア、ファームウェア、セキュリティメカニズムを明らかにしました。彼らは、StarlinkがSTMicroelectronicsのチップを使用していることを発見しました。これには、コア処理用のカスタムクアッドコアSoCと、認証とキー管理のためのSTSAFE-A110セキュリティチップが含まれます。ファームウェアの大部分は暗号化されていませんでしたが、研究者たちは「イーサネットデータレコーダー」というラベルの付いたプログラムも発見しました。これはデータロギングが可能な可能性がありますが、現時点では、ユーザーのプライバシーデータではなく、衛星テレメトリデータのみを記録しているように見えます。しかし、ターミナルには41個のSSH公開キーがプリロードされており、22番ポートは常に開いているため、セキュリティ上の懸念が生じています。この研究は、衛星インターネットのセキュリティの重要性と、将来の宇宙セキュリティにおける攻防の複雑さを強調しています。

続きを読む
テクノロジー

Chromiumのメモリリーク:建設ロボットからのバグレポート

2025-05-09

Monumentalという建設ロボット会社が、ChromiumベースのElectronアプリケーションでメモリリークのバグを発見しました。このアプリはRust WASMコードを使用しており、wasm-bindgenでメモリを管理しています。問題は、JSエンジンがFinalizationRegistry内のファイナライザの呼び出しを停止することがあり、WASMメモリの暴走につながることです。作者は最小限の再現例を作成し、バグレポートを提出しました。このバグは、何度かリロードした後、メモリリークが持続し、ウィンドウを閉じないと解決しないという形で現れます。

続きを読む
(bou.ke)
開発

アリババのZeroSearch:検索エンジンを使わずにAI検索を訓練する

2025-05-09
アリババのZeroSearch:検索エンジンを使わずにAI検索を訓練する

アリババの研究者たちは、AI検索のトレーニング方法を一変させる画期的な技術「ZeroSearch」を開発しました。検索結果をシミュレートすることで、高価な商用検索エンジンAPIを必要とせず、大規模言語モデル(LLM)に高度な検索機能を開発させることができます。これにより、トレーニングコストが大幅に削減され(最大88%)、トレーニングデータに対する制御性も向上し、小規模なAI企業にとっても参入障壁が低くなります。ZeroSearchは、7つの質問応答データセットにおいて、実際の検索エンジンを使用してトレーニングされたモデルを凌駕する性能を示しました。このブレークスルーは、AIが外部サービスへの依存を減らし、自己シミュレーションによりますます高度な能力を開発していく未来を示唆しています。

続きを読む
AI

サービスロボットの性別が顧客の意思決定に影響

2025-05-09
サービスロボットの性別が顧客の意思決定に影響

ペンシルバニア州立大学による研究で、サービスロボットの性別の特性が顧客の意思決定に影響を与えることが明らかになりました。権力感が低い女性顧客にとっては、男性的な特徴を持つロボットの方が説得力がありました。「かわいい」デザイン要素(大きな目、高い頬など)は、ロボットの性別の影響を軽減し、男性顧客と女性顧客の反応を類似させることがわかりました。この研究は、ホスピタリティ企業が顧客の人口統計に合わせてロボットの性別を調整することで、売上とサービスを向上させることができることを示唆しています。

続きを読む
テクノロジー サービスロボット 性差

ゴリラの社会生活:複雑なコストとベネフィットの計算式

2025-05-09
ゴリラの社会生活:複雑なコストとベネフィットの計算式

20年にわたる164頭の野生マウンテンゴリラの研究は、社会性に伴うコストとベネフィットの複雑な相互作用を明らかにしました。この研究は、社会的な結びつきの利点と欠点は、グループのサイズと性別によって異なることを発見しました。小規模グループの友好的なメスは病気にかかりにくいものの、子孫の数は少なかった一方、大規模グループのメスは出産率が高かったものの、病気にかかりやすかったです。強い社会的つながりを持つオスは病気にかかりやすい傾向がありましたが、ケンカによる怪我はしにくい傾向がありました。この研究は、人間を含む社会性動物における社会戦略の多様性が、コストとベネフィットのトレードオフから生じることを強調しています。

続きを読む
テクノロジー ゴリラ 社会行動

Android 15で16KBページサイズをサポート、アプリのパフォーマンス向上

2025-05-09
Android 15で16KBページサイズをサポート、アプリのパフォーマンス向上

Google Playは、Android 15で16KBのメモリページサイズをサポートすると発表しました。これによりアプリのパフォーマンスが向上します。2025年11月1日以降、Android 15以降のデバイスを対象とする新規アプリとアップデートは、すべて16KBページサイズをサポートする必要があります。これにより、アプリの起動速度の向上、バッテリー消費量の改善、カメラ起動速度の向上、システム起動速度の向上が期待できます。多くの一般的なSDKやゲームエンジンは既に16KBをサポートしています。開発者は、Play Consoleのアプリバンドルエクスプローラーを使用して、アプリの互換性を確認し、必要なアップデートを行うことができます。

続きを読む

第二次世界大戦:アメリカの造船業の奇跡とボトルネック

2025-05-09
第二次世界大戦:アメリカの造船業の奇跡とボトルネック

第二次世界大戦中、アメリカの造船業は奇跡を起こし、わずか数年で数千隻の軍艦と商船を建造し、戦局を転換させました。これは、巨額の政府投資と民間企業の効率的な管理、そしてヘンリー・カイザーのような起業家がプレファブリケーションや溶接などの新しい建造技術を採用し、効率性を劇的に向上させたことによるものです。しかし、戦争の緊急事態の中でも、アメリカの造船業の効率性は他の国々をはるかに下回り、戦後は急速に衰退しました。これは、造船業の効率性を向上させるという長期的な課題を浮き彫りにしています。

続きを読む
テクノロジー 造船業

古代DNA分析が明らかにしたフェニキア文化の伝播:大規模移動ではなく文化交流

2025-05-09
古代DNA分析が明らかにしたフェニキア文化の伝播:大規模移動ではなく文化交流

新たな古代DNA研究により、地中海世界のフェニキア・プニック文明に関する長年の仮説が覆されました。研究の結果、フェニキア文化の伝播は、大規模な人口移動によるものではなく、文化交流と融合のダイナミックなプロセスによるものであることが判明しました。プニックの人々は、非常に多様で異質な遺伝子プロファイルを示し、北アフリカとシチリア・エーゲ海の祖先が大きく影響していました。地中海全域14カ所の遺跡から得られた多数のゲノムデータに基づくこの研究は、古代地中海社会の相互接続性、そして交易、異文化結婚、人口混合がプニック文化形成に果たした役割を浮き彫りにしています。

続きを読む
テクノロジー フェニキア文化 文化伝播

ポート競合に別れを告げる:ポート転送不要のPodmanとCLI愛好家のための開発環境コンテナ化

2025-05-08

ポート競合に悩まされた著者は、コンテナのポート転送を放棄し、代わりにPodmanとRust製のSOCKSプロキシであるPodfoxを使用して、ブラウザとPodmanネットワークの直接通信を実現しました。PodfoxはホストのDNS設定を必要とせず、コンテナホスト名を解決し、Podmanネットワーク情報を使用してゲートウェイアドレスをDNSクエリとプロキシに使用します。また、著者はHomebrewとPodchampというカスタムfishスクリプトを用いて、コマンドライン開発環境のコンテナ化を効率化した経験を共有しています。Homebrewのプレフィックスと環境変数をマウントすることで、異なるコンテナ間で同じ開発ツールを容易に使用でき、イメージの再構築や依存関係のインストールが不要になり、効率が向上します。

続きを読む
開発

ハーストニュースリールオンライン:時空の旅

2025-05-08

ハーストニュースリールのオンラインアーカイブが公開されました!カリフォルニア大学とパッカード人文研究所が協力して作成したこのウェブサイトは、1929年から1967年までの膨大なニュースリールコレクションを収録しています。これは、ハースト社からの寄贈です。ユーザーはこれらの歴史的映像を閲覧・視聴でき、独特の時空旅行を体験できます。ただし、一部のニュースリールには、時代遅れの偏見や不快な内容が含まれている可能性があることにご注意ください。

続きを読む

空白の検索バーへ:情報過多とデザインの失敗

2025-05-08

ブックマークの誤クリックから始まる、このエッセイは情報過多の時代におけるレコメンドアルゴリズムの負の影響を探ります。多すぎる選択肢はユーザーの意思決定を妨げ、効率を低下させ、「選択の麻痺」さえ引き起こします。著者は、ウェブサイトのデザインはユーザー中心であるべきだと主張し、レコメンド機能のオフ機能を提供すること、意図しないオートコンプリートを避けること、そして空白のインターフェースから始めてユーザーが必要な機能を選択できるようにすることを提案しています。この記事は情報過多の個人的な経験だけでなく、アルゴリズムによるレコメンドメカニズムの倫理的な問題も提起し、より人間中心のデザイン原則を求めています。

続きを読む
デザイン

Apple、Metaに対抗するスマートグラス用チップを秘密開発中

2025-05-08
Apple、Metaに対抗するスマートグラス用チップを秘密開発中

ブルームバーグによると、AppleはMetaのRay-Ban Metaスマートグラスに対抗するため、スマートグラス向けの新チップを開発中だ。Apple Watchのチップをベースに、複数のカメラに対応するよう簡素化・最適化されており、量産開始は2026年末または2027年を目指している。これにより、スマートグラスの発売時期も同時期になる可能性が高い。また、AppleはMetaと同様に拡張現実グラスも開発中だが、Metaの消費者向けバージョンは2027年の発売予定だ。さらに、Appleはカメラ搭載のApple WatchとAirPods用のチップ、新しいMシリーズチップ、専用のAIサーバーチップも開発中で、これらはすべて2027年頃に完成する見込みだ。

続きを読む
テクノロジー スマートグラス

fui:C言語によるフレームバッファベースのTTY UIライブラリ

2025-05-08
fui:C言語によるフレームバッファベースのTTY UIライブラリ

fuiは、ttyコンテキスト内でフレームバッファと直接対話するための軽量なCライブラリです。レイヤード描画システムを使用し、ピクセル描画、プリミティブな図形(線、矩形、円)、ビットマップフォントレンダリング、キーボードとマウスのイベント処理(libevdev使用)、そして基本的なALSAベースのサウンドシステム(現在は正弦波とコード)をサポートしています。このライブラリは静的にリンクされており、例とテスト(cmocka使用)が含まれています。シンプルなAsteroidsゲームがサウンド機能を示しています。

続きを読む

req-update-check: requirements.txtを簡単に更新

2025-05-08
req-update-check: requirements.txtを簡単に更新

requirements.txtを手動で更新することにうんざりしていませんか?req-update-checkを使えば自動化できます!このPythonツールは、依存関係の更新を確認し、重大度(major/minor/patch)、ホームページ、変更ログを表示します。キャッシュ、コメント、複数のインストール方法に対応しており、依存関係の管理を合理化します。さあ、開発ワークフローを今すぐ改善しましょう!

続きを読む
開発
1 2 250 251 252 254 256 257 258 595 596