2007年、ブレット・ビクターは「ワニの卵」というパズルゲームを作成しました。これは、ラムダ計算の抽象的な概念を巧みにゲームメカニクスに翻訳したものです。空腹のワニはラムダ抽象を表し、年老いたワニは括弧、卵は変数を表します。ワニが他のワニの家族を食べる過程はベータ簡約に対応し、色のルールはアルファ変換に対応し、年老いたワニの死亡ルールは括弧の除去に対応します。プレイヤーは一連のパズルを解くことで、ベータ簡約やアルファ変換などのラムダ計算の中核概念を徐々に理解していきます。このゲームは、子供たちがラムダ計算を学ぶための楽しい方法を提供するだけでなく、ラムダ計算の理解と計算のための直感的なツールも提供します。
続きを読む
1月31日以降、CloudflareのCAPTCHAシステムが断続的に失敗し、Pale Moonを含む多くの非主流ブラウザがウェブサイトへのアクセスをブロックされています。コミュニティからの報告にもかかわらず、Cloudflareはほとんど反応しておらず、オープンソースプロジェクトに対する差別だと非難されています。ほぼ1ヶ月続くこの問題は、影響を受けたブラウザのユーザー数と収益に大きな影響を与え、開発者らは法的措置を検討せざるを得なくなっています。
続きを読む
スイス連邦地形局（Swisstopo）は、LiDARデータに基づく高精度デジタル標高モデルswissALTI3Dを提供しています。建物や植生を除去することで、地表下の地形を明らかにします。このプロジェクトは、可視化とインタラクティブなオンラインマップを通じてデータへのアクセス性を向上させ、LiDARの考古学への応用を示しています。例えば、スイス東部では、LiDARデータが紀元前15年頃のローマ軍営跡やその他の歴史的遺跡の発見に役立ち、地表下に隠された構造物を明らかにするLiDARの能力を強調しています。このデータの一部は、https://lidar.cubetrek.comでアクセスできます。
続きを読む
AWSエンジニアのDaniel Doubrovkine氏は、自身の仕事の公開CHANGELOGを維持することについての経験を共有しています。毎週のタスクを公に文書化することで、透明性と協調性を促進します。この実践は、大きなメリットをもたらしました：より生産性の高い1対1ミーティング、新しいエンジニアの円滑なオンボーディング、過去の仕事の容易なアクセス、自己省察の向上、同僚間の信頼の向上などです。彼は他の人にもこのアプローチを採用するよう促し、簡単な記録方法と、年間目次を生成するためのRubyスクリプトを共有しています。
続きを読む
AI駆動の共同作成プラットフォームであるMultiplyは、当初DatomicとXTDBを使用していましたが、理解しにくさ、パフォーマンスのボトルネック、フォールトトレランスの問題に直面しました。Ramaプラットフォームへの移行により、カスタムPState（パーティション化された状態）を活用して柔軟なデータモデリングと効率的なクエリを実現し、開発速度とスケーラビリティを大幅に向上させました。Ramaのイベントソーシングアーキテクチャと強力なデータフローAPIにより、Multiplyはよりクリーンなコードで複雑なビジネスロジックを実装し、以前は不可能だった機能を容易に構築することができました。その結果、小規模ながら高い生産性を誇るチームが実現しました。
続きを読む
高校生のプログラマーが、自身のプログラミングの道のりを振り返り、CursorのようなAI搭載コーディングツールが登場する前と後の学習体験を比較しています。当初は構文エラーや型エラーに苦労しましたが、プログラミングの原理を深く理解することができました。今ではAIツールによって効率は向上しますが、実践的な経験が減ることで学習プロセスが阻害される可能性もあります。著者は、プログラミングの基礎をしっかり身につけるために、初期段階ではAIツールへの依存を最小限にすることを推奨しています。
続きを読む
Toriiは、Rustアプリケーションのための強力な認証フレームワークであり、ユーザーデータの完全な制御を提供します。Auth0、Clerk、WorkOSなどのクラウド上にユーザー情報を保存するホスト型ソリューションとは異なり、Toriiでは、柔軟なプラグインシステムを通じて最新の認証機能を提供しながら、独自の認証スタックを所有および管理できます。パスワードレスログイン、ソーシャルOAuth、パスキーなどの強力な機能と、データ主権を組み合わせることで、ユーザーデータを自由に保存できます。
続きを読む
この記事は、近代美術館の起源の物語を語っており、17世紀の富裕層が「珍奇なコレクション」に熱中したことから始まります。シェッドウェルとドライデンの詩人同士の論争から始まり、当時の熱狂的なコレクターを代表する「博識家」ジムクラックの風刺的な描写へと繋がります。当初は個人的な趣味から始まったこれらの私的なコレクションは、徐々に厳密に分類された科学的な展示へと進化し、最終的にはバーゼル美術館やアシュモレアン博物館などの一般公開された美術館へと変貌を遂げ、今日の豊かな美術館文化の基礎を築きました。
続きを読む
この論文は、リチャード・バードの著書『Thinking Functionally with Haskell』におけるエラトステネスの篩に関する誤った証明を修正します。バードは、循環的なリストベースの実装を示していますが、その証明のヒントは誤っています。著者らは、新しい補題を導入し、ベルトランの仮説の弱体化を利用することで、完全な正当性証明を提供します。このアルゴリズムと、デイビッド・ターナーの「完全関数型プログラミング」のビジョンとの関連性についても探求します。
続きを読む
The Body Matchは、あなたの体型に合ったモデルと繋がるパーソナルなオンラインファッションカタログです。自分の体型を見つけ、体型が似たモデルと一緒にショッピングできます。複数のファッションアプリを切り替える必要はもうありません。必要なものはすべてここにあります。
続きを読む
Rust 1.86で、`Any`トレイトの長く続いていた問題、`dyn Any`のアップキャストが不可能だった問題がついに修正されました。つまり、開発者は`Any`トレイトのメソッド（`downcast_ref`など）を、`Any`を継承するトレイトで使用できるようになりました。この修正により、以前はハックが必要だった機能が標準的な方法で実現できるようになり、コードの可読性と保守性が向上します。長年、この問題の回避策に頼ってきたRust開発者にとって朗報です。
続きを読む
ペンシルバニア州立大学の研究者らが、人間の毛髪を模倣した革新的な3Dプリント脳波電極を開発しました。生体接着インクを使用することで、ゲルなしで頭皮に直接貼り付けることができます。軽量で柔軟性、伸縮性に優れ、髪をとかしたり帽子をかぶったりしてもずれにくく、信号品質の大幅な向上と長期モニタリングを実現します。従来の金電極と同等の性能を示し、24時間以上の連続使用でも信号劣化なく安定した接触を維持します。電極の再配置によるデータのばらつきを解消し、患者の快適性も向上させます。将来的にはワイヤレス化を目指しています。
続きを読む
Googleは、2025年5月30日より、着信SMTP接続におけるTriple Data Encryption Standard（3DES）のサポートを終了することを発表しました。この日付以降、3DESを使用するメールシステムはGmailアカウントにメールを送信できなくなります。この変更は、古い暗号化方法に関連する脆弱性を軽減することでセキュリティを向上させるものです。すべての送信システムは、最新の安全なTLS暗号を使用するように設定する必要があります。詳細はGmailヘルプセンターをご覧ください。
続きを読む
EQTY Labは、インテルとNVIDIAとの協力の下、AIワークフローのガバナンスと監査のためのハードウェアベースのソリューションである、検証可能なコンピューティングAIフレームワークを発表しました。このフレームワークは、AIトレーニング、推論、ベンチマークに対して、リアルタイムで真正性とコンプライアンスの証明書を提供し、説明可能性、説明責任、セキュリティを確保します。インテルとNVIDIAの次世代ハードウェアを活用することで、検証可能なコンピューティングは、AIポイズニングやデータ侵害など、AIサプライチェーンにおける増大するリスクに対処します。ServiceNow、Databricks、Palantirなどのツールと統合することで、責任あるAIイノベーションと、EU AI法などの規制への準拠を可能にします。このソリューションは、ライフサイエンス、公共部門、金融、メディアなど、さまざまなセクターで既に展開されています。
続きを読む
従来のBIは、構造化されたデータサイロによって制限されています。SnowflakeやSegmentなどのツールは、CRM、マーケティングオートメーションなどを接続しましたが、Slackの会話やJiraのチケットなどの非構造化されたナレッジサイロは無視していました。LLMやGleanなどのツールは、ナレッジサイロを打破しつつありますが、データと知識は依然として別個のものです。この記事では、データサイロとナレッジサイロの力を組み合わせる方法を探り、H-1Bビザとレイオフの分析といった例を用いてその利点を示しています。また、グラフRAGを使用して質問をデータサイロとナレッジサイロのサブクエリに分解し、回答を統合することで、より包括的なビジネスインサイトを得るHyperarcの新しいテクノロジーを紹介しています。
続きを読む
複雑な開発環境の問題を回避するため、著者は仮想マシンによる開発環境に移行しました。macOS上でVMware Fusion Proを使用してUbuntu 24.04を実行し、すべての開発ツールと拡張機能を仮想マシン内に配置することで、安全で隔離されたワークスペースを実現しています。クリップボードのシームレスな共有など、一部の利便性は失われますが、全体的なエクスペリエンスはスムーズで、ホストマシンのパフォーマンスへの影響は最小限です。著者は、このアプローチが長期的な安定性とセキュリティのメリットをもたらし、小さな不便さを上回ると考えています。
続きを読む
開発者は、NOAAなどの機関から提供された標高、海面、気候、氷床データを用いて、過去10万年間の地球の地理的変化をインタラクティブに表示するモデルを構築しました。THREE.jsとシェーダーを使用してレンダリングされたこのモデルは、地形の変化、海岸線、気候変動を動的に示します。ベーリング海峡に存在した陸橋や、現在水没しているイギリスとヨーロッパ大陸を繋いでいたドッガーランドなど、興味深い地理的特徴が鮮やかに示されています。氷床と現代の国境を含めることで、過去の人の移動や初期文明を視覚化する強力なツールとなっています。
続きを読む
連邦取引委員会（FTC）は、イリノイ州とミネソタ州の司法長官と共に、農業機械メーカーであるディア社を、修理コストを吊り上げ、農家の迅速な修理へのアクセスを制限する反競争的な慣行によって訴追しました。ディア社は、必須の修理ソフトウェアへのアクセスを制限し、農家を費用のかかる認定ディーラーに頼らざるを得なくしています。FTCの訴訟は、ディア社に対し、機器所有者と独立系の修理業者に完全な修理アクセスを提供することを要求することで、同社の慣行を終わらせることを目的としています。
続きを読む
SmallPondは、DuckDBと3FS上に構築された軽量で高性能なデータ処理フレームワークです。ペタバイト規模のデータセットを容易に処理でき、長時間実行されるサービスは必要ありません。Python 3.8から3.12をサポートしています。シンプルなAPIにより、データの読み込み、処理、保存が容易に行えます。50個のコンピューティングノードと25個のストレージノードからなる3FSを実行するクラスタでGraySortベンチマークを使用した結果、SmallPondは110.5 TiBのデータを30分14秒でソートし、平均スループット3.66 TiB/分を達成しました。
続きを読む
人気の低コストマイクロコントローラーESP32向けに、完全なオープンソースWi-Fi MACレイヤーを作成するという野心的なオープンソースプロジェクトが進められています。現在、ESP32のWi-Fi MACレイヤーはクローズドソースであり、セキュリティ監査、機能拡張、相互運用性に制限があります。このプロジェクトは、ハードウェアレジスタとソフトウェアのリバースエンジニアリングを行い、CとRustの2つのオープンソースMACレイヤー実装を実現しました。1つはFreeRTOSタスクを使用し、もう1つはEmbassy上に構築された純粋な非同期Rust実装です。目標は、ESP32のセキュリティ、機能性、研究へのアクセス性を向上させ、標準準拠のメッシュネットワークなどの機能を促進することです。
続きを読む
米国退役軍人省（VA）は、今年後半に数万人の職員を削減する計画を発表し、激しい批判を浴びている。内部メモによると、省全体で業務、組織、構造の見直しを行い、管理の合理化、省の規模縮小、効率性の向上を目指すとしている。職員数を2019年の水準（約39万9000人）に削減することを目標としており、現在の48万2000人から大幅な減員となる。民主党議員は、この措置を強く非難し、医療へのアクセス、請求処理、教育給付などが損なわれ、退役軍人に悪影響を及ぼすと主張している。PACT法による需要増に対応するためには、人員削減ではなく増員が必要だと反論している。
続きを読む
NES86プロジェクトは驚くべきエンジニアリングの成果です。NES上で動作するIBM PCエミュレータです！Intel 8086プロセッサと対応するPCハードウェアをエミュレートすることで、シェルやユーティリティを含むELKS（Embeddable Linux Kernel Subset）を正常に実行します。つまり、古いNESで一部のx86ソフトウェアを実行できます（ただし、シンプルなシリアルターミナルに制限されます）。このプロジェクトはオープンソースであり、ELKSイメージのコンパイルとNES86 ROMの生成を網羅した詳細なビルド手順を提供しています。レトロなハードウェアで最新のOSを実行するという挑戦に備えましょう！
続きを読む
レノボはCES 2025で、いくつかの革新的な製品を発表しました。最も注目すべきは、14インチのOLEDディスプレイが16.7インチに展開可能なロールアップ可能なAI PCであるThinkBook Plus Gen 6です。画面の利用面積が大幅に増加します。また、WindowsとSteamOSの両バージョンが用意されたLegion Go Sも発表されました（公式にライセンスされたSteamOS搭載ハンドヘルドとしては初）。さらに、ThinkCentre M90a Pro Gen 6オールインワンPCは、プライバシーを強化する指向性オーディオ技術であるLenovo Focus Soundを搭載しています。革新的ですが、価格は高額です。
続きを読む
今日の商品市場では大きな変動が見られました。原油価格は2％以上下落し、ブレント原油とWTI原油は大幅な下落を示しました。ガソリンと灯油の価格も下がりました。しかし、金価格は逆行し、1％以上上昇し、銀と銅も上昇しました。大豆、小麦、石炭の価格はすべて下落しましたが、天然ガスと木材の価格はわずかに上昇しました。鉄鉱石価格はわずかに上昇しました。鉄鋼価格はわずかに下落しました。TTF天然ガス価格は2％以上上昇しました。
続きを読む
IBMと半導体メーカーのグローバルファウンドリーズは、契約違反、特許、営業秘密に関する訴訟を含む、すべての訴訟を解決しました。機密保持契約に基づき、和解の詳細については公表されていませんが、両社は、これが将来の協業の機会を生み出すと述べています。2021年にIBMによって開始されたこの紛争は、15億ドル規模のチップ製造契約と、グローバルファウンドリーズによるIBMの営業秘密の不正開示に関する告発に端を発しています。この解決により、将来のプロジェクト、特にRapidusとの2nmチップ技術に関する協業への道が開かれました。
続きを読む
1993年、14歳の著者は、高価なTransputerチップを父親から入手し、数ヶ月かけてほぼ完成したPascalコンパイラを完成させました。これには、Pascal言語、コンパイラの原理、Transputerプログラミングの習得が必要でした。プロジェクトはアセンブラの作成から始まり、Tiny Pascalコンパイラの移植と改良を経て、最終的にコンパイラの自己コンパイルに到達しました。この偉業は、著者のプログラミングにおける才能と粘り強さを示すとともに、並列計算におけるTransputerの可能性と限界を浮き彫りにしています。
続きを読む
ヴェルサイユ宮殿の建設は、ルイ14世の権力への渇望と、以前の財務大臣の壮麗な庭園への嫉妬から生まれました。著者はこれを足掛かりに、現代のプロダクトデザインにおける魂の欠如について論じています。ヴェルサイユ宮殿が壮大でありながら生命感に欠けているように、多くの現代のプロダクトは表面的な美しさや機能性を優先し、感情的なつながりを無視していると主張しています。真のデザインは、庭師が土壌を耕すように、自分自身の深みからインスピレーションを得て、生命感あふれる製品を生み出すべきだと主張しています。この記事では建築を例に、サグラダファミリアと電話交換機の建物が呼び起こす感情を対比させ、デザインにおける感情の重要性を強調しています。
続きを読む
NeuralSVGは、小さなMLPネットワークにエンコードされ、スコア蒸留サンプリング（SDS）を使用して最適化された、暗黙的なニューラル表現（NeRFに似ている）を使用して、テキストプロンプトからベクトルグラフィックを生成します。ドロップアウトベースの正則化手法により、階層構造を持つ、順序付けられ、編集可能なシェイプが保証されます。このモデルは、バックグラウンドカラーやアスペクト比などの側面を、すべて単一の学習済み表現から動的に制御できます。実験により、NeuralSVGは、構造化された柔軟なSVGの生成において、既存の方法を上回ることが示されています。
続きを読む
世界的なデータセンターの中心地「Data Center Alley」を擁するバージニア州最大の電力会社であるDominion Energyは、2024年下半期にデータセンターの電力需要がほぼ2倍になったと報告しました。データセンター向けに契約された総電力容量は、7月の21.4ギガワットから12月には40.2ギガワットに増加しました。この急増は、データセンターとAIの急速な成長、製造業の拡大、そして経済の電化の進展によって推進されています。DeepSeekがより省エネルギーなAIモデルを発表したことで市場の見通しが一部修正されたものの、CEOのBob Blueは、バージニア州のデータセンターの成長は減速しておらず、むしろ加速していると断言しました。
続きを読む
一見地味なジャムバンドであるPhishは、わずか4年間で1億2000万ドル以上のチケット売上を記録し、多くのメインストリームアーティストを凌駕しました。彼らの成功は、アルバムの売上やラジオの放送ではなく、バーモント州のバーで培われた10年間のたゆまぬ練習とオーガニックな成長に基づいています。彼らは、没入型のライブパフォーマンス、ユニークな即興ジャム、そして観客との深い繋がりを通して、非常に忠実なファン層を築きました。この献身と、自主的なビジネスアプローチを組み合わせることで、ライブ音楽体験を中心とした持続可能で非常に収益性の高いモデルが実現し、Phishは音楽業界におけるユニークなケーススタディとなりました。
続きを読む