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

オーストリアのクラウドプロバイダー、ライセンス価格500％超の値上げを受けVMwareからKVMへ移行

2025-01-13
オーストリアのクラウドプロバイダー、ライセンス価格500％超の値上げを受けVMwareからKVMへ移行

VMwareのライセンス価格が500％以上も値上げされたことを受け、オーストリアのクラウドプロバイダーであるAnexia社は、12,000台の仮想マシンをKVMベースのオープンソースプラットフォームに移行しました。この移行により、大幅なコスト削減を実現し、企業存亡の危機を回避しただけでなく、顧客からの支持も得られました。Anexia社は既存のNetcupプラットフォームとAnexia Engine抽象化レイヤーを活用することで、シームレスな移行を実現し、ワンクリックと短い再起動時間で完了しました。今回の移行は、オープンソースソリューションの実現可能性を示すとともに、Broadcom社によるVMware買収後の積極的な価格戦略に対する市場の反発を浮き彫りにしています。

続きを読む
(www.theregister.com)
テクノロジー オープンソース移行

あなたの2%を見つける：幸せの秘訣？

2025-02-18
あなたの2%を見つける：幸せの秘訣？

著者は、内向的か外向的かは社交スキルではなく、エネルギー源の違いだと主張します。ほとんどの人は著者のエネルギーを消耗しますが、厳選された2%の人は彼に活力を与えます—彼らの「2%の人々」。ハーバード大学の研究は、幸福にとって質の高い人間関係が重要であることを強調しており、「2%の人々」を見つけることが不可欠になります。著者は、好きな活動と「2%の人々」をリストアップし、一緒に過ごす時間を計画し、この投稿を彼らと共有することを提案しています。

続きを読む
(joyarbitrage.substack.com)
その他 内向性/外向性

coq-of-rust: バグフリーなRustコードを実現する形式的検証ツール

2025-03-17
coq-of-rust: バグフリーなRustコードを実現する形式的検証ツール

coq-of-rustは、RustプログラムをCoq証明支援系に翻訳することで、100％バグフリーなRustコードを実現するための形式的検証ツールです。RustコードをCoqコードに変換し、Coqの強力な証明技術を活用してコードの正当性を検証することで、全てのバグを排除します。このツールは幅広いRust機能をサポートしており、スマートコントラクトやデータベースエンジンなどの重要なアプリケーションに対する形式的検証サービスを提供します。

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

選択肢型ゲームにおける標準パターン

2025-01-13
選択肢型ゲームにおける標準パターン

この記事では、選択肢型ゲームにおける一般的な物語構造パターンについて探求します。「タイムケイブ」「ガントレット」「分岐とボトルネック」「クエスト」「オープンマップ」「選別帽子」「フローティングモジュール」「ループと成長」などです。各パターンはそれぞれ独自の特性と用途を持ちます。例えば「タイムケイブ」は自由度の高い冒険に適し、「ガントレット」は線形な物語に適し、「分岐とボトルネック」はキャラクターの成長を示すのに適しています。著者はそれぞれの長所と短所を分析し、具体的な例を挙げてゲームデザイナーにとって貴重な洞察を提供しています。

続きを読む
(heterogenoustasks.wordpress.com)
ゲーム 物語構造 インタラクティブな物語

脳の粘液バリアが老化対策のカギを握る可能性

2025-03-02
脳の粘液バリアが老化対策のカギを握る可能性

マウスを使った研究で、脳の血管を覆う粘液バリア（ムチンからなる）が加齢とともに劣化し、有害な分子が脳組織に侵入して炎症を引き起こす可能性があることが明らかになりました。遺伝子治療によってこのバリアを修復すると、高齢マウスの脳の炎症が軽減され、学習能力と記憶力が向上しました。この研究は、アルツハイマー病などの加齢に伴う疾患に対する治療標的となる可能性を示唆しています。

続きを読む
(www.nature.com)
テクノロジー 脳血管 ムチン

AIによる視覚化：類似した都市道路網

2024-12-15
AIによる視覚化：類似した都市道路網

similar-citiesというウェブサイトは、AIを用いて、都市の道路網の類似性を比較することで都市間の関係を視覚化します。独自の「酔っ払いの散歩」アルゴリズムを使用し、道路網内のランダムな経路の類似性を計算することで、構造的な類似性を評価します。データはOpenStreetMapから取得され、約2500の都市が含まれています。このプロジェクトはオープンソースであり、アルゴリズムとコードの詳細な説明を提供しており、より多くの都市データを追加して精度を向上させることを歓迎しています。

続きを読む
(github.com)
AI 視覚化 道路網

F-Droidのセキュリティ問題：オープンソースは安全性を保証しない

2025-01-20
F-Droidのセキュリティ問題：オープンソースは安全性を保証しない

この記事では、人気のAndroidオープンソースアプリストアであるF-Droidのセキュリティ脆弱性を深く掘り下げています。F-Droid独自の署名メカニズムは、追加の信頼できる当事者を紹介し、セキュリティリスクを高めています。その厳格な包含ポリシーは、アプリの更新が遅くなり、古いライブラリが使用される原因となっています。低いターゲットAPIレベルと、良好なプラクティスの欠如は、セキュリティ問題をさらに悪化させています。この記事では、F-Droidの誤解を招く可能性のあるパーミッション表示と、混乱を招くユーザーエクスペリエンスについても指摘し、Google Playストアと比較しています。最終的に、オープンソースが安全性を保証するものではないことを強調し、ユーザーにF-Droidを注意深く使用するよう勧めています。

続きを読む
(privsec.dev)
テクノロジー

フットボールマネージャー2024、シーズンをスキップ：驚くほど賢い戦略

2025-02-07
フットボールマネージャー2024、シーズンをスキップ：驚くほど賢い戦略

フットボールマネージャー2024は延期され、新シーズンの選手データのアップデートは行われず、予約購入者への払い戻しが実施されます。最新ロスターを熱望するファンにとっては残念なニュースですが、この決定はSports Interactiveの大胆さと長期的なビジョンを示しています。毎年リリースされるスポーツゲームは、イノベーションの不足とマイクロトランザクションの蔓延が批判されてきました。フットボールマネージャーの延期は、この傾向からの熟考された逸脱であり、質が厳しい締め切りよりも優先されています。この予期せぬ動きは、スポーツゲーム業界に爽快な変化をもたらし、将来の改善とイノベーションを約束する可能性があります。

続きを読む
(arstechnica.com)
ゲーム スポーツゲーム フットボールマネージャー

巨大IT企業、EUのオンラインヘイトスピーチ対策誓約に署名

2025-01-21
巨大IT企業、EUのオンラインヘイトスピーチ対策誓約に署名

Meta、Google、TikTok、Xなどの巨大IT企業が、自らのプラットフォームにおける違法なヘイトスピーチに対処するためのEUの自主的な誓約に署名しました。「オンラインにおける違法なヘイトスピーチ対策行動規範+」では、署名者は透明性を高め、第三者による監視を許可し、24時間以内にヘイトスピーチの報告の少なくとも3分の2をレビューすることが求められます。法的拘束力はありませんが、この合意は、テクノロジー企業がオンラインヘイトスピーチに対処するための取り組みにおいて前進を示すものです。

続きを読む
(www.theverge.com)
テクノロジー オンラインヘイトスピーチ テクノロジー企業の責任

Discourse、オンラインコミュニティ育成の10周年を祝う

2024-12-17
Discourse、オンラインコミュニティ育成の10周年を祝う

オープンソースのフォーラムソフトウェアであるDiscourseは、2024年8月26日に10周年を迎えました。オンラインでの議論のレベルを向上させるというビジョンのもと、4人の小さなチームから25カ国にまたがる100人以上の従業員へと成長しました。このプラットフォームは、20,000以上のコミュニティ、1億700万件以上のトピック、そして約16.5億件もの投稿を誇ります。継続的な開発には、49個のプラグイン、チャット機能、そしてモデレーションとユーザーエクスペリエンス向上のためのAI搭載ツールの追加が含まれています。この成功は、オープンソースであること、ユーザーフィードバックへのコミットメント、そしてチームの献身が証明しています。

続きを読む
(blog.discourse.org)
開発 オープンソースフォーラム コミュニティソフトウェア AI統合

相互関税：貿易赤字解消に向けた可能性のある解決策

2025-04-05
相互関税：貿易赤字解消に向けた可能性のある解決策

このレポートは、米国とその貿易相手国間の二国間貿易赤字を解消することを目的とした「相互関税」の概念を探求しています。二国間貿易赤字をゼロにするために必要な関税率を計算しています。研究によると、相互関税率は0％から99％の範囲にあり、加重平均は20％、輸入加重平均は41％です。貿易赤字の継続は、貿易バランスを阻害する関税と非関税の要因の組み合わせによるものとされています。このレポートは、弾力性モデルを用いて、関税の輸入需要弾力性と価格転嫁の推定値を使用して相互関税を計算しています。

続きを読む
(ustr.gov)
テクノロジー 貿易赤字

AIが脳活動から画像をかつてない精度で再構築

2025-05-08
AIが脳活動から画像をかつてない精度で再構築

AIシステムは、脳活動の記録のみを基に、人が見ているものの驚くほど正確な画像を再構築できるようになりました。研究者らは、AIが特定の脳領域に焦点を当てることを学習すると、これらの再構築の精度が劇的に向上することを発見しました。このブレークスルーは、脳活動からの視覚情報の解読における大きな進歩を示しており、ブレイン・コンピュータ・インターフェースへの潜在的な影響を持っています。

続きを読む
(www.newscientist.com)
AI ブレイン・コンピュータ・インターフェース 画像再構築

AMD Ryzen AIプロセッサでDeepSeek R1推論モデルを簡単に実行

2025-02-07
AMD Ryzen AIプロセッサでDeepSeek R1推論モデルを簡単に実行

DeepSeek R1は、思考連鎖（CoT）推論を用いて複雑なタスクに対処する新しい種類の推論モデルです。応答時間が長くなるというトレードオフがありますが、非常に高い推論能力を備えています。これらの高性能な、蒸留されたDeepSeek R1モデルは、LM Studioを介してAMD Ryzen™ AIプロセッサとRadeon™グラフィックスカードに簡単に展開できるようになりました。この記事では、さまざまなAMDハードウェア構成でさまざまなDeepSeek R1蒸留を実行するための手順と、最適なパフォーマンスを実現するための推奨モデルサイズと量子化設定について説明しています。

続きを読む
(community.amd.com)
AI AI推論モデル

学術出版における匿名性：ウィキペディア編集が議論を巻き起こす

2024-12-27

ウィキペディアでの数学編集に関する論文が、学術出版における匿名性に関する議論を引き起こしました。著者の1人がウィキペディアの匿名アカウント「XOR'easter」を使用していましたが、アメリカ数学会（AMS）は、著者の実名を知らないことを理由に論文の掲載を拒否しました。これは、インターネットの匿名性と従来の学術出版モデルとの間の対立、そして学術界における匿名出版の受け入れ度に関する問題を浮き彫りにしています。著者らは、ウィキペディアの匿名性ポリシーは編集者を保護するためのものであり、学術界は匿名出版の意味を再考する必要があると主張しています。

続きを読む
(11011110.github.io)
開発 学術出版

基盤モデルを用いた人工生命探索の自動化

2024-12-24
基盤モデルを用いた人工生命探索の自動化

Sakana AIはMITなどとの共同研究で、視覚言語基盤モデルを用いて人工生命の発見を自動化するアルゴリズムASALを開発しました。ASALは、特定の目標行動を持つシミュレーションの発見、永続的に新規性を生み出すシミュレーションの発見、そして可能なすべてのシミュレーションの解明という3つの探索問題に取り組みます。Lenia、Boids、Particle Lifeなど、複数のシミュレーション環境で成功を収め、従来のコンウェイのライフゲームを凌駕する開放性を持つ、新規な人工生命体やセルオートマトンルールを発見しました。この画期的な成果は、手動によるシミュレーション設計の限界を克服することで、人工生命研究を活性化し、開放性や自己組織化の原則を統合した将来のAI開発に新たな知見を提供します。

続きを読む
(sakana.ai)
AI 基盤モデル 自動探索

Appleアカウントロック：未払いApple Cardによる悪夢

2025-05-18
Appleアカウントロック：未払いApple Cardによる悪夢

著者のApple Cardの自動支払いが銀行口座の変更により失敗し、支払いが遅延しました。Appleはその後、App Store、iCloud、Apple Music、Apple IDアカウントをロックしました。この事件は、Appleが請求に関する問題に対処する際の極端な手段、コミュニケーションと透明性の欠如、そしてユーザーの大きな不満を浮き彫りにしています。アカウントは最終的にロック解除されましたが、そのプロセスには数日かかり、カスタマーサポートも問題を効果的に解決できませんでした。これは、Appleのカスタマーサービスにおける欠点を示しています。

続きを読む
(dcurt.is)
テクノロジー アカウントセキュリティ

Tig：Gitのためのテキストモードインターフェース

2024-12-17

TigはncursesベースのGit用テキストモードインターフェースで、主にGitリポジトリブラウザとして機能します。チャンクレベルでのコミットへの変更のステージングを支援し、様々なGitコマンドからの出力のページャーとしても機能します。インストール手順、新機能とバグ修正の詳細なリリースノート、ホームページ、マニュアル、Stack OverflowのQ＆Aセクションなどのリソースが容易に入手できます。バグレポートと機能リクエストは、イシュートラッカーまたはメールで提出できます。

続きを読む
(jonas.github.io)
開発 コマンドラインインターフェース

バードによるエラトステネスの篩の証明の修正：無限リストに関する証明

2025-02-08

この論文は、リチャード・バードの著書『Thinking Functionally with Haskell』におけるエラトステネスの篩に関する誤った証明を修正します。バードは、循環的なリストベースの実装を示していますが、その証明のヒントは誤っています。著者らは、新しい補題を導入し、ベルトランの仮説の弱体化を利用することで、完全な正当性証明を提供します。このアルゴリズムと、デイビッド・ターナーの「完全関数型プログラミング」のビジョンとの関連性についても探求します。

続きを読む
(www.cambridge.org)
開発 エラトステネスの篩 アルゴリズムの証明

クエン酸回路：生命の意外な秘密

2025-05-16
クエン酸回路：生命の意外な秘密

ニック・レインの『Transformer』では、生命を情報によってのみ駆動されるとする従来の見解に異議を唱えています。代わりに、レインは、生命は基本的にクエン酸回路を中心とした化学現象であり、この回路は、無機分子を生命の構成要素に変換し、その逆も行う代謝プロセスであると主張しています。長らく誤解されてきたこの回路は、初期の光合成細菌から人間の意識、さらには死そのものまでを結びつけ、地球上の生命の歴史における深い一貫性を明らかにしています。本書では、この回路が生命の系統樹に及ぼす影響を探り、生命の起源と運命に関する革命的な視点を与えています。

続きを読む
(nick-lane.net)
テクノロジー クエン酸回路

スウェーデン、デモシーンをユネスコ無形文化遺産に指定

2025-03-31
スウェーデン、デモシーンをユネスコ無形文化遺産に指定

スウェーデンは、デモシーンを国のユネスコ無形文化遺産に指定しました。おそらく最古の創造的なデジタルサブカルチャーであるデモシーンは、技術的および経済的な変化の中で、その価値観と伝統を守り続けてきました。ハードウェアの限界を押し広げる競争が中心ではありますが、デモシーンには、奇妙な作品を作る、オンラインコミュニティを維持する、パーティーを企画するなど、多様な活動が含まれています。著者は、ノスタルジックなプログラマーと型破りなアーティストの両方を魅了する、このシーンの多様性と包括性を強調しています。

続きを読む
(www.goto80.com)
その他 ユネスコ デジタルサブカルチャー

AIとスタートアップの競争優位性の浸食

2025-01-07
AIとスタートアップの競争優位性の浸食

この記事では、AIの急速な進歩がスタートアップの競争環境をどのように変えているかを考察しています。著者は、強力な研究開発チームや優れたカスタマーサポートなど、さまざまな「堀」（競争優位性）を分析し、多くの従来の優位性がAIの台頭によって弱まっていると主張しています。そして、物理世界の支配、資本へのアクセス、独自のデータ、強力なパートナーシップ、規制上の優位性など、AI時代においても依然として重要な堀を特定しています。著者は、起業家に対し、自社の競争優位性を評価し、変化する環境に適応し、AI技術を積極的に活用することを促しています。

続きを読む
(unzip.dev)
スタートアップ 競争優位性

F-Droid偽造署名PoC：証明書固定の回避

2025-01-04
F-Droid偽造署名PoC：証明書固定の回避

このプロジェクトは、F-DroidのAPK署名検証における脆弱性を示す概念実証です。攻撃者はこれらの欠陥を利用して署名を偽造し、F-Droidの証明書固定機構を回避することで、悪意のあるアプリを正規アプリとして偽装できます。脆弱性は、F-DroidがAPK署名ブロック内の証明書の順序と検証を処理する方法の矛盾に起因します。これらの矛盾を操作することで、攻撃者は偽の証明書情報を挿入し、F-Droidをだまして有効な署名として受け入れさせることができます。修正が提案され、実装されてきましたが、さらなる脆弱性と回避策が発見されており、APK署名検証のセキュリティにおける継続的な課題が浮き彫りになっています。

続きを読む
(github.com)
開発 Androidセキュリティ APK署名 F-Droidの脆弱性

メタリンギスティックプログラミングの魔法：インタープリタによるコード簡素化

2025-01-01
メタリンギスティックプログラミングの魔法：インタープリタによるコード簡素化

この記事では、メタリンギスティックプログラミングの力、特にインタープリタを使用して複雑なコードを簡素化する方法を探求しています。著者はLisp式の簡素化を例として使用し、80行のSchemeインタープリタと30個のルールを構築することで、通常は数千行のコードが必要となるタスクを達成する方法を示しています。重要なのは、プログラミングパラダイムをデータ駆動型のルールマッチングに変更することで、コードの重複を大幅に回避することです。魔法ではないものの、著者はこのメタリンギスティックな抽象化は、さらなる探求に値する強力なツールであると主張しています。

続きを読む
(ericnormand.substack.com)
開発 メタリンギスティックプログラミング インタープリタ コード簡素化

Canva、CIビルド時間を数時間から30分未満に短縮

2024-12-18
Canva、CIビルド時間を数時間から30分未満に短縮

Canvaのエンジニアリングチームは、継続的インテグレーション（CI）のビルド時間を平均80分から30分未満、場合によっては15分まで大幅に短縮することに成功しました。これは多角的なアプローチによって実現されました。Bazelキャッシュの問題の特定と解決、パイプライン構造の最適化、Gitリポジトリのチェックアウトとキャッシュの改善、Bazelリモートビルド実行（RBE）の活用などです。さらに、さまざまなインスタンスタイプのテストやBazel設定の調整など、広範囲にわたる実験が行われました。一連の増分的な改善により、CIの効率が大幅に向上し、コストが削減され、開発者エクスペリエンスが向上しました。

続きを読む
(www.canva.dev)
開発 継続的インテグレーション CI最適化

Jupyter Notebook：E2Eテストとドキュメントを一つに

2024-12-18

量子コンピューティングライブラリの開発において、著者はJupyter Notebookをユーザーガイドとエンドツーエンドテストの両方として活用しました。Notebook内で環境変数（SERVER_URLなど）を読み取ることで、パラメーター化を実現し、ユーザーと自動化されたCI/CDパイプラインの両方による実行を可能にしました。Notebookの実行方法として、簡潔なnbclientと、より柔軟なnbconvert/jqの2つの方法を検討しました。最終的に著者はnbclientの簡潔さを選択し、ドキュメントのメンテナンスとコードテストを効果的に統合することで、マージリクエストごとに両者の整合性を確保しています。

続きを読む
(rakhim.exotext.com)
開発 E2Eテスト

オープンソースエルゴノミクスキーボード：Ergo S-1 - あなただけの快適さを構築

2025-01-03
オープンソースエルゴノミクスキーボード：Ergo S-1 - あなただけの快適さを構築

Ergo S-1は、Cherry/GateronスイッチとCherry/OEM/DCSキーキャップに対応した、オープンソースのワイヤレス分割エルゴノミクスキーボードで、ZMKファームウェアを使用しています。失業中に設計されたこのキーボードは、DIYでの組み立てやすさを重視しており、より幅広いユーザーにアクセスできるようにしています。このプロジェクトでは、包括的な組み立て手順、部品表、Fusion 360設計ファイル、カスタムキーマップのサポートを提供しています。完全なキットはまだ入手できませんが、組み立て済みのキーボードはEtsyで販売されており、作成者はより簡単に組み立てられるキットの開発に積極的に取り組んでいます。

続きを読む
(github.com)
ハードウェア エルゴノミクスキーボード

PyPI依存関係グラフの可視化：隠れたパッケージクラスタの発見

2025-03-04

PyPIにある50万を超えるオープンソースPythonパッケージの依存関係グラフを可視化することで、著者は巨大なネットワークグラフを構築しました。データクレンジングとGephiソフトウェアを用いて、パッケージ間の依存関係を明らかにし、興味深い現象を発見しました。NumPyを中心とした科学計算パッケージクラスタなど、いくつかのパッケージが密なクラスタを形成する一方、疑わしいパッケージを含む異常なクラスタも見つかり、可視化手法による悪意のあるパッケージ検出の可能性を示唆しています。さらに、TritonやOdooなどの大企業のパッケージも、内部依存関係のためにまとまって表示されます。この研究は、PyPIエコシステムを探求するための新たな視点を提供し、データ可視化のパッケージ分析における威力を示しています。

続きを読む
(fi-le.net)
開発

Rustの`Any`トレイトがついにアップキャストに対応

2025-03-30
Rustの`Any`トレイトがついにアップキャストに対応

Rust 1.86で、`Any`トレイトの長く続いていた問題、`dyn Any`のアップキャストが不可能だった問題がついに修正されました。つまり、開発者は`Any`トレイトのメソッド（`downcast_ref`など）を、`Any`を継承するトレイトで使用できるようになりました。この修正により、以前はハックが必要だった機能が標準的な方法で実現できるようになり、コードの可読性と保守性が向上します。長年、この問題の回避策に頼ってきたRust開発者にとって朗報です。

続きを読む
(lucumr.pocoo.org)
開発 Anyトレイト アップキャスト

AMD Versal RFシリーズ：統合型ダイレクトRFサンプリングによるRF信号処理の革命

2025-02-04
AMD Versal RFシリーズ：統合型ダイレクトRFサンプリングによるRF信号処理の革命

AMDは、新しいVersal RFシリーズの適応型SoCにより、RF信号処理に革命を起こしています。これらのチップは、高解像度のRFデータコンバータ、ハードIP DSP計算ブロック、AIエンジンを単一ダイに統合し、最大80 TOPSのDSP性能と32 GSPSのサンプリングレートを提供します。航空宇宙・防衛およびテスト・計測市場をターゲットとするVersal RFシリーズは、前世代製品と比較して、19倍のDSP計算能力と80％の低消費電力を実現しています。高解像度、広帯域スペクトル観測能力、低遅延処理により、位相配列レーダー、電磁スペクトル運用、軍事衛星通信端末などのアプリケーションに最適です。

続きを読む
(www.electronicsweekly.com)
ハードウェア RFデータコンバータ

ブラウザベースの半導体シミュレーター：回路を描画し、電磁場をシミュレート

2025-05-10

Brandon Liは、ブラウザ上で動作する強力な半導体シミュレーターを開発しました。このプログラムを使用すると、回路を描画し、リアルタイムで電磁場を視覚化できます。さまざまな材料（金属、半導体、誘電体など）をサポートしています。シンプルな回路、半導体デバイス、デジタルロジックなどを網羅した多数の例が含まれており、RC回路、PN接合ダイオード、BJT、MOSFETなどが含まれています。最適なパフォーマンスを得るには、高性能なコンピューターが推奨されます。ダウンロード可能なJavaバージョンも利用可能です。

続きを読む
(brandonli.net)
ハードウェア 半導体シミュレーション
1 2 … 562 563 564 566 568 569 570 … 595 596