topickapp 10 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 10 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 10 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 10 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 10 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 10 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 10 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 10 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 10 months ago

Stanford CRFM

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

topickapp 10 months ago

Zenn

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

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

topickapp 10 months ago

Zenn

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

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

topickapp 10 months ago

Zenn

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

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

topickapp 10 months ago

Zenn

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

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

topickapp 10 months ago

Zenn

NotebookLMの最新動向と活用事例

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

topickapp 10 months ago

Zenn

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

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

topickapp 10 months ago

Zenn

Claude Codeの/ (スラッシュ)コマンドを全部試したので解説する

Claude Codeの/ (スラッシュ)コマンドを全部試したので解説する この記事では、Claude Codeの全てのスラッシュコマンドを試し、その機能と使い方を解説しています。 各コマンドの詳細な説明、使用例、および設定方法を提供し、初心者にもわかりやすくまとめています。 カスタムコマンドについても触れており、Claude Codeの可能性を広げる情報が満載です。

topickapp 10 months ago

Zenn

TypeScript でエフェクトシステムを再現したい

TypeScript でエフェクトシステムを再現したい TypeScriptでエフェクトシステムを再現する試みを紹介しています。 Async Generatorと代数的データ型を使って、副作用の型を宣言する方法を解説しています。 最終的には@mizchi/domain-typesライブラリを使用した実装例を示し、エフェクトのトレースや型安全性の確保について説明しています。

topickapp 10 months ago

INTERNET Watch

YouTubeのコメントをスクレイピングしてユーザーの居住地を予測するツールが登場し物議【やじうまWatch】

YouTubeに投稿されたコメントをスクレイピングし、ユーザーの居住地を予測するツールが登場して物議を醸し�...

YouTubeのコメントをスクレイピングしてユーザーの居住地を予測するツールが登場し物議【やじうまWatch】 - INTERNET Watch YouTubeのコメントをスクレイピングしてユーザーの居住地を予測するツールが登場し、物議を醸しています。 このツールは、ユーザーの過去コメントをスクレイピングし、居住地や政治信条を含むプロフィールを数秒で作成します。 YouTubeのプライバシーポリシー違反の可能性や、YouTube側の対策の甘さも指摘されています。

topickapp 10 months ago

��IT

���a���������T���E�F�A7����̋��P�ƂƂ��ɖ������A�΍���������A�œK���A�d�_������錍�A�A�_�}�[���ςƂ�

2025�N3��10���AITmedia Security Week 2025 �~�ŁA���{�T�C�o�[�f�B�t�F���X �V�j�A�G�O�[�N�e�B�u�A�h�o�C�U�[�i2025�N5�����u�ō��Z�p�ӔC�ҁv�j ���a��...

名和氏がランサムウェア7事例の教訓とともに明かす、対策を自動化、最適化、重点化する秘訣、アダマール積とは：ITmedia Security Week 2025 冬 - ＠IT ランサムウェア対策の自動化、最適化、重点化の秘訣を、7つの事例を通して解説しています。 アダマール積による多角的な解析アプローチの必要性を提唱しています。 セキュリティ対策における各要素のバランスの重要性を強調しています。

topickapp 10 months ago

Zenn

[Tips] PyTorchにおける動的リンク

[Tips] PyTorchにおける動的リンク この記事では、PyTorchをソースからビルドして利用する際にCUDA Toolkitを動的にリンクする必要がある背景を解説しています。 pip installでインストールした場合との違いや、実行時のライブラリ参照について説明しています。 PyTorchの裏側にある動的リンクの仕組みを知ることで、より深くPyTorchを理解することができます。