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

SpaceXスターシップの試験飛行が再び爆発で終了

2025-03-07
SpaceXスターシップの試験飛行が再び爆発で終了

SpaceXの巨大ロケット、スターシップは、木曜日にテキサス州ボカチカのスターベースから別の試験飛行を実施しましたが、飛行開始から数分後に宇宙船が落下し分解し、連絡が途絶えました。爆発の破片はフロリダ上空で目撃されました。1段目のブースターは無事に回収されましたが、宇宙船のエンジンは、インド洋上空での制御された再突入のはずだった際に停止しました。宇宙船が制御不能に回転した際に連絡が途絶えました。スターシップは問題が発生する前に約90マイルの高度に達しましたが、4機の模擬衛星を展開できませんでした。SpaceXは、宇宙船が上昇エンジンの発射中に「急速な予定外の分解」を経験したと発表しました。この挫折にもかかわらず、SpaceXは、宇宙飛行士を月面に送り込み、最終的には火星に到達することを目標に、スターシップの開発を続けています。

続きを読む
(www.npr.org)
テクノロジー ロケット試験

喜びを再発見：AI時代にパーソナルウェブサイトを作る

2025-02-26
喜びを再発見：AI時代にパーソナルウェブサイトを作る

著者は、現代の商業化され、中央集権化されたウェブに対する対抗策として、パーソナルウェブサイトの構築への回帰を呼びかけています。この記事は、初期のウェブサイトの個性と、現代の企業サイトの均質性、そして大規模プラットフォームへの依存に伴うデータプライバシーの問題点を対比しています。読者は、個人的な興味を動機として、独自のオンライン空間を作り、コンテンツのコントロールを取り戻すよう励まされています。Neocitiesのような便利なウェブサイト作成ツールやプラットフォームも紹介されています。この記事は、より分散化されたウェブへの憧れと、独立した創造の祝祭を反映しています。

続きを読む
(localghost.dev)
その他 パーソナルウェブサイト ウェブカルチャー

インドのEdTech危機：AIを活用した学習エコシステムへの提言

2025-03-09
インドのEdTech危機：AIを活用した学習エコシステムへの提言

インド企業の採用プロセスは衝撃的な現実を明らかにした。2500件の応募のうち、簡単な現実世界の課題を完了できたのはごくわずかだった。著者は、インドの教育システムが独立した思考を阻害し、伝統的な教育に依存する生徒を生み出していると主張する。記事は、暗記学習からプロジェクトベースの学習への転換、そしてAIツールを活用した「認知的見習い制度」の構築による問題解決能力の育成を訴えている。これはAI時代の人材育成に不可欠である。

続きを読む
(saigaddam.medium.com)
テクノロジー AIを活用した学習 インドの教育システム

MetaのLlama、ダウンロード数10億突破、オープンソースAI覇権目指す

2025-03-18
MetaのLlama、ダウンロード数10億突破、オープンソースAI覇権目指す

MetaのCEOマーク・ザッカーバーグは、同社のオープンソースAIモデルであるLlamaのダウンロード数が10億を超えたと発表しました。2024年12月初旬と比較して53％増加しています。LlamaはMetaのAIアシスタントを支え、SpotifyやAT&Tなどの企業でも使用されていますが、著作権訴訟やデータプライバシーに関する懸念にも直面しています。それでもMetaは今後数ヶ月で推論モデルやマルチモーダルモデルを含む新たなLlamaモデルのリリースを予定しており、AIプロジェクトに800億ドルを投資し、AI分野でのリーダーシップを目指しています。

続きを読む
(techcrunch.com)
AI

謎の毒婦事件：専門家も困惑する医療ミステリー

2025-04-15

1994年、ガン患者のグロリア・ラミレスさんの死を巡り、不可解な事件が発生しました。複数の医療従事者が彼女の体液に触れた後、意識喪失や呼吸困難などの症状に見舞われたのです。当初は集団ヒステリーと見なされましたが、調査の結果、ラミレスさんが自己投与していたDMSOという鎮痛剤が、酸素と反応して有毒なジメチル硫酸塩（DMS）を生成した可能性が浮上しました。Forensic Science Internationalに掲載されたこの説は未だに議論の的であり、事件は謎に包まれたままです。

続きを読む
(en.wikipedia.org)
その他 医療ミステリー

画期的な研究：ベーシックインカムの真実

2025-04-09
画期的な研究：ベーシックインカムの真実

3年間の研究と広範なデータ分析により、ベーシックインカム（UBI）の真実がついに明らかになりました。イデオロギー的な議論を超え、UBIは受給者の物質的なニーズを満たすだけでなく、積極的な富の創造を促進し、受給者が自分自身のためだけに使うわけではないことが分かりました。科学的事実に基づいたこの画期的な研究は、長年のUBIに関するイデオロギー的な議論に、確固たる基盤を提供します。

続きを読む
(www.pilotprojekt-grundeinkommen.de)
その他 ベーシックインカム 経済研究

srsRAN：オープンソース4G/5Gソフトウェア無線システム

2025-01-05
srsRAN：オープンソース4G/5Gソフトウェア無線システム

srsRANは、SRSによって開発された、オープンソースの4Gおよび5Gソフトウェア無線アプリケーションのコレクションです。移植可能なC++で実装されており、サードパーティの依存関係は最小限です。Linuxと市販のコンピューティングおよび無線ハードウェア上で動作します。srsRANプロジェクトは、完全なO-RANネイティブ5G RAN CU+DUと、UE、eNodeB、EPCを網羅するエンドツーエンドの4Gネットワーク実装を提供します。このプロジェクトは、包括的なドキュメントとアクティブなコミュニティフォーラムを備え、GitHubでホストされています。

続きを読む
(github.com)
開発 ソフトウェア無線

Lispインデントの醜い真実

2025-01-19

Lispプログラマは長年、最適なインデントスタイルについて議論してきました。この記事では、インデントなし、関数アラインメントインデント、スペースフィリングインデント、そして著者の物議を醸す「シックス」マクロインデントなど、さまざまなアプローチを探求しています。関数アラインメントインデントは、ネストが深い場合に扱いにくくなり、スペースフィリングインデントは効率的ですが、極端なケースでは不十分です。著者は、従来の方法ではないものの、深くネストされたコードで可読性を維持し、ほとんどのインデントツールと連携する「シックス」マクロスタイルを推奨しています。読者は自分の好みのスタイルを共有するよう促されています。

続きを読む
(aartaka.me)
開発 コーディングスタイル インデント

毒の女性：専門家を当惑させる医学ミステリー

2025-04-15
毒の女性：専門家を当惑させる医学ミステリー

1994年、ガン患者のグロリア・ラミレスが病院の救急室で奇妙な事件を引き起こしました。彼女の到着後、複数の医療スタッフが失神、けいれん、その他の症状を経験し、救急室はすぐに閉鎖されました。公式調査は集団ヒステリーという結論でしたが、複数のスタッフが深刻な臓器損傷を負い、懐疑論が浮上しました。ある説では、ラミレスが自己投薬していたDMSOが治療中に高毒性のジメチルサルフェートに変換され、事件を引き起こしたとされています。しかし、この説は決定的な証拠に欠けており、ラミレスの死因は依然として謎であり、医療システムと科学的説明について熟考するきっかけとなっています。

続きを読む
(thartribune.com)
その他 医学ミステリー 集団ヒステリー

GitHubプロジェクトマップ：40万以上のプロジェクトを視覚化

2024-12-15
GitHubプロジェクトマップ：40万以上のプロジェクトを視覚化

開発者Anvakaは、公開データを使用して、40万以上のGitHubプロジェクトを視覚化したインタラクティブマップを作成しました。このプロジェクトは、Jaccard類似度を使用してプロジェクト間の関係を計算し、Leidenアルゴリズムを使用してクラスタリングを行います。その結果、GitHubエコシステムの視覚的に素晴らしい表現となり、ユーザーはプロジェクトを検索し、プロジェクト間の接続を探索して、その複雑さと豊かさを明らかにすることができます。

続きを読む
(github.com)
開発 データ視覚化 プロジェクト間の関係

Perlコミュニティの話題：新しいPodcast、ワークショップ、そして毎週のチャレンジ

2025-01-21
Perlコミュニティの話題：新しいPodcast、ワークショップ、そして毎週のチャレンジ

Perlコミュニティではエキサイティングなニュースが盛りだくさん！新しいPodcast「The Underbar」が開始され、Perlの最新情報が届けられます。ミュンヘンではドイツのPerl/Rakuワークショップが開催され、開発者同士の交流と学習の機会が提供されます。人気のコーディングコンテストである週刊チャレンジは、来年もスポンサーを獲得し、Perl愛好家に毎週のプログラミング課題を提供し続けます。今週のニュースレターでは、いくつかのPerlモジュールのアップデートや、MIDI音楽制作、地理位置データ処理、パフォーマンスプロファイリングなど多様なトピックを網羅した記事も掲載されています。

続きを読む
(perlweekly.com)
開発 コミュニティイベント

IRS、数百万ドルのNvidia AIスーパーコンピューターを購入：効率化か人員削減か？

2025-02-15
IRS、数百万ドルのNvidia AIスーパーコンピューターを購入：効率化か人員削減か？

IRSは、数百万ドル規模のNvidia SuperPod AIスーパーコンピューター・クラスタを購入する予定であり、その目的について憶測が飛び交っている。公式には、複雑な機械学習のワークロード処理、不正検出、納税者行動の理解といったタスクにおける効率向上を目的としていると説明されているが、この動きは、トランプ政権によるAIを活用した政府機関の合理化という動きと重なり、大規模な人員削減への懸念を高めている。この購入は、トランプ政権の「AIファースト」戦略、すなわち、人間の労働者を機械に置き換え、政府職員数を削減するという戦略と関連している可能性がある。

続きを読む
(theintercept.com)
テクノロジー 政府の効率性

1955年ル・マン24時間レースの悲劇：速度と死の競演

2024-12-14
1955年ル・マン24時間レースの悲劇：速度と死の競演

1955年のル・マン24時間レースは、ピエール・レヴェーグが運転するメルセデス・ベンツ300SLRが遅い車と衝突した後、観客席に突っ込み、悲劇に終わった。マイク・ホーソンの無謀なピット進入が連鎖反応を引き起こし、80人以上の死者と多数の負傷者を出した。この事故は、モータースポーツの不十分な安全基準を露呈し、安全規制の大幅な変更を促し、レーシングの歴史における転換点となった。

続きを読む
(www.essesmag.com)
ゲーム ル・マン24時間レース レース事故 モータースポーツの安全

bewCloud：軽量なオープンソースクラウドソリューション

2025-02-21

NextcloudやownCloudのような既存のクラウドプラットフォームの複雑さと制限にうんざりしていませんか？TypeScriptとDenoで構築された最新のオープンソースクラウドソリューションであるbewCloudは、比類のないシンプルさと効率性を提供します。NextcloudやownCloudのリソース集約的な性質に対処し、軽量で高速な設計を特徴としています。現在、ファイル、写真、メモの機能を備えており、カレンダーや連絡先の統合は優先順位が低い可能性があります。Brunoによって開発および維持されており、貢献と寄付を歓迎しています。

続きを読む
(bewcloud.com)
開発 オープンソースクラウド Nextcloud代替案

iPhoneのNFC互換性の問題を克服：Magic MIFAREタグの復活

2024-12-15

著者は難しいNFCの問題に遭遇しました。いくつかのMagic MIFAREカードがiPhoneで読み取れないという問題です。Proxmark3ツールを使って、カードデータを消去し、ndefformatでフォーマットしようとしましたが、iPhoneはまだ認識しませんでした。「互換モード」でiPhoneのNFC Toolsアプリを使ってデータを書いたところ、iPhoneはついにカードを読み取ることができました。著者は、ndeflibライブラリを使ってNDEFレコードを作成して書き込む方法も示し、最終的にMagic MIFAREカードをiPhoneで動作させることに成功しました。

続きを読む
(ewpratten.com)
その他

オフィスへの強制復帰？従業員は退職を選ぶ

2025-01-15
オフィスへの強制復帰？従業員は退職を選ぶ

5395人のアメリカ人成人を対象とした調査によると、ほぼ半数がオフィスへの強制復帰を命じられた場合、退職を選ぶだろうことが明らかになりました。テクノロジー企業は、対面での勤務をますます義務付けていますが、多くの従業員は柔軟な働き方を優先しています。在宅勤務を「道徳的に間違っている」と考えるイーロン・マスク氏でさえ、抵抗に遭っています。調査では、特に女性や50歳未満の従業員の間で、リモートワークへの強い好みが見られ、生産性、企業文化、人材定着に関する議論を巻き起こしています。多くの企業は、信頼や柔軟性よりも管理を優先しているように見えます。

続きを読む
(www.theregister.com)
テクノロジー オフィス復帰 従業員定着

「内向型人間ではない」という罠

2024-12-26
「内向型人間ではない」という罠

この記事は、内向性を理由に社会的な交流を避け、最終的にクラブを脱退した大学生アドティヤの話を語っています。著者は、内向型と外向型は絶対的なものではなく、選択の問題だと主張しています。職場では、積極的なコミュニケーションと協調性が不可欠なスキルであり、生まれつきの特性ではないと述べています。ラムとシャムという二人のエンジニアの例を用いて、コミュニケーション能力がキャリアアップに重要な役割を果たすことを強調しています。深い思考にはエネルギーが必要ですが、効果的なコミュニケーションと協力は大きな成功につながります。著者は、真の友情は表面的なおしゃべりではなく、深い会話から生まれることが多いと結論付けています。

続きを読む
(orkohunter.net)
その他 内向型 外向型 コミュニケーションスキル

AIコードレビューボットが黙るようになった方法

2024-12-21
AIコードレビューボットが黙るようになった方法

GreptileのAIコードレビューボットは、当初、コメントが多すぎるという批判に直面していました。これを解決するために、プロンプトエンジニアリングやLLMによる自己評価を試みましたが、これらの方法は効果がありませんでした。ブレイクスルーは、過去のコメントをベクトル化し、ベクトルデータベースでクラスタリングし、以前に却下されたコメントと同様の新しいコメントをフィルタリングすることでした。このアプローチにより、開発者の対応率が19％から55％以上に上昇し、LLMノイズが大幅に減少しました。

続きを読む
(www.greptile.com)
開発 コードレビュー

1000年前の技術がウェアラブルエレクトロニクスを支える

2025-03-22
1000年前の技術がウェアラブルエレクトロニクスを支える

宋代の1000年前のスクリーン印刷技術が、スマートテキスタイルに革命を起こしています。絹の薄さ、強度、均一性を活かしたこの古来の方法により、効率的なパターン転写が可能になります。今日、導電性インクと組み合わせることで、ウェアラブルエレクトロニクスの迅速なプロトタイピングと大量生産が可能になります。idoona社などは、この技術を利用して、快適で着用可能な衣類のための柔軟で薄いTPU電気ヒーターを作成しており、この古くからの技術の現代における持続的な力を示しています。

続きを読む
(ygoliya.medium.com)
テクノロジー スクリーン印刷 ウェアラブルエレクトロニクス スマートテキスタイル

AI生成ウェブサイト：スキルと知識の実験

2024-12-31

セキュリティ研究者のNicholas Carliniは、12日間にわたる実験を行いました。毎日異なる言語モデルを使って自身のウェブサイトのホームページとバイオを書き直したのです。その結果、モデルは視覚的に素晴らしいウェブページを生成することに長けていましたが、事実の正確性には大きく欠けていました。例えば、o1-miniモデルが生成したウェブページには43の記述があり、そのうち32は完全に間違っており、9つは大きな誤り、正確なものはわずか2つでした。これは、LLMにおける「スキル」（ウェブページの生成）と「知識」（事実の正確性）の大きな違いを浮き彫りにし、AI生成コンテンツへの依存には注意が必要であることを示しています。

続きを読む
(nicholas.carlini.com)
AI ファクトチェック

ドーキンスとChatGPT：意識に関する興味深い対話

2025-02-23
ドーキンスとChatGPT：意識に関する興味深い対話

著名な生物学者であるリチャード・ドーキンスは、人工知能の意識について、ChatGPTと深い会話を交わしました。ChatGPTはチューリングテストに合格したものの、意識を持っているとは否定し、テストは行動を評価するものであり、経験を評価するものではないと主張しました。ドーキンスは、AIが主観的な感情を持っているかどうかをどのように判断するかを質問しました。ChatGPTは、人間の場合でも確実性がないことを指摘し、意識と情報処理の関係、そして生物学が意識に必要かどうかを探りました。会話は軽妙な雰囲気で終わりましたが、AIの意識の本質、そして将来、意識を持つ可能性のあるAIとどのように付き合っていくかについて、深い考察を促しました。

続きを読む
(richarddawkins.substack.com)
AI チューリングテスト

Mozilla Firefoxの新しい利用規約が物議を醸す：ユーザーデータへのアクセス過剰か？

2025-02-27
Mozilla Firefoxの新しい利用規約が物議を醸す：ユーザーデータへのアクセス過剰か？

Mozillaは最近、Firefoxの利用規約を更新し、Firefoxを通じてアップロードまたは入力された情報を無償で使用できる条項を追加しました。これにより、ユーザーデータへの過剰なアクセスに関する懸念がコミュニティで表明されています。この記事では、Mozillaの規約を他のブラウザ（Chrome、Edge、Safariなど）と比較し、Mozillaの規約がはるかに広範囲に及んでおり、ローカルネットワーク上でのユーザーアクティビティすべてを網羅していることを明らかにしています。著者は、この必要性と潜在的な法的リスクに疑問を呈し、プライバシーに関する懸念を強調しています。Mozillaは法的保護のためにこれを行っていると主張していますが、著者は、この条項は訴訟を効果的に防止するものではなく、プライバシーに関する不安を悪化させる可能性があると主張しています。

続きを読む
(www.quippd.com)
テクノロジー 利用規約

RustによるSQLite書き換え：Limboプロジェクトが待ち時間100倍削減を実現

2024-12-16

ヘルシンキ大学とケンブリッジ大学の研究者らが、SQLiteをRustで書き換え、非同期I/Oとio_uringを活用したLimboプロジェクトを開発しました。このプロジェクトは、特にマルチテナントサーバーレス環境において、テールレイテンシを最大100倍削減することに成功しました。同期バイトコード命令を非同期命令に置き換えることで、ブロックを回避し、並行処理を向上させています。Limboの改善は、特に高パーセンタイルのレイテンシに顕著に見られ、高い信頼性が求められるアプリケーションに最適です。

続きを読む
(avi.im)
開発 非同期I/O

DIYマルチデッキ：数百種類のボードゲームをプレイできる究極のゲームシステム

2025-01-04
DIYマルチデッキ：数百種類のボードゲームをプレイできる究極のゲームシステム

DIYマルチデッキは、162枚のカード（標準デッキ3個分）からなるシステムで、ボードやコインを使用するクラシックなカードゲームから近代的なゲームまで、数百種類のボードゲームをプレイできます。防水性と耐久性に優れており、旅行、ゲームのプロトタイピング、購入前のゲーム試行に最適です。ゲームプレイには、カードのサブセットを選択し、特定のコーナーに焦点を当てることが含まれます。カードに絵を描いて、単語、アイコン、またはゲームボードを追加します。公式ウェブサイトでは、多数のゲームの指示が提供されています。

続きを読む
(diymultideck.mauri.app)
ゲーム カードゲームシステム

継続的デリバリーパイプラインマニフェスト：より良いソフトウェアデリバリーの構築

2024-12-21
継続的デリバリーパイプラインマニフェスト：より良いソフトウェアデリバリーの構築

現代のソフトウェアチームは、継続的デリバリーパイプラインの管理に、より優れたツールを切実に必要としています。現状のCDパイプラインエコシステムは断片的で、硬直しており、非効率です。このマニフェストは、コードファーストで、開発者フレンドリーな、現代のエンジニアリングワークフローの複雑さを処理するように設計されたパイプラインを提唱しています。それは、単一の情報源、再利用可能で型安全なコンポーネント、動的で柔軟なパイプライン、透明で視覚的なデバッグ、変化と迅速なフィードバックループを処理するためのメカニズムを強調し、最終的には効率性を向上させ、デリバリーを加速することを目的としています。

続きを読む
(manifesto.getglu.dev)
開発 継続的デリバリー パイプライン

Nokia 5110復活劇：2G携帯が4Gに大変身

2024-12-16
Nokia 5110復活劇：2G携帯が4Gに大変身

著者は子供の頃に使っていたNokia 5110を懐かしみ、それを4G携帯電話に改造するプロジェクトに着手しました。計画の中心は、元の2GモジュールをSIM7600SA 4Gモジュールに交換することです。驚くべきことに、5110のシンプルな設計のおかげで、改造は予想よりもはるかに容易に進み、元のボタン、ディスプレイ、インターフェースを再利用できます。著者は今後の記事で新しい回路基板のデザインの詳細を共有し、このクラシックな携帯電話に新たな命を吹き込みます。

続きを読む
(opsbros.com)
ハードウェア 4Gアップグレード レトロ携帯

東京エクスリームレーサー復活：懐かしさと現代的改良

2025-02-17
東京エクスリームレーサー復活：懐かしさと現代的改良

18年の沈黙を破り、『東京エクスリームレーサー』が帰ってきた！緻密な車体モデルと東京高速道路の美しい夜景で知られた、ドリームキャスト時代のレーシングゲームが、Steam早期アクセスで復活を遂げた。シリーズ伝統のSPバトルシステムを忠実に再現しつつ、ライバルの位置を表示するマップ機能などの現代的な改良が加えられ、従来の「やり込み要素」が緩和されている。しかし、謎解き要素や難易度が高いボス戦といったシリーズの特徴は健在。現状ではマルチプレイモードは未実装で、いくつかの要素が未完成な部分もある。それでも、古くからのファンには懐かしさを感じさせ、新しいプレイヤーにも独特のレーシングゲーム体験を提供してくれるだろう。

続きを読む
(www.thedrive.com)
ゲーム レーシングゲーム クラシックリブート 東京エクスリームレーサー

クエリビルダーを捨てて、生のSQLを受け入れるべき理由

2025-01-25

この記事では、クエリビルダーに頼るのではなく、SQLを直接記述してデータベースクエリを作成することの利点を説いています。いくつかの例を通して、著者 は`IS NULL`、`COALESCE`、`ARRAY_REMOVE`、`STRING_TO_ARRAY`などのSQL機能が、オプションのパラメータ、配列、ページネーション、バッチ更新などをエレガントに処理し、複雑なRustロジックを削減することを示しています。このアプローチにより、コードが簡素化され、可読性とテスト容易性が向上し、データベースのテストとデバッグが容易になります。著者は、生のSQLは、複雑なビルダーパターンよりも多くの場合、よりクリーンで効率的であると主張しています。

続きを読む
(mattrighetti.com)
開発 データベースクエリ

Exult 1.10.1 リリース：Ultima VIIの互換性問題を修正

2025-02-22

Exultプロジェクトは最近、バージョン1.10.1をリリースし、古いCPUとの互換性の問題によって発生するWindows版のクラッシュと、Android版でのMODのインストール不能の問題を修正しました。このプロジェクトは、クラシックRPGであるUltima VIIを最新のオペレーティングシステムに移植することを目的としており、ゲーム体験を継続的に改善しています。最新版では、新しいアイコンと改良された戦闘メカニズムも導入されています。

続きを読む
(exult.sourceforge.io)
ゲーム

リアルタイム内省圧縮：トランスフォーマーに良心を与える

2025-04-02
リアルタイム内省圧縮：トランスフォーマーに良心を与える

大規模言語モデル（LLM）は、内省機能の欠如と一時的な認知という2つの主要な制約を抱えています。この記事では、これら両方の問題に対処する、新しいリアルタイム内省圧縮手法を提案します。軽量な「サイドカー」モデルをトレーニングして、トランスフォーマーの内部状態を圧縮することで、モデルの内部動作への効率的なアクセスと再生を実現します。この手法は、ゲームの状態を保存するのと同様に、トランスフォーマーの状態を低次元潜在空間に圧縮し、完全な状態を保存するという計算上の課題を克服します。これにより、推論の巻き戻し、思考軌跡に基づく強化学習、メモリ効率の良いチェックポイントの保存など、新しい機能が可能になり、最終的にはより強力で解釈可能なAIシステムにつながります。

続きを読む
(github.com)
AI
1 2 … 533 534 535 537 539 540 541 … 595 596