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

パブリックドメインデー映画リミックスコンテスト受賞作品発表！

2025-02-08

2025年パブリックドメインデー映画リミックスコンテストが終了しました！ クエライン・メドウズの「When I Leave the World Behind」が1位を獲得。映画、画像、音楽、テキストを巧みに融合させ、強い郷愁を呼び起こす作品です。 サマンサ・クロースの「The Archive Boogie」とサマラ・メイヤーの「THE SITUATIONSHIP」がそれぞれ2位と3位を獲得。1929年の映画の広がりとパブリックドメインリソースの豊かさ、大胆なサフィックラブストーリーが示されました。 さらに、3作品が佳作に選ばれ、多様な映画スタイルが紹介されました。 ジェレミー・フロイドの「Moving Pictures Aren't What They Used to Be」、ウィリアム・ウェッブの「Hoffman's Honeymoon」、DIEGO DIAZ & CAN SARKの「The Wayback Machine」です。 全作品はインターネットアーカイブでご覧いただけます。

続きを読む
(blog.archive.org)
ゲーム 映画リミックス

Rustのrandクレート：乱数生成の依存関係の悪夢

2025-02-08
Rustのrandクレート：乱数生成の依存関係の悪夢

この記事では、乱数生成に使用されるRustのrandクレートの依存関係の問題について掘り下げています。著者は、驚くほど多くの依存関係があるため、コンパイル時間が長くなり、コードサイズが膨張することを指摘しています。randの依存関係ツリーには、libc、zerocopy、ppv-lite86など多くのクレートが含まれており、行数とコンパイルオーバーヘッドに大きく貢献しています。標準ライブラリへの機能統合やrand自体の依存関係管理の改善など、いくつかの潜在的な解決策が提案されています。これは、Rustの標準ライブラリの完全性と外部クレートの依存関係管理に関する議論を引き起こします。

続きを読む
(lucumr.pocoo.org)
開発 randクレート

GoogleのCarbon：C++の後継言語というだけではない、技術的負債の清算者

2025-02-08
GoogleのCarbon：C++の後継言語というだけではない、技術的負債の清算者

Googleの実験的なプログラミング言語Carbonは、単なるC++の代替言語ではなく、自動化されたツールを用いて既存のC++コードを現代的で保守しやすい言語へ大規模にマイグレーションすることで、C++の技術的負債問題に取り組むプロジェクトです。これは、C++標準化委員会との間の言語の将来の方向性に関する意見の相違に起因しており、Carbonは委員会の制約から解放され、より柔軟な言語進化を目指しています。これは途方もない課題ですが、CarbonはClangやLLVMなどのツールを活用し、インターフェースを通じて抽象化を統一することで、C++の複雑性に対処し、今後数十年間にわたって存在し続けるであろう膨大なC++コードベースに対する実行可能なソリューションを提供しようとしています。

続きを読む
(herecomesthemoon.net)
開発

あなたに支払われるべきものを請求する：簡単な債権回収、法的トラブルなし

2025-02-08
あなたに支払われるべきものを請求する：簡単な債権回収、法的トラブルなし

未払い金の回収は面倒なものです。しかし心配しないでください！米国労働省は、2021年だけで2億3000万ドル以上の未払い賃金を回収しましたが¹、それでもなお多くの未払い金が残っています。このウェブサイトは、複雑な法的手続きなしで、簡単にあなたに支払われるべきものを回収するための簡単なツールを提供します。データによると、請負業者間の紛争の40％が少額訴訟となり、26％の賃借人が敷金の問題を報告しています。あなたの権利を侵害させないでください。今日、行動を起こしましょう！

続きを読む
(www.freedemandletter.com)
その他 債権回収 未払い金

不眠症克服：創造の癒しの力

2025-02-08
不眠症克服：創造の癒しの力

著者はかつて慢性的な不眠症に悩まされていたが、様々な変わったルールを作り、不眠と戦っていた。中には特定の車の芳香剤のことを考えないというルールもあった。しかし、最終的に彼は睡眠のコントロールを諦め、夜遅くにインスピレーションが湧いたら創作活動をする（執筆、絵画、彫刻など）ことが最も効果的だと気づいた。この創作活動は不眠症の不安を取り除き、予想外の安らぎと満足感をもたらした。著者は完璧主義を捨て、たとえ下手でも創作活動に挑戦することを読者に勧めている。そこから癒しや解放を見つけることができるだろうと。

続きを読む
(untested.sonnet.io)
その他

cute_headers：単一ファイルのクロスプラットフォームC/C++ライブラリ

2025-02-08
cute_headers：単一ファイルのクロスプラットフォームC/C++ライブラリ

cute_headersは、2D衝突検出、ネットワーキング、マップロード、サウンド再生など、さまざまなタスクに対する自己完結型のソリューションを提供する、単一ファイルのクロスプラットフォームC/C++ライブラリの集合です。これらのライブラリは依存関係がなく、単一のヘッダーファイルを含めるだけで簡単に統合でき、コンパイル時間の増加を避けるために効率的に実装されています。プリプロセッサマクロの巧妙な使用により、実装の詳細が管理され、統合とビルドプロセスが簡素化されます。ゲーム開発や、効率的で移植性の高いユーティリティを必要とするその他のプロジェクトに最適です。

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

The Deck：オフラインマルチプレイヤーカードゲームアグリゲーター

2025-02-08
The Deck：オフラインマルチプレイヤーカードゲームアグリゲーター

The Deckは、DartとFlutterで記述されたオフラインマルチプレイヤーカードゲームアグリゲーターであり、ゲームナイトでカードが不足する問題を解決します。1つのデバイスを「テーブル」として指定することで、すべてのプレイヤーがリアルタイムでカードを確認でき、没入感のある体験を実現します。このオープンソースプロジェクトは貢献を歓迎しており、iOSとAndroidでのビルドとリリースに関する詳細な手順と、一般的な問題のトラブルシューティングを提供しています。

続きを読む
(github.com)
ゲーム マルチプレイヤー

ソフトウェアを破壊している（そしてハッキングの喜びを奪っている）

2025-02-08

ベテラン開発者antirezは警告を発しています。私たちはソフトウェアを破壊しつつあるのです！ 新しい技術への過剰な依存、複雑性の無視、扱いにくいビルドシステムと複雑な依存関係の連鎖、そして保守性と下位互換性の軽視が、ソフトウェアを脆弱にしています。「車輪の再発明」を避けることが学習とイノベーションを阻害し、早すぎる書き直し、頻繁な言語/フレームワークの変更、既存の複雑なライブラリへの依存が複雑さを悪化させていると彼は主張します。ハッキングの喜びを取り戻すには、コードのシンプルさ、スケーラビリティ、保守性を優先する必要があります。

続きを読む
(antirez.com)
開発 コードの複雑さ

隠された巨大キャッシュ：ディスク容量が消える理由

2025-02-08

多くのUnixプログラムは、隠しディレクトリである`.cache`や`.local`にデータをキャッシュしており、ユーザーはこれらの巨大なキャッシュファイルを見つけ、削除することが困難です。これらは多くのディスク容量を消費します。著者は、共有ファイルサーバー環境において、大学院生がこれらの隠しキャッシュに困惑し、数百GBものディスク容量が気づかずに消費されているのを目の当たりにしました。この記事では、開発者に対してキャッシュを可視的なディレクトリに保存するよう呼びかけ、ディスク容量使用ツールはこれらの隠しディレクトリのコンテンツを明示的に表示すべきだと提案しています。

続きを読む
(utcc.utoronto.ca)
開発 キャッシュ管理 ディスク容量 Unixプログラム

奇妙な島々：国籍を変える島から消えた島まで

2025-02-08

この記事では、6ヶ月ごとに所属国を変えるフェザント島、オリンピックカーリングの石の御影石を供給するエールサ・クレイグ島、取るに足らない岩がデンマーク・カナダ間の戦争を引き起こしたハンス島など、様々な珍しい島々を紹介しています。その他、アメリア・イアハートの墜落地点とされるニクマロロ島や、世界で最も離れた有人島であるトリスタン・ダ・クーニャ島なども含まれます。これらの島々は、独自の地理的特徴や興味深い歴史を持ち、世界の島々の多様性と神秘性を示しています。

続きを読む
(amanvir.com)
その他 島 珍奇

運用上の負担を克服する：「何もせず」スクリプトのアプローチ

2025-02-08
運用上の負担を克服する：「何もせず」スクリプトのアプローチ

すべての運用チームは手動手順に苦労しています。この記事では、「何もせず」スクリプトを紹介します。これは、手動プロセス（ユーザーアカウントのプロビジョニングなど）の各ステップをスクリプト内の関数にカプセル化する手法です。スクリプト自体はステップを自動化しませんが、構造化されたフレームワークを提供し、将来の自動化への参入障壁を下げます。このアプローチは、集中力を高め、ステップの欠落によるエラーを減らし、再利用可能な関数のライブラリを作成し、最終的には時間の経過とともに効率的に作業負荷を削減します。

続きを読む
(blog.danslimmon.com)
開発 DevOps自動化

ドンキーコングの壊れたはしごのグリッチ：運とスキルが組み合わさり新たなキルスクリーンへ

2025-02-08
ドンキーコングの壊れたはしごのグリッチ：運とスキルが組み合わさり新たなキルスクリーンへ

長年不可能と考えられていた、クラシックアーケードゲーム『ドンキーコング』の「壊れたはしご」グリッチが攻略された。プレイヤーのKosmicは、エミュレータと並外れた幸運を利用して、このグリッチでゲームをクリアするだけでなく、レベル22-6という新たな真のキルスクリーンを発見した。このグリッチはドンキーコングの樽投げにおけるランダムな遅延を利用しており、マリオに貴重な追加フレームを与えている。この偉業はゲームの複雑なメカニズムを浮き彫りにし、一見不可能な挑戦を克服する上で運とスキルの両方が不可欠であることを示している。

続きを読む
(arstechnica.com)
ゲーム ゲームグリッチ 運

AI搭載写真整理ツール：人物別に思い出を分類

2025-02-08
AI搭載写真整理ツール：人物別に思い出を分類

膨大な写真コレクションの整理に苦労していませんか？Sort_Memoriesは、その作業を簡単にするAI搭載ツールです！整理したい人物のサンプル写真を数枚アップロードし、グループ写真をアップロードするだけです。このツールは顔認識を使用して、写真を自動的にグループに分類し、あなたと愛する人々の写真を綺麗に整理します。Python、face_recognition、Flaskを使用して構築されており、使いやすくなっています。リポジトリをクローンし、依存関係をインストールして、スクリプトを実行し、指定されたlocalhostのURLにアクセスしてください。

続きを読む
(github.com)
AI 写真管理

フォーチューンアルゴリズムによるボロノイ図の生成：O(n log n)の頭痛

2025-02-08

この記事では、O(n log n)の時間計算量でフォーチューンアルゴリズムを用いてボロノイ図を生成する複雑さを深く掘り下げています。著者は、実装が予想以上に困難であったことを認め、毎秒大量の大きな図形を処理する必要がない限り、より単純なO(n²)の方法やライブラリを使用することを推奨しています。この記事では、ボロノイ図、フォーチューンアルゴリズムの原理（スウィープライン、ビーチライン、イベントキュー、放物線など）、アルゴリズムのデータ構造とイベント処理（サイトイベント、サークルイベント、不完全なエッジ、ハーフエッジなど）を詳細に説明しています。複雑さにもかかわらず、このアルゴリズムは視覚的に素晴らしいボロノイ図を生成します。

続きを読む
(redpenguin101.github.io)
開発 ボロノイ図 フォーチューンアルゴリズム

ヨーロッパに焦点を当てる：プライバシーと持続可能性に重点を置いた厳選されたテクノロジー・プロジェクト

2025-02-08
ヨーロッパに焦点を当てる：プライバシーと持続可能性に重点を置いた厳選されたテクノロジー・プロジェクト

コミュニティによってキュレーションされたこのリストは、プライバシーと持続可能性を優先するヨーロッパのテクノロジー・プロジェクトを紹介し、ヨーロッパのテクノロジーエコシステムを強化することを目指しています。これらのプロジェクトは、GDPRなどの厳格なデータプライバシー規制を遵守しており、再生可能エネルギーや炭素排出量の削減など、環境に優しい実践を重視しています。このリストは、AI、クラウドコンピューティング、データストレージ、ソフトウェア開発など、さまざまな分野を網羅しており、国別に分類されているため、ヨーロッパのテクノロジー革新と実践を垣間見ることができます。

続きを読む
(github.com)
テクノロジー ヨーロッパのテクノロジー

DeepSeek：ChatGPTに挑む、コストパフォーマンスに優れたオープンソースLLM

2025-02-08
DeepSeek：ChatGPTに挑む、コストパフォーマンスに優れたオープンソースLLM

中国のAI研究会社が開発したオープンソースの大規模言語モデル（LLM）DeepSeekは、独自の専門家混合（MoE）アーキテクチャにより、ChatGPTに性能とコストの両面で挑戦しています。必要なパラメータのみを活性化することで高速化と低コスト化を実現し、マルチヘッドアテンションとマルチトークンプレディクションにより、長文会話や複雑な推論において優れた性能を発揮します。データソースに関する懸念はありますが、DeepSeekのコストパフォーマンスと直接的な出力スタイルは、ChatGPTにとって強力な代替案となっています。

続きを読む
(codedoodles.substack.com)
AI

強いリンクの問題と弱いリンクの問題：科学の苦境

2025-02-08
強いリンクの問題と弱いリンクの問題：科学の苦境

この記事では、「強いリンクの問題」と「弱いリンクの問題」という概念を探ります。食品の安全性など、弱いリンクの問題は、最悪のリンクの質に依存します。一方、科学の進歩など、強いリンクの問題は、最高のリンクの質に依存します。多くの人が、科学を誤って弱いリンクの問題として捉え、質の低い研究の防止に過度に重点を置くことで、画期的な研究を阻害しています。著者は、これが学界における激しい競争と地位への関心の結果であり、最終的に科学の進歩の停滞につながると主張しています。

続きを読む
(www.experimental-history.com)
テクノロジー 弱いリンク 強いリンク

reMarkable 2用AIアシスタント：Ghostwriter

2025-02-08
reMarkable 2用AIアシスタント：Ghostwriter

Ghostwriterは、reMarkable 2上で動作するAIアシスタントで、手書きまたは画面上のプロンプトに応じて、OpenAI、Anthropic、Google Geminiなどのモデルを使用してテキストまたは画像の応答を生成します。開発者は、手書き認識、画像生成、仮想キーボード機能を繰り返し改良し、さまざまなモデルとAPIへの対応を追加しました。Ghostwriterは現在、テキストアシストモードと描画モードを提供しており、堅牢な評価システムと拡張されたツールセットによるユーザーエクスペリエンスの向上を目指して開発が続けられています。

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

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

2025-02-08

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

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

GERP 2025で最もクールなAmigaセットアップ

2025-02-08

GERP 2025では、改造されたAmiga 1200が注目を集めました。これはただのAmigaではありませんでした。コンテストの中枢として機能し、エントリーを実行し、大画面へのマルチソースビデオ出力のためにVCR、CRTテレビ、Genlockに接続されていました。68060アクセラレータ、豊富なRAM、ネットワークカードを搭載し、最新の接続性のためにRaspberry Piも活用していました。レトロなマシン以上のものとして、このAmiga 1200はデモシーンの強力なワークステーションであり、Amigaプラットフォームの持続的な魅力と拡張性を強調していました。

続きを読む
(www.datagubbe.se)
ゲーム デモパーティ

ヒ素が金濃集を促進：画期的な発見

2025-02-08
ヒ素が金濃集を促進：画期的な発見

ヨーロッパシンクロトロン（ESRF）の高強度X線ビームを用いた科学者たちは、金鉱石の富化におけるヒ素の決定的な役割を明らかにしました。研究は、ヒ素と金の間の原子レベルでの引力を示しています。鉱物がヒ素に富む場合、金はヒ素に直接結合し、安定した化学結合を形成し、それによって鉱物に捕捉されます。逆に、ヒ素濃度が低い場合、金は鉱物表面と弱い結合しか形成しません。この発見は、金鉱床の形成と分布メカニズムを解明するだけでなく、新たな金資源の探査や金抽出プロセスの改善のための新たな道を切り開き、金鉱夫へのヒ素による健康リスクの軽減にも役立ちます。

続きを読む
(www.mining.com)
テクノロジー 金鉱石 ヒ素 鉱物

arXivLabs：コミュニティとの協力による実験プロジェクト

2025-02-08
arXivLabs：コミュニティとの協力による実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーのみと連携しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。

続きを読む
(arxiv.org)
開発

arXivLabs：コミュニティ協力者との実験プロジェクト

2025-02-08
arXivLabs：コミュニティ協力者との実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有しています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsについてさらに詳しく学んでください。

続きを読む
(arxiv.org)
開発

リヌス対タネンバウム：OS設計哲学の衝突

2025-02-08

このスレッドは、Linuxの生みの親であるLinus Torvaldsと、Minixの著者であるAndrew S. Tanenbaumの間で行われた激しい議論を記録しています。議論の中心は、オペレーティングシステムの設計哲学です。Linusは、特定のハードウェア（386など）の利点を最大限に活用すべきだと主張した一方、Tanenbaumは、移植性とローエンドハードウェア上での動作を優先すべきだと主張しました。Linusは、Minixの設計上の制限によってパフォーマンスと機能が制限されていると批判したのに対し、Tanenbaumは、Linuxが特定のハードウェアに依存しすぎていると反論しました。この議論は、対照的なOS設計アプローチを浮き彫りにし、当時のハードウェアの制約がソフトウェア開発に与えた影響を反映しています。

続きを読む
(groups.google.com)
開発 OS設計

Docker Bake一般提供開始：複雑なDockerビルドの簡素化

2025-02-08
Docker Bake一般提供開始：複雑なDockerビルドの簡素化

Dockerは、Docker Desktop 4.38でDocker Bakeの一般提供開始を発表しました。この強力なビルドオーケストレーションツールは、宣言型の構成ファイルを使用して複雑なDockerビルドを簡素化します。Bakeは、複数のイメージ、並列処理、キャッシングを処理し、ビルド時間を短縮します。これは、長いコマンドや依存関係の管理などの課題に対処します。Docker Composeと互換性があり、マトリックスビルドやカスタム関数などの高度な機能を提供します。GAリリースには、重複排除されたコンテキスト転送、セキュリティ強化のための権限、合成可能な属性、変数検証などの改善が含まれており、効率性と使いやすさが向上しています。

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

Hotline復活：Swiftによる現代Appleシステム向け蘇生

2025-02-08
Hotline復活：Swiftによる現代Appleシステム向け蘇生

1997年のクラシックなMacオンラインコミュニティソフトウェア、HotlineをSwiftとSwiftUIを用いて現代のAppleシステム（iOS、macOSなど）向けに完全に再構築するプロジェクトが進行中です。現時点では、Hotlineサーバーへの接続と参加のためのクライアントアプリケーションであり、IRCスタイルのチャット、プライベートメッセージ、フォーラムのようなニュース、掲示板への投稿、FTPスタイルのファイル転送などの機能を提供します。このプロジェクトの目標は、この愛されたブランドを新しい世代のために復活させる、現代的でオープンソースのHotlineクライアントを作成することです。

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

フォークランド諸島におけるStarlinkサービス停止：技術と政治の対立

2025-02-08
フォークランド諸島におけるStarlinkサービス停止：技術と政治の対立

フォークランド諸島の数百人のユーザーが、Starlinkの60日間のローミング期間の終了に伴い、インターネット接続の途絶に直面しています。大規模な支持を集めた嘆願書と、Starlinkの使用を承認した議会委員会にもかかわらず、Sure社の通信事業独占により、Starlinkの運用は依然として違法です。政府は限定的な数のVSATライセンスを発行しましたが、Starlinkは正式な承認を得ておらず、多くのユーザーが法的グレーゾーンに置かれています。この記事は、政府に対し、緊急事態を宣言し、問題を迅速に解決し、さらなる接続停止を防ぐよう促しており、COVID-19危機における政府の迅速な対応を強調しています。

続きを読む
(www.openfalklands.com)
テクノロジー フォークランド諸島 通信事業独占

量子テレポーテーションのブレイクスルー：量子ゲート操作で70％の精度を実現

2025-02-08
量子テレポーテーションのブレイクスルー：量子ゲート操作で70％の精度を実現

研究者らは、光子を用いて量子ゲートのテレポーテーションに成功し、70％の精度を達成しました。この実験は制御Zゲート操作に基づいており、他の2量子ビットゲートの基礎となります。精度はテレポーテーションプロセス自体ではなく、局所的な操作によって制限されていましたが、研究者らは、より低いエラー率の商用ハードウェアを使用することで、性能が劇的に向上すると考えています。さらに、この方法を用いてGroverアルゴリズムの成功した実行も行われ、この技術の可能性をさらに裏付けています。この研究はハードウェアに依存せず、大規模な耐故障性量子ネットワークの構築を促進する可能性があります。

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

FPGAによる希少レトロチップMCS6530の再現版リリース！

2025-02-08

Paul Sajna氏は1年以上かけて、FPGAを用いて希少なヴィンテージチップMCS6530の再現に成功しました。MOSテクノロジー社が製造したこのチップは、1975年のKIM-1コンピューターや70～80年代のアーケードゲーム基板などに搭載されていました。yo6530と名付けられたこのプロジェクトはオープンソースで、GitHubで公開されています。Dag Lem氏（reSIDエンジンの開発者）が設計したreDIP RIOTボードを使用し、Lattice ICE40UP5k FPGAを搭載、オープンソースツールチェーンでコンパイルされています。現在、yo6530は6530-002と6530-003の両方をサポートしており、Eduardo Casino氏が設計したKIM-1のレプリカを起動することに成功しています。開発は継続中で、GitHubへの貢献は大歓迎です。

続きを読む
(blog.paulsajna.com)
ハードウェア

怒りの中毒：人工的に作られた怒りのループから解放される方法

2025-02-08
怒りの中毒：人工的に作られた怒りのループから解放される方法

この記事では、現代のメディア環境における「怒りの中毒」という現象を探っています。著者は自身の経験を例に、不完全な情報が誤った怒りにつながることを示しています。そして、メディア、政治家、ソーシャルメディアプラットフォームがアルゴリズムと利益動機を利用して怒りを商業化し、「怒りのループ」を継続的に作り出している方法を詳しく説明しています。これは、個人の幸福を損なうだけでなく、真の社会変革を妨げます。この記事では、怒りのループから解放され、感情と行動を再びコントロールするための3段階のプロセス（操作の認識、アルゴリズムの制御、より意味のある代替策の発見）を提案しています。

続きを読む
(christopherireland.substack.com)
その他 怒り メディア操作
1 2 … 460 461 462 464 466 467 468 … 595 596