OpenAIのCEOであるサム・アルトマンが共同設立したTools for Humanity社は、虹彩スキャンに対する暗号通貨インセンティブの提供をブラジルで禁止されました。ブラジルの国家データ保護機関（ANPD）は、この慣行が個人の自由意志を妨げ、生体認証データに関する自主的な意思決定に影響を与えると主張しています。これは、生体認証データの収集とプライバシーに関する世界的な懸念の高まりを浮き彫りにしています。
続きを読む
この記事では、2024年にリリースされた著者が気に入っている自己ホスト型ソフトウェアとアプリケーションについてレビューしています。注目すべきアプリには、Hoarder（後で読む/ブックマーク）、Pinchflat（YouTubeフロントエンド）、Glance（多機能ダッシュボード）、Docmost（ドキュメントとコラボレーション）、Postiz（ソーシャルメディア管理）、Beszel（リソース監視）、ByteStash（コードスニペット）、Beaver Habit Tracker、Streamyfin（Jellyfinクライアント）、Pocket ID（パスキーのみの認証）、PdfDing（PDFマネージャー）、WhoDB（データベース視覚化）、Dawarich（位置追跡）、Slink（画像共有）、GoDoxy（軽量リバースプロキシ）などがあります。これらのアプリは、機能性、コミュニティからの受け入れ、開発活動に基づいて選択されました。
続きを読む
この記事では、学部レベルの数学の授業でよく見られる、「多項式が常に特定の整数の倍数であることを証明する」といった問題の起源を探ります。著者は、これらの問題は組合せ論的な数え上げ、特にポリア・レッドフィールド数え上げに由来すると指摘しています。この方法は、群作用の下での軌道計算公式を用いて、多項式の値と特定の組合せ構造の数え上げを結びつけ、多項式が常に特定の整数の倍数であることを保証します。この記事では、ブレスレットの数え上げと三目並べの盤面の数え上げという2つの例を用いて、ポリア・レッドフィールド数え上げがどのようにこれらの問題を構成するために用いられるかを説明しています。また、これらの多項式がすべてポリア・レッドフィールド数え上げに由来するかどうかについての予想も提示しています。
続きを読む
ハイパースケーラーの制約から、RailwayはProject Metalに着手し、わずか9ヶ月で独自のデータセンターを構築しました。ブログ記事では、立地選定、電力・ネットワークインフラからサーバー設置までの全プロセスを詳細に説明し、その過程で遭遇した課題と解決策を強調しています。電力とネットワークの冗長性、ラックレイアウト、ケーブル管理などが含まれます。そして、ソフトウェア定義ネットワークと、データセンター構築プロセス全体を設計から展開まで自動化する内部ツールを開発しました。
続きを読む
Vercelは、ローカルServerless関数開発ランタイムであるƒunをリリースしました。開発者はこれにより、AWS Lambda環境をローカルでエミュレートできます。Node.jsやPythonなど、さまざまなランタイムをサポートし、クラウドにデプロイせずにServerless関数の迅速なテストとデバッグを可能にします。ƒunは実際のLambda環境をできる限り模倣しようとしますが、プロセスサンドボックスとユーザー権限において重要な違いがあります。
続きを読む
ITエンジニアのパーマーは、チームの非効率な週次会議に耐えかねていた。彼は大胆にも改善策を提案した：会議時間を30分に短縮、発言時間を2分に制限、そして個別ミーティングの追加。彼の提案はチームに受け入れられ、会議は改善されたが、彼は年次評価で「改善が必要」と評価され、チームワーク不足を指摘された。その後、パーマーは自身の能力を生かし、3つの転職オファーを獲得。彼が去ったチームは1年後、業績不振のため再編された。この物語は、職場政治の複雑さを浮き彫りにし、正しいことをしても予期せぬ結果を招く可能性を示している。
続きを読む
この記事では、編み機用のパンチカードのデジタル化と再利用を探っています。パンチカードは、魅力的なバイナリデータストレージ形式であり、現在でも使用されています。この記事では、コンピュータービジョンを使用してパンチカードの画像をデータに変換し、CNCマシンを使用してパンチカードを再作成する方法を詳述しています。著者は、高品質のスキャンと標準化されたメタデータ構造の必要性を強調し、この貴重な歴史的資料をより適切に保存し、活用し、編み機の技術の伝承と開発を促進することを目指しています。また、コミュニティ支援のアーカイブがこの遺産を保存する役割についても強調しています。
続きを読む
Dr.TVAMは、Mitsubaレンダラーをベースとした、断層撮影ボリューム積層造形(TVAM)のための逆レンダリングフレームワークです。物理ベースの微分レンダリングを利用してTVAMのパターンを最適化し、散乱印刷媒体、任意のバイアル形状、プロジェクターの動きをサポートしています。目標形状の改良された離散化スキームも含まれています。コマンドラインツールと包括的なドキュメントが提供され、容易なカスタマイズと最適化が可能です。
続きを読む
Postgresのための言語ツールとLanguage Server Protocol（LSP）実装の集合で、開発者体験と信頼性の高いSQLツールを重視しています。Postgres独自のパーサー（libpg_query）をベースに構築されており、100％の構文互換性を確保しています。サーバー・クライアントアーキテクチャとトランスポート非依存の設計を採用しており、LSP、CLI、HTTP API、またはWebAssemblyを介してアクセスできます。現在、自動補完、構文の強調表示、型チェック（EXPLAIN経由）、Squawkにインスパイアされたリンターなどの機能を備えており、これらのコア機能の改良と堅牢なインフラストラクチャの構築に重点を置いています。貢献は大歓迎です！
続きを読む
S&P 500指数に含まれる54社のハイテク・金融企業の300万人以上の従業員を追跡調査した結果、オフィス復帰命令（RTO）によって企業が優秀な人材を失い、代替要員を見つけるのに苦労していることが明らかになりました。調査によると、RTOポリシーの実施後、従業員の離職率は平均14％増加し、経験豊富で熟練した従業員ほど離職する傾向が高いことがわかりました。女性の離職率は男性の約3倍でした。さらに、RTO命令は採用期間を延長し、コストを増加させました。VPN追跡や入退室記録の監視など、監視テクニックを用いてRTOポリシーを強制しようとする企業の試みは、従業員の不満を増大させ、人材流出をさらに加速させました。この調査は、RTO命令が不信任感と非効率的な経営文化を反映しており、従業員のエンゲージメント低下につながっていることを示唆しています。
続きを読む
62歳で定年退職後、著者の父は勇敢にも起業し、困難な子供時代から来る長年の自己制限を打ち破りました。彼はリスクへの生来の恐怖を克服し、小さな事業から繁盛する小さな店へと成長させました。これは単なる起業家精神の話ではなく、人生のどの年齢でも夢を追求する力の証であり、目標を達成するには遅すぎることはないというインスピレーションの灯台です。
続きを読む
CodeCraftersは、驚くほど速い面接プロセスを誇り、1～2日で全ステップが完了します。内容は、15～30分の導入Zoom面談で互いのことを知ること、好きな言語で問題解決とコード構造に焦点を当てた、Zoom上で2～3時間行われるCodeCraftersチャレンジ（事前に練習してもOK）、そして、職歴やスケジュールを詳細に話し合う30～60分の最終Zoom面談です。
続きを読む
3年間、確認された発見がないことを受けて、ワシントン州農業省(WSDA)とアメリカ合衆国農務省(USDA)は、ワシントン州およびアメリカ合衆国からオオスズメバチ(Vespa mandarinia)の根絶を発表しました。この成功は、州および連邦政府機関、地域住民、そして目撃情報の報告において重要な役割を果たした一般市民を含む、複数年にわたる共同努力によるものです。オオスズメバチは、ミツバチ、その他の送粉者、そして農業にとって大きな脅威であり、その根絶はアメリカの生態系と農業産業を守ります。根絶されたとはいえ、再侵入を防ぐために警戒を続けています。
続きを読む
著者は不安な症状を経験し、医師の診察を受けたにもかかわらず症状が悪化した。ChatGPTを使って症状と検査結果を分析したところ、AIは血小板数が危険なほど低いことを特定し、緊急の医療処置を促した。最初はためらったものの、著者はChatGPTの助言に従い、救急病院に向かった。検査の結果、血小板数がゼロであることが判明した。医師たちは、ChatGPTのおかげで迅速な対応が可能になり、重篤な結果を回避できたと評価している。この記事では、医療におけるAIの役割を探り、患者と医師をつなぐ架け橋としてのAIの可能性を強調している。
続きを読む
ニコンは三菱ふそうトラック・バスと共同で、広角と望遠の画像を同時に撮影できる革新的な光学レンズを搭載した車載カメラシステムを開発しました。これにより、360度サラウンドビューを実現するために複数のカメラが不要になり、システムコストと故障率を削減できます。AIによる画像認識は道路情報を収集し、安全性を向上させ、高度運転支援システムや自動運転技術への統合を可能にします。当初はトラックやバス向けですが、ニコンは様々な分野への技術展開を目指しています。
続きを読む
研究者らは、ドメインネームシステム（DNS）の検証のための最初の決定手順を示し、その複雑さを2ExpTimeであると確立しました。この研究は、DNSのセマンティクスを形式化し、正のプレフィックステスト可能な言語に基づいた新しい抽象化を用いて、DNS検証問題をプッシュダウンシステムの検証問題に帰着させます。このアプローチは、増幅攻撃や書き換えブラックホール攻撃などのDNSにおける攻撃ベクトルを効果的にモデル化し、DNSのセキュリティと信頼性を確保するための新しい理論的基礎を提供します。
続きを読む
ブルーオリジンのウェブサイトでは、再利用可能なロケットエンジン、ニューシェパードとニューグレンのロケット、そして月着陸船ブルー ムーンなどのプロジェクトを紹介しています。企業情報、サステナビリティ、ニュース、ギャラリー、キャリア、ショップの情報が掲載されており、最新情報を受け取るための登録を促しています。ブルーオリジンは宇宙探査に尽力し、人々に宇宙への旅の機会を提供しています。
続きを読む
約2年間の開発を経て、XFCE 4.20が正式リリースされました！このバージョンはWaylandサポートの準備に重点を置いており、現在、ほとんどのコンポーネントで実験的なWaylandサポートを提供しています。ただし、まだ初期段階であるため、上級ユーザー向けです。XFCE 4.20には、他にも多くの新機能、バグ修正、および改善が含まれています。具体的には、アイコンのスケーリングの改善、パフォーマンスが向上したアイコンビュー、アップグレードされたThunarファイルマネージャーなどです。重要なのは、Waylandサポートはまだ不完全であり、一部のコンポーネントと機能はまだ移植されていないということです。
続きを読む
スプリングフィールドの今日の天気は晴れ、気温72°F、湿度55％、露点65°F、気圧12 PPI、北風6 mph、視界35マイルです。7月の降水量は1インチです。週末の予報は、週末を通して晴れで暖かい気温、そして適度な湿度です。クラーク通りプールは再開しました。ぜひお越しください！
続きを読む
従来の無線波は岩盤を貫通するのが難しく、鉱山や洞窟での通信は困難です。この記事では、岩盤層を伝播する超低周波（300～3000Hz）信号を利用する地中通信（TTE）について解説します。携帯型磁気ループ式洞窟無線、個人用緊急装置（PED）、革新的な「マイナーライフライン」技術など、さまざまなTTEシステムが紹介され、鉱山救助や洞窟探検における重要な役割が強調されています。火災や爆発などの災害後も通信を維持できる点が重要です。
続きを読む
Rustの人気は、コンパイル時にメモリと並行性のエラーを排除できることに由来しますが、その`unsafe`コードブロックはこれらのチェックを回避する可能性があります。この記事では、CまたはC++ライブラリから呼び出されるコードを含む、安全ではないRustコードを検証するためのツールを探ります。実行時エラー検出ツールであるサニタイザと、未定義の動作を決定的に検出するインタープリターであるMiriを紹介します。サニタイザは、範囲外のメモリへのアクセス、データ競合などを検出し、Miriはコードスニペットを使用してより正確なエラーレポートを提供します。ただし、Miriは現在、C/C++からFFIを介して呼び出されるコードをサポートしていないため、そのような場合はC/C++コンパイラのサニタイザを使用する必要があります。これらのツールは、`unsafe`コードを処理する場合やC/C++ライブラリと対話する場合でも、Rustコードの安全性和信頼性を向上させます。
続きを読む
著者が母親に驚くほど似たペルーの先住民女性と偶然出会ったことが、進化心理学への旅の始まりとなりました。これは、東アジア人とアメリカ先住民の類似点、そして共通のシベリア起源についての調査につながりました。学界におけるイデオロギー的な検閲や資金調達の課題を克服し、彼は独立して研究を行い、極端な気候が人間の心理に与える影響に関する論文を発表しました。彼の研究は、東アジアと熱帯地域の社会が長年抱える社会文化的諸問題の解決策を約束しています。
続きを読む
この記事では、「抗生物質黄金時代」（1940年代初頭から1960年代半ば）について考察しています。この時代は、抗生物質の急速な発見の時代でした。1970年代以降、製薬会社がより利益の出る分野に焦点を移し、抗生物質耐性が増加したため、抗生物質開発が減速した理由を説明しています。この記事では、ゲノムマイニング、新規細菌の探求、併用療法など、抗生物質発見を復活させるための戦略を提案しています。薬剤耐性菌感染症対策において不可欠な新規抗生物質の開発を促進するために、政府や組織の資金提供と革新的な連携モデルの重要な役割を強調しています。
続きを読む
車の配線がネズミに噛まれたため、著者はホンダの唐辛子入りのネズミテープを購入しました。好奇心からテープを舐めてみた著者は、成分確認のためホンダの広報担当者に連絡を取りました。ホンダは、可塑剤であるDEHPが含まれていることを確認しましたが、著者は有害な量に達するには大量に摂取する必要があると計算しました。最終的に、著者はその味が絆創膏とエナジードリンクを混ぜて唐辛子を少し加えたような味だと結論づけ、料理への利用を提案しました。
続きを読む
セキュリティ研究者らが、Parrot Anafiドローンとそのコントローラー間のWi-Fi通信プロトコルをリバースエンジニアリングによって解析しました。ARPスプーフィングを用いて、離陸と着陸シーケンスに関連するパケットを傍受し、重要なペイロード構造を特定しました。簡単なPythonスクリプトを作成することで、公式コントローラーを使用せずに、ドローンの離陸と着陸をリモートで制御できることを実証しました。この研究は、攻撃者がドローンの動作を妨害し、離陸や着陸を阻止できる可能性のある脆弱性を明らかにしました。
続きを読む
本論文は、特に大規模言語モデル（LLM）におけるAIの知性の性質を探求しています。LLMの見かけの知性は、独立した推論によるものではなく、ユーザーとのインタラクションから生じると主張しています。ソクラテスの問答法、賢いハンス効果、そしてLLMの反復的なプロンプトとの類似点を引き出すことで、著者は知性が、孤立した認知ではなく、協調から生じる関係的な現象であることを示しています。LLMは、トレーニングデータ内の確率的関係に基づいて応答を生成し、ユーザーのプロンプトに賢いハンスがハンドラーの手がかりに応答したように応答します。したがって、AIの価値は、その固有の「知識」ではなく、洞察力のある質問を促進し、協調的な探求を促進する能力にあり、最終的には人間の創造性と問題解決能力を高めます。
続きを読む
Rayhunterは、Orbicモバイルホットスポット（RC400L）向けに設計されたオープンソースのIMSIキャッチャーキャッチャーです。LinuxとmacOS用のインストールスクリプトが提供されており、Windowsサポートを含む詳細な手動インストール手順も含まれています。Wi-FiまたはUSB経由でアクセス可能なWeb UIにより、記録の制御、キャプチャのダウンロード、ヒューリスティック分析が可能です。このプロジェクトは、概念実証として明示的にラベル付けされており、ハイリスクな状況には適しておらず、潜在的な法的責任に関する免責事項が含まれています。
続きを読む
この記事では、著者がFactorioのベルトバランサーの設計を自動化する旅について詳述しています。これは非常に複雑な問題として知られています。混合整数計画法(MIP)と制約充足問題ソルバー(CP-SAT)を用いて、著者はこの課題に取り組みました。MIPモデルは、大規模なバランサーでは数値不安定性の問題に苦戦しましたが、CP-SATアプローチは、フローの離散化、Banesネットワークの導入、メモリ最適化を組み合わせることで、手作業では事実上不可能な16x16バランサーの設計を成功裏に解決しました。このプロセスは、効率的なソリューションを得るためのモデリング手法、アルゴリズムの選択、最適化戦略の重要な役割を浮き彫りにしています。
続きを読む/cdn.vox-cdn.com/uploads/chorus_asset/file/25357667/STK259_MICROSOFT_COPILOT_2__B.png)
Microsoftは、AI搭載Copilotの無料版であるMicrosoft 365 Copilot Chatをリリースし、企業を自社のエコシステムに誘引しようとしています。この改名されたBing Chat Enterpriseは、GPT搭載のチャットとファイルアップロード機能を提供します。しかし、タスクの自動化や受信トレイの監視を行うバーチャルアシスタントとして機能する重要なAIエージェント機能は、月額30ドル/ユーザーのサブスクリプションが必要です。価格は複雑で、メッセージコストに基づいており、複雑さとデータアクセスによって1～30セントの範囲で変動します。Microsoftは、無料層が企業を、OfficeアプリにAIを直接統合する完全版Microsoft 365 Copilotへのアップグレードに誘導することを期待していますが、トライアルモードはありません。
続きを読む
新しいMacBook ProへのGDCコンパイラの移植に成功した後、著者はGCCスイートに残りのAdaとGoコンパイラに取り組みました。macOSではGccgoはまだ成熟していないため、GNAT Adaに焦点を当てました。事前にコンパイルされたパッケージがないため、仮想マシンとAlireツールを使用してx86_64バージョンのGNATコンパイラを取得しました。2段階のコンパイルプロセスにより、ネイティブのmacOS/aarch64 GNATコンパイラが作成され、最終的にGDCと統合されて単一のGCCスイートになりました。結果として得られたtarballは、誰でも使用できるようになり、将来の手動移植の必要性がなくなりました。
続きを読む