Otus Lisp (Ol)バージョン2.6がリリースされました！これは軽量（約64KB）で純粋関数型のLisp方言であり、R7RS Schemeの拡張サブセットを実装し、複数のプラットフォーム（Linux、Windows、macOS、Androidなど）とアーキテクチャをサポートしています。Olは埋め込み可能で、他の言語で書かれたコードを呼び出すための高レベルインターフェースを提供します。WebAssemblyにも対応しており、様々なブラウザで実行できます。今回のリリースでは、より便利な数学表記のためのinfix表記が導入されました。
続きを読む
この記事では、TDK VenturesがSilicon Boxに投資した理由を詳しく説明しています。Silicon Boxは、複数の小さなチップ（チップレット）を1つのシステムオンチップ（SoC）に組み合わせる、高度なチップレットパッケージング技術を開発しています。このアプローチは、従来のモノリシックチップアーキテクチャの限界を克服し、設計の柔軟性、費用対効果、性能を向上させます。Silicon Boxの革新は、業界をリードする相互接続技術と新しいパネルパッケージングにあり、既存技術と比較して最大8倍の生産効率を実現します。TDK Venturesの投資は、チップレット相互接続におけるSilicon Boxの革新、堅牢な生産能力、技術的専門知識、そして強力な投資家パートナーシップに基づいています。
続きを読む
T2 SDEは、ローコードで超ポータブルなパッケージマネージャーとLinuxディストリビューションであり、様々なアーキテクチャ（ARM、x86-64など）に対応したカスタムオペレーティングシステムの完全自動化、再現可能なクロスコンパイルを可能にします。最新のリリースであるT2 24.12は、25種類のCPUアーキテクチャをサポートする37個のプリコンパイル済みISOイメージを提供しており、LibreOfficeやOpenJDKなどの多数のパッケージが含まれています。Nintendo Wii Uでの動作も実証済みです。T2は継続的に改善されており、IA-64 Itaniumアーキテクチャのサポート、フルディスク暗号化などのセキュリティ機能の強化、ハードウェアビデオエンコード/デコード機能によるパフォーマンス向上などが行われています。
続きを読む
Mill プロジェクトは、Github Actions を利用して、様々なプラットフォーム（Mac、Windows、Linux）でネイティブバイナリをビルドし、Maven Central にアップロードします。巧妙な構成により、JVM 互換の汎用アーティファクトとプラットフォーム固有のネイティブバイナリのアートファクトの公開が分離され、クロスプラットフォームの互換性が確保されます。カスタム `artifactName` と `jar` タスクにより、OS と CPU アーキテクチャのサフィックスが付いたバージョン付きファイルが生成され、ユーザーは自分の環境に適した実行ファイルを選択できます。
続きを読む
Nvidiaは本日、プロフェッショナルデザイナー、開発者、データサイエンティスト、クリエイター向けに設計されたRTX Pro BlackwellシリーズGPUを発表しました。このラインナップには、ワークステーション向けの最上位モデルRTX Pro 6000 Blackwell GPU、その他のRTX Pro Blackwellデスクトップおよびノートパソコンバリアント、そしてRTX Pro 6000 Blackwellのデータセンターバージョンが含まれています。ワークステーション向けのRTX Pro 6000 Blackwellは、96GBのGDDR7メモリを搭載し、600ワットの電力を必要とします（RTX 5090の575ワットよりわずかに多い）。また、PCIe Gen 5、DisplayPort 2.1、最新のBlackwell世代のRTコアとTensorコアも搭載しています。このGPUは、ゲーム開発、AIワークロード、または大量のVRAMと高速GPUを必要とするあらゆるプロフェッショナルなタスクに従事するプロフェッショナルを対象としたワークステーション用途向けに設計されています。RTX Pro 6000 Blackwellは、Max-Qバリアントとデータセンター向けのサーバーエディションでも提供されます。Nvidiaは、以前使用していたRTX番号付けスキームと過去のQuadroに代わる新しいRTX Proブランドを使用しています。Nvidiaは、デスクトップおよびノートパソコン向けにRTX Pro 5000およびRTX Pro 4000 Blackwell、デスクトップ向けにRTX Pro 4500 Blackwellも発売します。RTX Pro Blackwellのノートパソコンバージョンには、3000、2000、1000、500モデルも含まれます。ノートパソコンバリアントは最大24GBのVRAMを搭載しており、これらのGPUはNvidiaの最新のBlackwell Max-Qテクノロジーもサポートしており、同社はこれを「AIでノートパソコンのパフォーマンスと電力効率をインテリジェントかつ継続的に最適化する」と主張しています。これらのノートパソコン用GPUは、CPU、GPU、AIエンジン間で共有される128GBのユニファイドメモリを搭載したAMDのStrix Haloチップにも挑戦します。FrameworkはAMDの最新のチップを使用して小型デスクトップを構築したため、NvidiaのRTX Pro Blackwell GPUを搭載したワークステーションとノートパソコンがどのようなものになるのか、興味深いところです。NvidiaはまだRTX Pro 6000ワークステーションバリアントの価格を発表していませんが、このGPUは4月からPNYやTD Synnexなどの販売代理店から入手可能になり、Dell、HP、Lenovoなどのメーカーからの提供は5月から開始されます。サーバーバリアントは、Cisco、Dell、HP、Lenovo、Supermicroから「近日中に」入手可能になります。AWS、Google Cloud、Microsoft Azure、CoreWeaveなどのクラウドプロバイダーも、今年後半にRTX Pro 6000 Blackwellサーバーを提供します。ワークステーション向けの残りのRTX Pro Blackwellラインナップは、Boxx、Dell、HP、Lenovoから夏に提供され、RTX Pro Blackwellノートパソコンバリアントは、今年後半にDell、HP、Lenovo、Razerのデバイスに出荷されます。
続きを読む
スタンフォード大学医学部の研究によると、40代と60代において、数千もの分子と微生物が劇的で非線形的な変化を経験することが明らかになりました。これらの変化は、心血管の健康、免疫機能などに影響を与え、徐々にではなく、特定の時期に起こります。この研究は、これらの劇的な分子変化に関連する潜在的なリスクを軽減するために、これらの10年間に健康への意識を高め、生活習慣を調整する必要があることを示唆しています。
続きを読む
この記事は、1948年にマンチェスター大学で開発された小型実験機「マンチェスター・ベイビー」の物語です。低速でシンプルなプログラムでしたが、電子式プログラム内蔵コンピューティングの概念を開拓し、現代コンピューティング時代の夜明けにおける重要な瞬間となりました。この記事では、ENIACコンピュータとの競合する主張についても掘り下げ、両者の特徴を比較・対比し、マンチェスター・ベイビーが完全に電子式プログラム内蔵コンピュータの開発において重要なマイルストーンであるという結論に達しています。
続きを読む
Colorify Rocksは、AIを搭載したカラーパレットジェネレーターを発表しました。キーワードやテーマを入力するだけで、どんなプロジェクトにも最適な完璧なパレットを瞬時に作成できます。高度なAIと、色彩理論、トレンド、美意識への理解を活用し、ウェブサイト、ブランディング、インテリアデザインなどに最適な調和のとれたパレットを提供します。ユーザーはカラーコードを簡単に保存、エクスポート、コピーでき、無制限のバリエーションを作成できます。世界中の何千人ものデザイナーから信頼されているColorify Rocksは、新鮮なインスピレーションのために毎日カラーを更新しています。
続きを読む
字幕はただのテキストだと思っていませんか？違います！この記事では、アニメファンサバーの驚くべき技術を紹介します。彼らは翻訳者だけでなく、アーティストでもあります！彼らは画面上のテキストのスタイルやエフェクトを完璧に模倣し、字幕を映像とインタラクティブにさせます。例として、スクロールテキストの複製、日本語メッセージの英語への置換、シーンに合わせたフォントの歪曲、音楽に同期したカラオケスタイルの字幕作成などがあります。最も息を呑むようなテクニックは「マスキング」で、フレームごとに字幕の位置を調整し、他の要素の下に現実的に見えるようにします。これは従来の字幕作成を超えた、真の視覚マジックです。
続きを読む
セキュリティ研究者は、悪意のあるリンクの拡散における衝撃的な手法を発見しました。攻撃者は、政府機関、大学などのウェブサイトを利用し、古いWordPressプラグインやCMSシステムの脆弱性を悪用しています。SEO最適化とキャッシュポイズニングを用いて、Robux、OnlyFansなどの不正なコンテンツへのリンクを安全なリンクとして偽装し、ウイルス対策ソフトやVPNの検出を回避しています。これらのリンクは、アフィリエイトネットワークを通じて被害者を誘導し、攻撃者にとって小さな利益を生み出します。これは新しいものではなく、2020年にも同様の事件が発生しています。研究者は、高度なサイバーセキュリティ対策と、見慣れないリンクをクリックする際の注意を促しています。
続きを読む
macOS用のWine互換レイヤーであるWhiskyプロジェクトのメンテナンスが正式に終了しました。作者のIsaacは、その理由として、報酬のない膨大な時間、WhiskyがWineコミュニティ全体にとってプラスの影響を与えていなかったこと、WhiskyがCrossOverに依存しながら貢献していなかったため、CrossOverの収益性とmacOS上でのWineの存続を損なう可能性があることを挙げています。ユーザーはCrossOverへの移行を推奨されており、作者は他のプロジェクトに注力する予定です。
続きを読む
アメリカ司法省が米国対グーグル訴訟で提案した救済策は、意図せずブラウザ競争を終わらせる可能性がある。ブラウザ開発者への検索支払い全てを禁止する計画は、オープンで革新的で自由なウェブ維持に不可欠なFirefoxなどの小規模な独立系ブラウザに深刻な打撃を与えるだろう。検索収入の喪失は生き残りを困難にし、最終的にGoogleのChromiumが唯一のクロスプラットフォームブラウザエンジンとなり、テクノロジー大手による支配が強まる可能性がある。Mozillaは、これが検索における独占を解決するのではなく、選択肢を減らし、インターネットエコシステムを弱体化させることで消費者を害すると主張している。
続きを読む
この記事では、シンプルなFastAPI（Python）とGoのWebサーバーを比較し、本番環境におけるPythonの過剰なリソース消費を浮き彫りにしています。PythonのDockerイメージはGoのそれに比べてはるかに大きく、実行には何桁も多くのRAMが必要となります。これにより、サーバーコストと運用上の複雑さが増大します。さらに、Pythonコードのメンテナンスとアップグレードは、GILの制限、例外処理、パッケージ依存関係のアップグレードなど、多くの課題を伴います。著者は自身の経験と業界の事例を用いて、言語の選択がプロジェクトコストとエンジニアリング効率に与える影響を示し、リソースに制約がある場合やパフォーマンスが重要なアプリケーションには、Goなどの軽量な言語を優先することを提案しています。
続きを読む
Mycoriaは、すべての参加者を接続するオープンでセキュアなオーバーレイネットワークです。接続の自由を重視し、初期インターネットの好奇心旺盛で冒険的な精神を模倣することを目指しています。誰もが平等：誰でも簡単に接続できます。誰もが歓迎されます：官僚主義のないオープンネットワーク。監視なし：すべてが認証され、暗号化されています（+プライベートアドレス！）。障壁なし：インターネットを介して接続するか、独自のメッシュでMycoriaを拡張できます。設計目標は、小さくシンプルに保つこと、既存のインフラストラクチャ（DNSなど）との互換性、デフォルトでセキュア、デフォルトでプライベート（開発中）です。機能には、自動エンドツーエンド暗号化、最新の暗号化、スマートでスケーラブルなルーティング、ダッシュボード、.myco DNS解決（OS設定が必要）、シンプルなサービス検出、ネットワークの自動最適化/修復（インターネットオーバーレイ用）（開発中）、ローテーションするプライベートアドレス（開発中）などがあります。
続きを読む
SQLite方言向けの静的SQL解析ツールであるsqleibnizは、設定可能性と拡張性を高めるためにLuaスクリプトが組み込まれました。この記事では、Rustでmluaクレートを使用してLuaとのやり取りを行う方法を詳しく説明しており、データ構造の変換、Lua関数の呼び出し、エラー処理などが含まれています。Luaスクリプトにより、ユーザーはカスタムルールとフックを定義でき、柔軟な静的解析（カスタム診断やスタイルチェックなど）が可能になります。これにより、sqleibnizの拡張性とユーザーエクスペリエンスが大幅に向上します。
続きを読む
Labwcは、openboxにインスパイアされた、wlrootsベースの軽量なWaylandウィンドウコンポジタです。シンプルで効率的なウィンドウスタッキングと最小限のウィンドウ装飾を重視しています。多くのコンポジタとは異なり、パネル、スクリーンショット、壁紙などの機能はクライアントに依存しており、軽量性を維持しています。wlrootsとswayのコーディングスタイルに準拠し、LabwcはWaylandプロトコルのみをサポートし、dbus、sway/i3-IPCなどは拒否することで、プロトコルの断片化を回避し、Waylandの採用促進を目指しています。
続きを読む
ゲーム開発者は、効率的なクロスプラットフォームレンダリングという課題に直面しています。異なるプラットフォーム（Windows、macOS、Linux、ゲーム機など）は、それぞれ異なるグラフィックスAPI（Vulkan、Metal、Direct3Dなど）を使用しており、シェーダーの処理は特に複雑です。FNAプロジェクト（XNAフレームワークの現代版移植）の共同メンテナーである著者は、クロスプラットフォームグラフィック抽象化ライブラリRefreshを作成し、SPIR-V、HLSL、DXBC、MSLなど、さまざまなシェーダーフォーマットをサポートするSDL GPU APIソリューションを提案しました。このマルチフォーマットアプローチは、GPUアーキテクチャの差異とベンダーの利害の対立により、標準化されたシェーダーISAが実現できないことに起因します。シェーダーをコードではなくコンテンツとして扱うことで、コンパイルワークフローの柔軟性が向上します。このアプローチは、既存のシェーダー（XNAのFXバイトコードなど）を処理し、カスタムシェーダー言語の作成という膨大な労力を回避し、実用的なクロスプラットフォームレンダリングを優先します。
続きを読む
ReplitのCEOが、コーディングを学ぶ必要はもうないというツイートが議論を巻き起こしました。15年の経験を持つソフトウェアエンジニアである著者は、AI搭載コーディングツールの影響について考察しています。AIによる効率向上を認めながらも、過度な依存は理解を低下させ、ベンダーに依存する危険性を指摘しています。初心者には、競争力を維持するために、プログラミングの基礎をしっかり学ぶことを勧めています。AIは生産性を向上させますが、確かなコーディングスキルに取って代わることはありません。
続きを読む
Spotifyに飽きてしまい、完璧な代替案を探す旅に出ました。Winamp、foobar2000を試したり、自作のウェブミュージックプレイヤーを作ったりした後、最終的にJellyfinを選びました。Jellyfinはセルフホスティングのメディアサーバーで、ストリーミングサービスに頼ることなく、いつでもどこでも自分の音楽ライブラリにアクセスできます。技術的な設定が必要ですが、驚くほど簡単で、古いパソコンでも十分です。モバイルアプリと組み合わせることで、オフラインでの音楽再生も快適です。これによりデジタルな自立を実現できただけでなく、Immichなどの他のアプリのセルフホスティングも始めました。
続きを読む
DECUServeは、OpenVMSユーザーのための活気のあるオンラインコミュニティであり、豊富なリソースとサポートを提供しています。膨大な数の問題と解決策に関する知識ベースを誇り、数多くの技術会議（50回以上！）を開催してきました。ユーザーは、コマンドライン、ブラウザ、またはニュースリーダーを介して、会議、ライブラリ、個人ウェブページにアクセスできます。SSH、SFTP、DCLinaboxへのアクセスにより、コラボレーションが容易になります。ピアツーピアのサポート環境であるDECUServeは、OpenVMSコミュニティにとって貴重なリソースです。
続きを読む
著者は、人気のコード補完ツールCursorを他のツールと詳細に比較検討しました。その結果、Cursorの中核技術はCopilotと本質的に違いはなく、どちらもClaudeやGPTモデルに基づいていることがわかりました。Cursorの長所は、プロジェクト内の他のファイルを積極的に検索して参照することですが、時に過剰に「賢く」、許可なく新しいファイルを作成してしまうこともあります。著者は、デバッグにおいてより正確で信頼性の高いo1モデルを好みます。記事は最後に、Cursorを過剰に賞賛する人はプログラミング経験が不足しており、AIの能力とツールの能力を混同している可能性があると指摘し、エディタの選択は盲目的に流行を追うのではなく、個人の好みで決めるべきだと強調しています。
続きを読む
2019年、イタリアのファノ市で、レオナルドの死後500周年を記念して、ウィトルウィウスとレオナルドの強い繋がりを祝うマルチメディア展が開催されました。著者らは、いくつかの機械のインタラクティブなアニメーションを作成し、来場者に過去の偉大な学者たちの研究を没入型体験として提供しました。彼らはまた、オドメーターの歴史を見直し、レオナルドがウィトルウィウスの概念をどのように再設計したかを研究する機会も得ました。いくつかの疑問は未解決のままですが、この研究は彼らを過去のもう一人の偉大な科学者、シラクサのアルキメデスへと導きました。
続きを読む
新たな分析によると、EUのロシア産ガス輸入量は2022年に18％増加し、2027年までにロシア産化石燃料への依存を終わらせるという目標を損なっていることが明らかになった。ガス需要は安定しているにもかかわらず、イタリア、チェコ、フランスからの輸入増加は、「影の」船舶の使用やガスの起源の「ホワイトウォッシング」によって促進された。EUは昨年、ロシア産化石燃料に219億ユーロを支出しており、これはウクライナへの援助を上回っている。専門家は、EUに法的拘束力のある目標と具体的な計画がないことを批判し、ロシア産ガスへの継続的な依存は安全保障を脅かし、価格変動と脅迫にさらされ、ウクライナへの支援を損なうと主張している。
続きを読む
NeurIPS'24会議で、多くの博士課程修了間近の学生とポスドクが、AIの就職市場に対する不安とフラストレーションを表明しました。これは、過去10年間の深層学習の急速な発展に由来します。大企業はAI博士号取得者を積極的に採用し、高給と研究の自由を提供していました。しかし、大規模言語モデルなどの技術の成熟と製品化に伴い、博士号取得者への需要は減少し、大学では学部生や修士課程の学生に関連スキルを教育し始めました。この変化により、多くの博士課程の学生は取り残されたと感じ、研究テーマが市場のニーズと合致せず、将来のキャリアに不確実性を感じています。著者はこの状況を理解し、謝罪の意を表し、大規模言語モデル以外にもAIには多くの重要な研究分野があると指摘しています。
続きを読む
ジムブリーは、ワークアウトルーティンをゲーム化するフィットネスアプリです。目標を設定（例：期間中のジム訪問回数）、アプリで毎回チェックイン（位置情報共有が必要）、10ドルを賭けます。目標を達成すればお金が戻ってきます（少額の手数料を除く）。失敗すると、セーブ・ザ・チルドレンに寄付されます。あなたにとってのモチベーション、そして良い目的への支援、まさにwin-winです。
続きを読む
数学哲学に関する軽い読み物が、マストドンでのアンケートに繋がりました。「数は存在するか？」という質問に対し、数の存在、ユニコーンの存在、そして数がユニコーンより存在感が強い、という3つの意見がほぼ同数という結果になりました。「存在」の定義についての議論を促す結果となりました。この記事では、古代バビロニアからデジタル時代までの数の歴史、そしてユニコーンの文化的意義を探っています。著者は、数やユニコーンが存在するかどうかとは別に、それらについて概念化し、議論し、創造する人間の能力こそが真に重要であると結論付けています。
続きを読む
この記事では、制限ボルツマンマシン（RBM）の学習におけるコントラスティブ・ダイバージェンスアルゴリズムを分かりやすく説明します。エネルギー関数と同時分布を定義することで、重みの更新則を導出し、正負の段階におけるギブスサンプリングの役割を説明します。最終的に、データの期待値とモデルの期待値の差を用いてRBMの重みとバイアスを調整し、訓練データのエネルギーを最小化する方法を示します。
続きを読む
開発者が「百万チェス盤」というウェブサイトを作成しました。その名のとおり、100万個のチェス盤があります！すべてのプレイヤーが同じ盤面を共有し、ターン制ではなく、瞬時に駒を動かすことができます。開発者は大きな技術的課題を克服し、バックエンドをGo言語（最初のGoプロジェクト！）で作成し、単一のライタースレッドと多数のリーダースレッドを使用し、楽観的ロックをコンカレンシー処理に用いています。このプロジェクトは技術的な偉業です。プレイして、これまでにない多人数同時プレイチェスを体験してください！
続きを読む
OpenAI APIとのシームレスな統合のための堅牢な分散型Erlangフレームワーク。組み込みのスーパービジョンツリー、動的なAPIクライアント生成、ツール実行を備え、すべてのOpenAI APIエンドポイントをサポートし、フォールトトレランス、レート制限、ストリーミングサポートを誇ります。階層的なスーパービジョンツリーは安定性と信頼性を保証します。開発者は、簡単な関数呼び出しでカスタムツールを簡単に登録および実行し、OpenAI APIに直接アクセスできます。
続きを読む
科学コミュニケーション担当者がソーシャルメディアで数学の公式に対する理解を共有し、数学の美しさを一般の人々にどのように伝えるかについての議論を引き起こしました。数学の理解には、あらゆるスキルと同様に時間と実践が必要であり、表面的な公式だけに留まることはできないと主張しました。簡単な説明は実践的な経験に取って代わることはできません。数学を、芸術のように鑑賞するには、深い関与が必要です。この記事では、科学コミュニケーションの課題を探っています。娯楽性と教育性のバランスを取り、厳密さを犠牲にすることなく、一般の人々に科学の本質を伝える方法です。
続きを読む