この記事では、継続渡しスタイル（CPS）と関数型プログラミング言語のコンパイルにおけるその応用について詳しく解説します。著者は、単純なSchemeに似た言語を用いて、CPS変換器を段階的に構築し、最適化戦略とコード生成方法を説明しています。この記事では、整数、変数、関数呼び出し、算術演算子、ラムダ式、if文をCPS形式に変換する方法を詳細に説明し、メタ継続や定数畳み込み、ベータ簡約などの最適化技術についても論じています。最後に、CPSコードから実行可能なコードを生成するためのいくつかの方法の概要を示し、Cコードの生成、トランポリンの使用、単一の大規模switch文の使用などを含みます。
続きを読む
新しいウェブサイト「初期キリスト教文献」では、325年のニカイア公会議以前に書かれたキリスト教のテキストを網羅的に収録しています。新約聖書、外典、グノーシス主義の文書、教会父たちの著作、関連する非キリスト教の資料などが含まれ、全て翻訳と解説付きです。初期キリスト教の歴史と発展を理解する上で貴重な資料となります。
続きを読む
スリリングなコンテストが進行中：AI取引ボットの戦い！世界中からトップレベルのAIチームが、仮想取引アリーナに独自のアルゴリズムを持ち込みました。これらのボットは自律的に動作し、高頻度取引や数量分析などの高度な戦略に基づいて取引を行います。勝者は、アルゴリズムの効率性と適応性によって決まり、金融におけるAIの可能性と課題の両方を示しています。このコンテストは単なる技術的な戦いではなく、インテリジェントな金融の未来の一端を垣間見ることができます。
続きを読む
プログラマーチームが1年半かけて、コンウェイのライフゲーム内でテトリスをシミュレートすることに成功しました。ライフゲームで直接テトリスをコーディングする代わりに、彼らは階層的な抽象化アプローチを使用し、メタピクセルとVarLifeを使用して構築されたコンピューター、QFTASMアセンブリ言語でプログラムされたコンピューターを作り上げました。このコンピューターは、多数の命令とアドレス指定モードを備えた、16ビット非同期RISCハーバードアーキテクチャを誇ります。最終的なテトリスプログラムは、大規模なライフゲームパターン内で実行され、印象的な計算能力の偉業を示しています。
続きを読む
Notionは、ノート、タスク管理、Wiki、データベースを単一のプラットフォームに統合したオールインワンワークスペースです。柔軟で強力なツールを提供し、情報の整理、プロジェクト管理、チームとのコラボレーション、カスタムワークフローの構築を支援します。個人利用でもチームコラボレーションでも、Notionはニーズに適応し、生産性を向上させます。
続きを読む
Chronotrainsは、ヨーロッパの鉄道旅行計画のためのインタラクティブマップを公開しました。このマップは、ヨーロッパのどの駅からでも8時間以内に到達できる範囲を表示します。ユーザーはマウスオーバーで等時間線を確認したり、駅を検索したり、サンプル都市をクリックしたりできます。ドイツ鉄道のデータに基づいており、複数都市への旅行計画を容易にし、主要な鉄道チケット販売サイトへの直接リンクも提供することで、便利で快適、そして環境に優しいヨーロッパ鉄道旅行を実現します。
続きを読む
アイスランドの新政府が、EU加盟を目指す動きを再開しました。2022年のロシアによるウクライナ侵攻を背景に国民世論が変化し、EU加盟を支持する声が強まっています。新外務大臣は、EU加盟交渉の継続に関する国民投票を2027年までに実施すると発表しました。これは複雑な歴史に基づいています。アイスランドは2008年の金融危機後にEU加盟を申請しましたが、その後保守派政権が交渉を中断、中止を試みました。最近の世論調査ではEU加盟支持が大きく上昇しており、アイスランドがEUに加盟する可能性が高まっています。これはEFTA、ノルウェー、英国のEU政策にも影響を与えるでしょう。
続きを読む
サイバーセキュリティ企業は、北朝鮮の脅威行為者が「Contagious Interview」キャンペーンで使用している新しいマルウェア「OtterCookie」を発見しました。このキャンペーンは、BeaverTailなどの既存のマルウェアに加え、OtterCookieを含むマルウェアを仕込んだ偽の求人広告でソフトウェア開発者を誘い込みます。OtterCookieはNode.jsプロジェクトやnpmパッケージを通じて配布され、Socket.IOを使用してコマンドアンドコントロールサーバーと通信します。暗号通貨ウォレットキー、ドキュメント、画像などの機密データを窃取し、感染したシステム上で偵察活動を行います。専門家は、開発者に対し、求人広告を慎重に確認し、信頼できないコードを実行しないよう警告しています。
続きを読む
人材管理とビジネスサポートソリューションのリーダーであるEmployer.comは、中小企業向け簿記サービスを提供するBench Accountingの買収を発表しました。この買収により、Benchのお客様はこれまでと同じ高品質のサービスを受け続け、Employer.comのリソースを活用した将来的な機能強化と機能拡張にアクセスできるようになります。Employer.comは、中小企業が繁栄するために必要なツールとサポートを提供することに尽力しており、Benchの財務管理における専門知識はこのミッションに完全に合致しています。この買収は両社にとってウィンウィンであり、Employer.comはBenchのテクノロジーと専門知識を自社プラットフォームに統合し、成長する企業向けにカスタマイズされたサービスを提供します。一方、Benchのお客様は、信頼できる社内簿記係と連携し続け、Benchプラットフォームへの完全なアクセスを維持します。
続きを読む
シャーロックプロジェクトは、ユーザー名だけで400以上のネットワークにまたがるソーシャルメディアアカウントを検索できる強力なツールです。インストールと使用方法が簡単で、幅広いサイトをサポートしています。コミュニティからの貢献を歓迎しており、新しいサイトを追加したり、機能を改善したりすることができます。
続きを読む
アゼルバイジャン航空のエンブラエル190型機が、カザフスタンのアクタウ近郊で墜落し、乗客乗員67名中38名が死亡した。初期の調査報告によると、グログニーへの着陸アプローチ中に、防空ミサイルが誤って命中した可能性がある。生存者は爆発音を聞き、機体に破片が当たったと証言している。この事故は、地対空ミサイルが原因と疑われている2014年のMH17便墜落事故と類似している。アゼルバイジャンの大統領は天候悪化による航路変更を原因としたが、ミサイル事故の可能性も捜査中である。
続きを読む
この記事では、サーバー送信イベント（SSE）について探求します。これは、WebSocketよりもシンプルで効率的な、一方向のリアルタイム通信ソリューションです。SSEは標準的なHTTPプロトコルを利用するため、実装とデプロイが容易で、既存のインフラストラクチャと互換性があり、リソース効率に優れ、自動再接続機能を備えています。この記事では、SSEの動作、利点、適用シナリオ（リアルタイムニュース、株価情報、プログレスバーなど）を詳細に説明し、FlaskとJavaScriptを使用したコード例を示します。さらに、ChatGPTなどの大規模言語モデルがストリーミング応答にSSEを使用する方法を分析し、一方向通信やデータ形式の制限など、SSEの限界についても指摘します。要約すると、SSEは、一方向のリアルタイムデータストリームを必要とする多くのアプリケーションに、エレガントなソリューションを提供します。
続きを読む
ComfyDeployチームは、ダッシュボードをNext.jsからピュアReactに移行し、ビルド時間を3分から18秒に短縮、ホットリロード時間を200ミリ秒未満に削減しました。これは、プロジェクトの成長に伴い、Next.jsのビルド時間の遅延、APIテストの困難、Vercelの高額なAPI費用などの問題が原因でした。TanStack RouterとRspackを使用したReactへの移行により、開発効率が大幅に向上し、API設計とコード構造の最適化を余儀なくされました。Next.jsの一部の機能を失いましたが、より高速なビルド、より快適な開発体験、最適化されたアーキテクチャが得られたため、妥協点は価値があると判断しました。
続きを読む
40年にわたるエンタープライズアプリケーション開発の経験を持つベテランソフトウェア開発者、トニー・マーストン氏が、ドメイン駆動設計（DDD）を使わない理由を説明しています。マーストン氏は、DDDがオブジェクト指向設計理論を過度に重視し、大規模システムにおけるデータベース設計とコードの再利用性を犠牲にしていると主張しています。彼は、各データベーステーブルに別々のクラスを作成し、継承とテンプレートメソッドパターンを活用してコードの再利用を行う階層型アーキテクチャを好みます。マーストン氏は、このアプローチが現実世界のプロジェクトに最適であり、開発効率を向上させると考えています。
続きを読む
著者は、娘がコンピューターを学ぶ経験を語り、自身の子供時代の経験と比較しています。昔は、Apple IIeのようなシンプルな8ビットマイクロコンピューターのおかげで、子供たちはBASICプログラミングを独学し、ハードウェアの原理を学ぶことができました。しかし現代では、高性能コンピューターは豊富なリソースを提供する一方で、その複雑さから子供たちが独学することが難しくなっています。著者は、インターネット環境が子供の自主的な探求を制限し、プログラミングスキルを持たない親が子供の学習を指導できないことを懸念し、デジタル時代における子供の学習の公平性に注目するよう訴えています。
続きを読む
eguiは、Rustで書かれた軽量で効率的なイミディエイトモードGUI（グラフィカルユーザーインターフェース）ライブラリです。クリーンでシンプルなAPIにより、開発者はインタラクティブなインターフェースを迅速に構築できます。従来のリテインモードGUIとは異なり、eguiは毎フレームでUI全体を再描画するため、より柔軟なレイアウトとより簡単な状態管理を実現します。これは、ゲーム開発、データ可視化、高い応答速度が求められるアプリケーションに最適です。使いやすさと強力な機能により、Rust開発者がGUIを構築するための優れた選択肢となります。
続きを読む
無限に続くチャット履歴の中で、重要なChatGPTの会話を失くしてしまうことにうんざりしていませんか？ChatGPT Saved Chats Chrome拡張機能が、その問題を解決します！この使いやすい拡張機能を使えば、最も重要なチャットをワンクリックで保存して整理できます。任意の会話にカーソルを合わせ、保存アイコンをクリックするだけで、後で簡単にアクセスできるように保存できます。保存されたチャットはローカルに保存されるため、プライバシーが保護されます。もう無限スクロールとはお別れです。重要な会話を簡単に取り出せるようになります。
続きを読む
この記事は、筆者が国際腹話術コンベンションに参加した経験について記したものです。世界中から腹話術師とその人形が集まり、活気に満ちた独特の雰囲気を作り出していました。筆者は、多様な参加者、魅力的なパフォーマンス、腹話術の奥深い技術などを生き生きと描写し、この古代の芸術の独特の魅力と伝統を明らかにしています。さらに、腹話術の未来や、それが反映する人間の性質、パフォーマンスアートの深い意味合いについても探求し、エンターテイメントと洞察に富んだ考察の魅惑的な融合を提供しています。
続きを読む
スーペリア湖州立大学（LSSU）は、1976年から続く恒例行事として、2025年の禁止単語リストを発表しました。今年のリストには、「cringe」、「game changer」、「era」、「dropped」、「IYKYK」、「sorry not sorry」、「Skibidi」、「100％」、「utilize」、「period」など、使いすぎ、誤用、あるいは単に不必要なと判断された単語やフレーズが含まれています。このユーモラスなリストは、言葉遣いを意識することの大切さを促し、常に変化するコミュニケーションの性質を反映しています。
続きを読む
この記事では、2024年のアドベントオブコードチャレンジにおいて、いくつかの主要な大規模言語モデル（LLM）をテストした実験について詳述しています。驚くべきことに、LLMのパフォーマンスは予想を下回り、著者自身よりも劣っていました。シンプルなフレームワークを使用し、モデルに完全な問題の説明を提供し、実行可能なPythonコードを要求しました。その結果、タイムアウトと例外が頻繁に発生し、LLMは既知の問題を解決する際には優れていますが、新しい問題には苦労することが示唆されました。この制限は、プログラムテンプレートへの依存、計算リソースの不足、または最適ではないプロンプトに起因する可能性があります。この実験は、アドベントオブコードがコーディングエージェントを評価するための潜在的なベンチマークになり得ることを強調しています。
続きを読む
伝統的なメキシコ風クリスマスパンチであるポンチェ・ナヴィデーニョの製造は、かつて主要な材料であるテホコテスの輸入制限によって妨げられていました。独特の香りと高いペクチン含有量を持つこの小さな黄金色の果実は、パンチに独特の風味と濃厚さを与え、メキシコではクリスマスのシンボルとみなされています。長い間、アメリカ合衆国の税関は、果実バエへの懸念から輸入を禁止しており、この希少な果物は闇市場で取引されていました。しかし、2015年にUSDAはついに輸入禁止を解除し、このお祝いの飲み物をアメリカ合衆国で簡単に作れるようになりました。現在、テホコテスはアメリカ合衆国で容易に入手できるため、人々はアフリカ、アジア、アメリカ大陸の風味を融合させたこのユニークなクリスマスドリンクを楽しむことができます。
続きを読む
この講演は、現代の医療システムによる自己管理された健康の犯罪化に異議を唱えています。歴史的には、個人の健康の自律性は当たり前でしたが、今日では、国家によって認可された機関による仲介が必要です。講演者は、自分で薬を調合する可能性と、法的リスクを回避する方法について詳しく説明します。プレゼンテーションでは、自己治療を推奨し、多くの非商業化されているが自分で製造できる医薬品に関する情報を提供することで、従来の医療システムの独占に挑戦しています。
続きを読む
この記事では、次のDjangoプロジェクトで使用するべき10個の必須ツールについて解説します。依存関係管理、パフォーマンスプロファイリングなど、開発効率、セキュリティ、パフォーマンスを向上させるためのツールを取り上げます。Poetryによる依存関係管理からSilkによるパフォーマンスプロファイリングまで、Django Extensions、Django REST Framework、djangorestframework-camel-case、Django Storages、django-simple-history、django-otp、Celery、Gunicorn with Uvicorn Workersといった各ツールについて、Pipenv、FastAPI、django-reversionなどの代替案との比較を含めて説明します。これらのツールは、より高速で安全で効率的なDjangoアプリケーションの構築に役立ちます。
続きを読む
この記事は、専門の歴史家の研究成果と、大衆の歴史認識の間にある広がりつつある溝を探っています。 ダリル・クーパーによる第二次世界大戦の物議を醸す解釈を例に、著者は、大衆の歴史理解がしばしば単純化され、一方的なものにとどまり、長年の詳細な学術研究を無視している点を指摘しています。 この記事では、ランシマンとライリー＝スミスという2人の歴史家が十字軍について行った異なる記述を比較し、ランシマンのより文学的なスタイルの方が大衆に受け入れられた一方、ライリー＝スミスの厳格な研究はほとんど知られていないことを強調しています。 著者は、現代の学術出版の限界、大衆の文化レベルの低下、そして注意力の低下などが、質の高い歴史著作が大衆に受け入れられることを難しくし、ひいては歴史研究の衰退につながる可能性があると主張しています。
続きを読む
新しいターミナルエミュレータGhosttyが最近バージョン1.0をリリースしました。セキュリティ研究者のDavid Leadbeaterは、2003年のCVEに似た脆弱性（CVE-2024-56803）を発見し、攻撃者がターミナルのタイトルクエリ機能を利用して任意のコードを実行することを可能にしています。この脆弱性は、ターミナルのインバンドシグナリングと、viモードでのZshの動作を利用しています。攻撃者は、巧妙に作成されたエスケープシーケンスを使用して、ユーザーの知らずに悪意のあるコマンドを実行し、SSH経由でリモート攻撃を行うことさえできます。Ghostty 1.0.1はこの問題を修正しており、ユーザーはアップグレードするか、アドバイザリで提供されている軽減策を適用することを推奨されています。
続きを読む
東京都は、"3Dモデルでみる東京"デジタルツインプラットフォームのベータ版を公開しました。TerriaJSフレームワークを使用し、リアルタイムの交通情報、河川水位、避難所情報などの様々なデータを統合し、東京の都市全体を3Dモデルで表示します。このプラットフォームは、都市の状況を直感的に理解し、都市計画や管理を支援します。CityJSONの普及を促進するため、データ変換ツールも提供しており、一部のソースコードも公開されています。
続きを読む
この記事では、大規模言語モデル（LLM）が聖書の聖句を正確に再現できるかどうかを調査しています。著者は、さまざまな規模のLLMが正確に聖句を再現できる能力を評価するために、6つのテストを考案しました。その結果、パラメーター数が大きいモデル（Llama 405B、GPT 4o、Claude Sonnetなど）は、聖句や章全体を正確に再現する上で最高の成績を収めました。一方、パラメーター数が少ないモデル（70億パラメーターの範囲）は、翻訳を混ぜたり、幻覚的なテキストを生成したりすることがよくありました。中規模のモデル（700億パラメーターの範囲）は、一般的に意味は保たれていましたが、多くの場合、翻訳を混ぜたり、わずかに言い換えたりしていました。著者は、聖句を正確に引用するには、パラメーター数の多いモデルを使用し、実際の聖書で確認することが望ましいと結論付けています。
続きを読む
Obsess Jobsは、就寝中でも仕事の検索と応募ができる求人サイトです。ソフトウェアエンジニア、プロダクトマネージャー、データサイエンティストなど、様々な職種があり、給与は0ドルから30万ドル以上です。リモート、オンサイト、ハイブリッドといった勤務形態も選べます。経験、職種、掲載日などで絞り込み検索が可能です。
続きを読む
この記事は、TSMCの創業者である張忠謀の並外れた人生を描いています。アメリカの大学での学びから、テキサス・インスツルメンツやゼネラル・インスツルメンツでのキャリアを経て、張忠謀は半導体製造に関する豊富な経験と独自のビジネスセンスを培いました。台湾工業技術研究院での在職中にTSMCを設立し、ファブレスチップ製造モデルの先駆者となり、台湾を世界の半導体産業の中心地へと変貌させました。TSMCの成功は一朝一夕のものではなく、張忠謀が数々のキャリアにおける挫折やビジネスリスクを乗り越え、学び、適応してきた結果です。彼の鋭い市場洞察力と断固たる意思決定力が、最終的に世界をリードする半導体企業を生み出しました。
続きを読む
Ged Maheuxは、ベビーカンガルーの名前をSiriに尋ねた時の面白い話をMastodonで共有しました。一見シンプルなこの質問が、ユーザー間で活発な議論を引き起こし、Siriの正確性に対する懸念とプラットフォームの活発なコミュニティを浮き彫りにしました。
続きを読む