sectorlisp:512バイトのLISP実装
sectorlispは、ベアメタル上でジョン・マッカーシーのメタ循環評価器をブートストラップできる、画期的な512バイトのLISP実装です。LISPから不要な要素を取り除き、LISP、C、i8086アセンブリの3つの実装を提供します。i8086版はBIOSから起動することもできます。これはおそらく、現在までに存在する最小の真のLISP実装です。
続きを読む
sectorlispは、ベアメタル上でジョン・マッカーシーのメタ循環評価器をブートストラップできる、画期的な512バイトのLISP実装です。LISPから不要な要素を取り除き、LISP、C、i8086アセンブリの3つの実装を提供します。i8086版はBIOSから起動することもできます。これはおそらく、現在までに存在する最小の真のLISP実装です。
続きを読む
ペンシルバニア州立大学の研究者らが、人間の毛髪を模倣した革新的な3Dプリント脳波電極を開発しました。生体接着インクを使用することで、ゲルなしで頭皮に直接貼り付けることができます。軽量で柔軟性、伸縮性に優れ、髪をとかしたり帽子をかぶったりしてもずれにくく、信号品質の大幅な向上と長期モニタリングを実現します。従来の金電極と同等の性能を示し、24時間以上の連続使用でも信号劣化なく安定した接触を維持します。電極の再配置によるデータのばらつきを解消し、患者の快適性も向上させます。将来的にはワイヤレス化を目指しています。
続きを読む
このツールを使用すると、サードパーティのアプリやサービスを数時間で統合できます。週単位ではありません。再利用可能なコンポーネントを定義および使用し、複数の環境とバージョンに自動的に構成できるため、開発が簡素化されます。自動再試行、フェイルオーバー、プロバイダーの切り替えなどの組み込みの回復力機能により、高い可用性が確保されます。さらに、開発から本番環境までのすべての環境で完全な可視性を提供し、問題の即時検出と解決を可能にします。
続きを読む
本論文は、RubinとCamm(2013)のオンラインでのグリーフィンとトロリングに関するヒューリスティックに基づいて、匿名性、アバターの作成、オンライン上のアイデンティティがWorld of Warcraftにおけるネガティブな行動の認識をどのように形成するかを検討しています。長時間のプレイ経験を持つ10人のWoWプレイヤー(男性5人、女性5人)へのインタビューを通じて、ゲーム内の行動、インタラクション、ソーシャルな要素がネガティビティにどのように寄与しているかを理解しようとしました。この研究は、現実世界の攻撃性がゲーム内のネガティブな出来事に対するプレイヤーの認識に大きな影響を与えていることを明らかにし、認識の主観的な性質と性差を強調しています。
続きを読む
Appleは、Safariウェブブラウザの大幅な刷新を積極的に検討しており、AI搭載の検索エンジンに焦点を移しつつあります。この動きは、AppleとGoogleの長年の提携関係の終焉を示唆するものであり、業界に大きな変化をもたらす可能性があります。Appleのサービス担当上級副社長であるエディ・キュー氏が、米国司法省によるAlphabet Inc.に対する訴訟の証言の中で明らかにしました。訴訟の中心は、GoogleをSafariのデフォルト検索エンジンとする年間約200億ドル規模の契約です。この訴訟は、両テクノロジー企業に関係を断絶させる可能性があり、iPhoneなどのAppleデバイスの機能を劇的に変える可能性があります。
続きを読む
このチュートリアルは、Rhino 3DのプラグインであるGrasshopperでのビジュアルプログラミングを紹介します。Grasshopperを使用すると、視覚的なダイアグラム内でデータと関数を接続することで、幾何形状をアルゴリズム的に生成できます。このチュートリアルでは、さまざまなコンポーネントとパラメーターを使用して、点、線、ポリライン、曲線、サーフェスの作成の基本を解説します。'Construct Point'コンポーネントを使った点の作成、'Line'コンポーネントを使った線分作成、'Interpolate'コンポーネントを使った曲線生成などを学びます。この実践的なガイドは、デザイナーが効率的に複雑な3Dモデルを作成するのに役立ちます。
続きを読む
Yggdrasilは、完全に分散化されており、動作に必要な状態量がごくわずかですむ、実験的なコンパクトルーティングスキームです。主に最短経路スキームであり、ネットワークは宛先への最も直接的な経路を見つけようとします。ノードは対等な参加者であり、ネットワークトラフィックを運ぶピアツーピア接続を使用して互いに接続します。ピアリングは、直接の有線または無線リンク、ローカルエリアネットワーク、さらにはインターネットなど、任意のIPネットワーク上で設定できます。場合によっては、マルチキャスト検出を使用して、同じネットワーク上の近くのデバイスによってピアリングが自動的に設定されることもあります。Yggdrasilネットワーク上のすべてのノードはルーターであり、可能な限りトラフィックを転送して宛先に近づけます。これは、疎結合ネットワークであっても、ネットワーク上のすべてのノードが他のすべてのノードに到達可能になることを意味します。ノードがNATの背後にある場合でも問題ありません。ピアリングが確立されると、トラフィックはそのピアリングを介して双方向に流れます。Yggdrasilは、ネットワークの変更にも耐えられるように設計されています。たとえば、リンクが失敗した場合、ネットワークは自己修復し、利用可能な他のリンクを使用してトラフィックをルーティングします。これは、ネットワークトポロジが変化する可能性があり、多くの場合変化するメッシュネットワークでの使用に適しています。ネットワーク上の各ノードには、場所と無関係な暗号化されたIDがあり、現在の実験的実装では、このキーから安定したIPv6アドレスが生成されます。これにより、IPv6をサポートするアプリケーションは、ほとんど変更せずにYggdrasil上で動作できます。アドレスは完全にモバイルであり、ノードがネットワーク内を移動しても保持されます。
続きを読む
US Routingは、米国における高速なローカルルートプランニングのためのPythonライブラリです。近似値で十分な状況に最適で、北米道路データセットを利用しています。都市、郵便番号、または座標間のルートを迅速に計算し、最短距離と最速時間のどちらかを選択できます。距離、時間、通過した州などの詳細なルート情報も取得できます。このライブラリには、北米道路データセットのダウンロードと処理機能も含まれており、カスタムルーティンググラフの作成も可能です。
続きを読む
500万ドルの投資で米国グリーンカードを取得できるという提案された「ゴールドカード」プログラムが議論を呼んでいる。この計画は、105万ドルの投資と雇用創出を必要とするEB-5投資ビザに取って代わる可能性がある。EB-5プログラムは不正資金を防ぐための厳格な審査がある一方、提案された「ゴールドカード」は審査プロセスが不明瞭であり、富裕層、特に外国のオリガルヒによる悪用への懸念が生じている。支持者は経済活性化を主張する一方、批判派は不平等拡大と悪用可能性を指摘する。プログラムの開始時期は依然として不確定である。
続きを読む
Netflixは、OpenAIのChatGPTを活用した新しいAI搭載検索機能を発表しました。ユーザーは自然言語で好みを記述でき、「楽しくて陽気なもの」のようなニュアンスのある検索や、非常に具体的なリクエストも可能です。今週、iOSユーザー向けにオプトインベータ版としてリリースされ、AmazonのFire TVや、現在は廃止されたTubiの機能と同様のアプローチを取っています。Netflixは、字幕の翻訳にも生成AIを使用する計画も発表しました。この新しい検索機能は、競争の激しいストリーミング市場において、AIによるパーソナライズされたレコメンドがユーザー体験をどれだけ向上させるかを示す重要なテストとなります。
続きを読む
Picostrap 5は、Bootstrap 5をベースとした超高速のWordPressスターターテーマです。SASSとWordPressカスタムツールをシームレスに統合し、WordPressダッシュボードから直接Bootstrapのスタイルを調整できます。ブラウザ搭載のSASSコンパイラにより、CSSが瞬時に更新されます。AI搭載のカラーパレットジェネレーター、ライブスタイルガイドプレビュー、広範なカスタマイズオプション、Gutenbergエディターの無効化やトップに戻るボタンの追加など、切り替え可能な機能を備えています。WooCommerce、LiveCanvas、WindPressにも対応し、パフォーマンスも最適化されています。
続きを読む
Michael Larabelは、2004年にPhoronix.comを設立した多作なライターであり、Linuxハードウェアサポート、パフォーマンス、グラフィックドライバなどに関する20,000以上の記事を執筆しています。彼の広範な執筆活動に加え、広く使用されているベンチマークソフトウェアであるPhoronix Test Suite、Phoromatic、OpenBenchmarking.orgのリード開発者でもあります。彼の貢献は、Linuxエコシステムとオープンソースベンチマークを大幅に進歩させました。
続きを読む
元々は詩人だった許埈淵は、数学の中にさらに深い美を見出した。目立たない学部時代の成績を克服し、アメリカでの博士課程において、グラフ理論における40年間解かれてこなかったリード予想を解いた。ロタ予想の証明とフィールズ賞受賞で頂点を極めた彼の画期的な研究は、代数幾何学と組み合わせ論を巧みに結びつけ、幾何学が物理的な空間を超えて存在できることを示した。彼の道のりは、天才の意外な道筋と、絶え間ない好奇心の力を示している。
続きを読む
合成オピオイドの流通共謀で起訴されたテキサスの企業eWorldTradeは、商標に関する支援、書籍執筆、アプリ開発、ロゴデザインを求める西側の人々をだますためにオンライン広告を利用したとされる、米国とパキスタンの企業の巨大ネットワークの中心に位置している。商標詐欺や偽の学位で知られる悪名高いAxactやAbtachなどの企業と関連しており、このネットワークは低価格で顧客を誘い込み、その後、恐喝を行う。Google広告の透明性に関するデータによると、広告費は1000万ドルを超えている。Googleは調査と対策を行っていると主張しているものの、このネットワークは存続しており、世界中に被害者を残している。
続きを読む
この記事では、GPU利用率の3つのレベル、GPU割り当て利用率、GPUカーネル利用率、モデルFLOP/s利用率について詳しく説明します。著者は、高コストとパフォーマンスへの感度を考慮して、GPU利用率の最大化の重要性を強調しています。この記事では、経済的な制約、DevOpsの制約、ホストオーバーヘッドなど、各レベルの利用率に影響を与える要因を分析し、Modalプラットフォームを使用したGPU割り当て効率の向上、カーネルコードの最適化、算術演算強度の向上などの最適化戦略を提案しています。最後に、この記事では、業界におけるGPU利用率の現状とベストプラクティスを共有し、開発者にとって貴重な経験とガイダンスを提供しています。
続きを読む
ペルーのアマゾン熱帯雨林にある、高さ400メートルのピラミッド状の山、セロ・エル・コノは、地質学的謎である。晴れた日にはアンデス山脈からも見えるこの山の起源は、死火山か、珍しい岩層か、議論が続いている。地元の先住民部族にとっては聖なる山、「アンデス・アプ」である。周辺地域は生物多様性のホットスポットだが、2015年に設立されたシエラ・デル・ディビソル国立公園があるにもかかわらず、違法伐採と採掘によって脅かされている。広大な公園も、これらの継続的な脅威に対抗するのに苦労している。
続きを読む
GovEagleは、政府請負業者向けのAI駆動型プラットフォームを最適化する経験豊富なKubernetesとPythonのエキスパートを募集しています。この役割には、Kubernetesワークロード、Celeryキュー、Redisキャッシング、クラウドネットワークの信頼性監査、優先順位の高い行動計画の作成と迅速な改善の実装(例:HPAチューニング、アラート、ロールアウト戦略)、Celeryが不十分な場合のTemporalの採用に関するガイダンスまたはプロトタイプの提供が含まれます。応募者は、高可用性生産システムの運用経験5年以上、KubernetesでのPythonサービスのスケーリングに関する深い経験、キューベースのアーキテクチャと可観測性に関する実績が必要です。FedRAMP / GovCloudの知識があれば尚可です。
続きを読む
この提案は、Goランタイムに新しいGOOSターゲット(例:GOOS=none)を追加することを提案しており、Goプログラムを、任意のOSシステムコールに依存するのではなく、アプリケーションで定義された終了関数の下で実行できるようにします。これにより、直接的なOSサポートなしでスタンドアロン実行が可能になり、これはTamaGoプロジェクトですでに実装されています。この提案は、アップストリームへの組み込みを提唱しています。GOOS=noneでビルドされたGoアプリケーションは、ベアメタル上で実行されます。必要なサポートはすべて、GoランタイムとGoで記述された外部ドライバパッケージから提供されます。CPU初期化、ハードウェア初期化、標準出力、乱数生成、システム時刻取得などの主要な関数を定義する必要があります。これにより、Goの適用範囲が、組み込みシステム、仮想マシン、UEFIなどの環境に大幅に広がります。
続きを読む
長年にわたりクラシックMacテーマを紹介するボットを運用してきた開発者が、Mac Themes Gardenをローンチしました。これは、クラシックMac時代の4000種類以上のKaleidoscopeテーマを紹介するウェブサイトです。作者は、各テーマについて丹念にドキュメントを作成し、スクリーンショットを撮り、作者情報を収集しました。Astroを使用して構築されたこのサイトは、約5000ページを誇り、CSSを使用してMac OS 9のルックアンドフィールを精密に再現しています。ダウンロード機能に加え、作者ページとRSSフィードによる更新情報も提供。今後の計画には、カラー検索、カスタムアイコンの表示、ユーザー投稿ギャラリーなどが含まれています。
続きを読む
Anthropicは、Claude APIにウェブ検索機能を統合しました。これにより、Claudeはウェブからリアルタイムの情報を取得して処理できるようになります。開発者は、リアルタイムの株価分析、法的調査、最新のAPIドキュメントへのアクセスなど、より強力なAIアプリケーションを構築できます。Claudeは、ウェブ検索が必要かどうかをインテリジェントに判断し、ソースの引用を含む包括的な回答を提供します。ドメインの許可リストとブロックリストを含む管理者設定により、セキュリティが強化されます。Claude 3.7 Sonnet、アップグレードされたClaude 3.5 Sonnet、Claude 3.5 Haikuで使用可能で、1000回の検索につき10ドル、標準トークンコストが追加されます。
続きを読む
この記事は、Prologで平均値を計算する方法をユーモラスに説明しており、単純な数学的定義から冗長な再帰的実装へと進みます。著者は、Prolog標準ライブラリの使用を禁止するという教育上の制約を批判し、冗長で可読性の低いコードにつながっている点を指摘しています。この記事では、簡潔な数学的アプローチと面倒な再帰的ソリューションを対比させ、教育においてコードの可読性と保守性を単なる再帰的演習よりも優先すべきだと主張しています。
続きを読む
アップルのエディー・キュー上級副社長は、人工知能の台頭により、iPhoneが10年後にはiPodと同じ運命をたどる可能性があると厳しく警告しました。彼は、確立されたテクノロジー企業が大きな技術変化に対応する難しさを強調し、非常に成功した製品でさえ犠牲にする可能性があることの例として、AppleがiPodの生産を中止した決定を挙げました。キューは、かつて支配的なテクノロジー企業だったHP、サン・マイクロシステムズ、インテルの衰退にも言及しました。AIのみのデバイスでスマートフォンを置き換えようとする現在の試みは失敗していますが、Appleなどの企業は、スマートウォッチ、将来のAirPods、スマートグラスなどの代替製品を開発し、ユーザーとAIの新しいインタラクションを探求しています。
続きを読む
画期的な臨床試験で、迷走神経刺激(VNS)と従来療法の併用により、治療抵抗性PTSDの患者全員で、治療後最大6ヶ月間、症状が完全に消失したことが明らかになりました。この試験では、埋め込み型デバイスによる短時間のVNS刺激と、延長された暴露療法を組み合わせることで、神経可塑性を高め、症状の寛解を維持しました。従来の方法では効果がなかった患者にとって希望の光となり、大規模な二重盲検第2相試験が進行中です。
続きを読む
この記事では、高性能ウェブサイトを構築するための2つのアプローチであるAstroとReact Server Components(RSC)を比較しています。Astroは、Astro Components(サーバーサイド)とClient Islands(クライアントサイド)を使用し、データは一方向に流れます。Astro Componentsは前処理を担当し、Client Islandsはインタラクションを担当します。RSCは、Server ComponentsとClient Componentsを使用しますが、概念的には似ており、どちらも`'use client'`ディレクティブで区別されるReactコンポーネントです。RSCは柔軟性が高く、サーバーとクライアント間でコンポーネントを共有できますが、学習曲線が急峻です。Astroは学習しやすいですが、HTML優先の出力とコンポーネント間のインタラクションの制約により、大規模なアプリケーションでは制限に遭遇する可能性があります。どちらのアプローチを選択するかは、プロジェクトのニーズとチームの専門知識によって異なります。
続きを読む
VMware買収後、BroadcomはVMware永久ライセンスの販売を終了し、サポート契約が期限切れになったユーザーに、使用停止通知を送信しています。この通知では、ゼロデイセキュリティパッチ以外の更新、パッチ、リリースの使用を停止するよう要求しています。サブスクリプションモデルへの移行を促すこの積極的な動きは多くのユーザーの怒りを買い、代替仮想化プラットフォームへの移行後も通知を受け取ったユーザーもいます。
続きを読む
ペンシルバニア州立大学 の研究者たちは、人間の髪の毛のように細い3Dプリント電極を開発し、従来のEEG方法よりもはるかに信頼性の高い脳活動モニタリングを実現しました。このゲルレスの「貼って使う」デバイスは、運動やシャワー中でも24時間安定して装着でき、モーションアーティファクトを最小限に抑え、信号品質を向上させます。その向上した快適性と信頼性は、コンシューマーヘルスアプリケーション、ブレインコンピューターインターフェース、そして支援技術の進歩への道を開きます。
続きを読む
セキュリティ研究者は、AIによって生成された偽の脆弱性報告がバグ報奨金プラットフォームHackerOneに殺到していることを発見しました。これらの報告は、完璧な文章とフォーマットで書かれていることが多く、実際のセキュリティ上の価値はありません。セキュリティ研究者の時間を無駄にし、本当の脆弱性を隠してしまう可能性があります。研究者たちは、HackerOneに対し、審査メカニズムを強化し、この行為を取り締まるよう求めており、保証金システムや既存のネットワークインフラを活用した審査などの解決策を提案しています。これは、オープンソースプロジェクトに大規模な影響を与える可能性のある懸念すべき傾向です。
続きを読む
Rybbitは、Google Analyticsに代わる、現代的でオープンソース、プライバシー重視のWeb分析ツールです。設定は数分で完了し、非常に直感的です。月間100万回以上のアクセスがある実稼働サイトでのライブデモをご覧ください。https://rybbit.ioでホスト型サービスにサインアップするか、独自のVPSでRybbitを自己ホストできます。ドキュメントを読んでRybbitの詳細をご覧ください。セッション、ユニークユーザー、ページビュー、バウンスレート、セッション時間など、主要なWeb分析指標を網羅しています。Cookieやユーザー追跡は使用せず、GDPRとCCPAに準拠しています。カスタマイズ可能な目標、リテンション、ユーザージャーニー、ファネルダッシュボード。15以上のディメンションにわたる高度なフィルタリング。カスタムイベント。ライブセッションダッシュボード。3レベルのロケーショントラッキング(国→地域→都市)+高度なマップビジュアライゼーション。リアルタイムダッシュボード。組織と無制限のサイト数をサポートします。
続きを読む
スコット・ハンセルマンに触発された著者は、「Stringly Typed」アプリケーションという概念を探求しています。これは、より良い型が存在するにもかかわらず、文字列をデータ転送に使用する方法です。これは、バックエンドAPIと対話するシングルページアプリケーション(SPA)では一般的であり、ほとんどのAPIがJSONを使用するため、型情報が失われ、型安全性が低下します。著者は、この方法に対する過去の寛容さを反省し、TypeScript、tRPC、GraphQLなどのソリューションを探索して、ネットワーク上の型安全性を達成し、「Stringly Typed」インターフェースを排除することを始めます。
続きを読む
tyはRustで書かれた非常に高速なPython型チェッカーと言語サーバーです。現在開発中で、本番環境での使用にはまだ準備ができていません。すべての開発は現在Ruffリポジトリで行われています。ruffサブモジュール(すべてのRustソースコードを含む)への変更については、そこでプルリクエストを送信してください。詳細は貢献ガイドを参照してください。MITライセンスの下でライセンス供与されています。
続きを読む