topickapp 11 months ago

Pixelogic - Daily Nonograms

Every 5x5 Nonogram

Every 5x5 Nonogram これは、Joel氏によるリアルタイム協力型Webゲームです。 すべての5x5のノノグラムパズルを解くことを目指します。 すべてのパズルは一意の解を持ち、推測は不要です。

topickapp 11 months ago

The National

Controversial 'lost' Jerry Lewis film discovered in Sweden after 53 years | The National

A Swedish actor, who stole a copy in 1980, plans to release The Day The Clown Cried, saying 'it must be seen'

Controversial 'lost' Jerry Lewis film discovered in Sweden after 53 years | The National ジェリー・ルイスの未公開映画が53年ぶりにスウェーデンで発見されました。 この映画はホロコーストを題材にしており、物議を醸しています。 スウェーデンの俳優が45年間秘密裏に保管していたとのことです。

topickapp 11 months ago

Revenge of the Chickenized Reverse-Centaurs – Pluralistic: Daily links from Cory Doctorow

Revenge of the Chickenized Reverse-Centaurs - Pluralistic: Daily links from Cory Doctorow この記事は、AIによる労働搾取と闘うためのテクノロジーについて解説しています。 特に、ギグワーカーが企業に搾取されないように、報酬を明らかにしたり、アルゴリズムを逆手に取ったりするツールを紹介しています。 労働者がアルゴリズムを理解し、制御することで、より公正な労働環境を実現できると主張しています。

topickapp 11 months ago

Ray Tracing in J

Ray Tracing in J J言語で書かれた最小限のレイトレーサーに関する記事です。 簡潔な構文と配列指向プログラミングのパラダイムの違いについて説明しています。 ベクトル演算やライティングの計算など、コード例を交えて解説しています。

topickapp 11 months ago

GitHub

GitHub - superradcompany/microsandbox: 🧱 secure, local and programmable sandboxes for AI agents

🧱 secure, local and programmable sandboxes for AI agents - superradcompany/microsandbox

GitHub - microsandbox/microsandbox microsandboxは、信頼できないコードを安全に実行するためのツールです。 AI生成コードやユーザー投稿コードなどを、ローカル環境を汚染せずに実行できます。 高速起動、セキュリティ、柔軟なインフラ、AI対応が特徴です。

topickapp 11 months ago

https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/ Systems Correctness Practices at Amazon Web Services - Communications of the ACM Amazon Web Services (AWS)におけるシステム正確性プラクティスについて解説されています。 形式手法の導入により、開発初期段階での微妙なバグの特定と排除、パフォーマンス最適化が可能になった事例を紹介しています。 軽量形式手法、Fault Injection Service、メタ安定性、形式証明など、AWSで利用されている多様な手法を概説しています。

topickapp 11 months ago

GitHub

GitHub - cheyao/icepi-zero: An ECP5 FPGA Dev Board in a Pi Zero form

An ECP5 FPGA Dev Board in a Pi Zero form. Contribute to cheyao/icepi-zero development by creating an account on GitHub.

GitHub - cheyao/icepi-zero Icepi Zeroは、Raspberry Pi Zeroのフォームファクターを持つFPGA開発ボードです。 Lattice ECP5 25Fを搭載し、小型ながらも強力な設計が可能です。 HDM-ポートを備えており、デジタルビデオの出力も容易です。

topickapp 11 months ago

https://dariobalinzo.medium.com/virtual-threads-ate-my-memory-a-web-crawlers-tale-of-speed-vs-memory-a92fc75085f6 Virtual Threads Ate My Memory: A Web Crawler’s Tale of Speed vs. Memory | by Dario Balinzo | May, 2025 | Medium JavaのVirtual Threadsを使ったWebクローラー開発に関する記事です。 プラットフォームスレッドからVirtual Threadsに切り替えたところ、URL処理速度が劇的に向上しました。 しかし、メモリ管理を怠るとOutOfMemoryErrorが発生する可能性があることを実験を通して解説しています。

topickapp 11 months ago

https://www.cnn.com/2025/05/30/business/anthropic-amodei-ai-jobs-nightcap The ‘white-collar bloodbath’ is all part of the AI hype machine | CNN Business AI企業 AnthropicのCEOであるDario Amodei氏が、AI技術の進歩により、今後数年で入門レベルの事務職の半分がなくなると発言した。 彼は、AIがほぼすべての知的作業において人間を上回ると主張しているが、具体的な根拠は示していない。 この記事では、Amodei氏の発言は、自社製品を宣伝するための誇張されたものではないかと指摘している。

topickapp 11 months ago

https://anemato.de/blog/kctf-vdf Beating the kCTF PoW with AVX512IFMA for $51k | undefined kernelCTFのPoWをAVX512IFMAで高速化し、$51kを獲得した経緯を紹介しています。 最適化の過程で、数々のボトルネックを解消し、最終的に0.21秒まで短縮しました。 inline assemblyやvalignq命令を活用し、Zen 5で最速のPoWソルバーを開発した詳細が解説されています。

topickapp 11 months ago

GitHub

GitHub - wzhudev/reverse-linear-sync-engine: A reverse engineering of Linear's sync engine. Endorsed by Linear CTO.

A reverse engineering of Linear's sync engine. Endorsed by Linear CTO. - wzhudev/reverse-linear-sync-engine

GitHub - wzhudev/reverse-linear-sync-engine Linearの同期エンジンをリバースエンジニアリングした詳細な研究についての記事です。 Linear Sync Engine（LSE）のフロントエンドコードをリバースエンジニアリングして、その仕組みを理解することを目的としています。 モデルの定義方法、データの読み込み方法、クライアントとサーバーの同期方法、アンドゥ・リドゥの処理方法などを解説しています。

topickapp 11 months ago

TechCrunch

Anthropic launches a voice mode for Claude | TechCrunch

Anthropic has begun to roll out a "voice mode" for its Claude chatbot apps.

Anthropic launches a voice mode for Claude | TechCrunch AnthropicがClaudeチャットボットアプリに音声モードを導入しました。 この音声モード（現在はベータ版）により、ClaudeモバイルアプリのユーザーはClaudeと完全に音声で会話できます。 ユーザーはドキュメントや画像についてチャットしたり、5つの異なる音声オプションから選択できます。

topickapp 11 months ago

Momento

Valkey Turns One: How the Community Fork Left Redis in the Dust - Momento

Valkey is not only thriving, but now outperforming Redis 8.0 in real world benchmarks.

Valkey Turns One: How the Community Fork Left Redis in the Dust - Momento RedisのコミュニティフォークであるValkeyが1周年を迎えました。 Redis Incがオープンソースのあり方を揺るがす動きを見せた後、コミュニティはValkeyを立ち上げました。 ValkeyはRedis 8.0と比較して高いスループットと低いレイテンシを実現し、コミュニティの結束を証明しました。

topickapp 11 months ago

Stanford CRFM

Stanford CRFM Stanford CRFMが、CUTLASSやTritonなどのライブラリやDSLを使用せずに、純粋なCUDA-Cで高速なAI生成カーネルを開発しました。 このカーネルは、PyTorchで提供される標準的な専門家が最適化した本番カーネルに匹敵する、またはそれを上回る性能を発揮します。 matmul（FP32）、Conv2D、Softmax、LayerNormなどで大幅な性能向上が確認されています。

topickapp 11 months ago

Zenn

Socket.IO の紹介と導入【Next.js】

Socket.IO の紹介と導入【Next.js】 この記事では、Next.jsでSocket.IOを導入する方法を解説しています。 Socket.IOはリアルタイム双方向通信を容易にするライブラリで、チャットアプリなどに最適です。 導入手順から注意点、Vercelへのデプロイ不可など、実践的な情報が満載です。

topickapp 11 months ago

Zenn

イオンシネマでイベント「シネマ de LT会」をDELTAさんとヘンリーさんと開催しました！

イオンシネマでイベント「シネマ de LT会」をDELTAさんとヘンリーさんと開催しました！ イオンシネマでDELTAとヘンリーと「シネマ de LT会」を開催したイベントレポート。 映画館でのLTイベントは、非日常空間での技術交流として新鮮で刺激的だった。 イベント開催のきっかけから準備、当日の様子、そして参加者の高い満足度がまとめられている。

topickapp 11 months ago

Zenn

端末に依存しない「ほぼ」正確な時刻を取得する

端末に依存しない「ほぼ」正確な時刻を取得する 対魔忍アプリで端末時間を弄る問題への対策として、HTTPS接続のDateヘッダーから時刻を取得する方法を提案します。 Unityでの実装問題に対し、SslStreamを用いたリクエストとカスタム日付オブジェクトNetworkClockの利用を解説します。 NTPとの組み合わせや証明書ピンニングの話題にも触れ、クライアント認証の重要性を強調しています。

topickapp 11 months ago

Zenn

Rustでサーバーいらずのオンラインゲームを作ろう

Rustでサーバーいらずのオンラインゲームを作ろう RustとBevyで作られたサーバー不要のオンライン対戦ブロック崩しの紹介記事です。 P2P通信を使用し、シグナリングサーバーなしでGitHub Pagesにデプロイ可能です。 GGRS, Matchbox, Irohなどの技術スタックと実装のヒントが解説されています。

topickapp 11 months ago

Zenn

NotebookLMの最新動向と活用事例

NotebookLMの最新動向と活用事例 この記事では、NotebookLMの最新動向と活用事例を紹介しています。 Google I/OでのアップデートやDeNAでの商談準備、ログラス社での経営戦略共有など、様々な事例が紹介されています。 モバイルアプリのリリースやAudio Overviewsのアップデートなど、今後の機能拡張にも期待が寄せられています。

topickapp 11 months ago

Zenn

Ory Hydra を利用した OIDC / OAuth2.0 準拠の認可サーバーの提供

Ory Hydra を利用した OIDC / OAuth2.0 準拠の認可サーバーの提供 この記事では、Ory Hydraを利用したOAuth2.0認可サーバーの構築について解説されています。 Ory Hydraは、認証と認可を外部アプリケーションに委譲することで、既存のID管理システムとの連携を容易にします。 バクラク事業部での導入事例も紹介されており、外部APIの認可やPCログ収集に活用されています。