プロフィール
Salvatore Sanfilippo(サルヴァトーレ・サンフィリッポ / ハンドルネーム:antirez)は、イタリア出身の伝説的プログラマー、オープンソース作者、作家であり、シチリア島エトナ山麓に拠点を置いています。
現代のインターネットインフラを支える世界的人気インメモリデータストア Redis の作者・創設者です。2009年から10年以上にわたり Redis の設計と実装をリードしました。また、ネットワークセキュリティにおける古典的スキャン技術 Idle Scan やツール「hping」の発明者でもあります。
2020年に一度 Redis プロジェクトを離れて SF 小説『Wohpe』を執筆・出版した後、2024年末に Redis に復帰。ベクトル検索(Vector Sets / HNSW)やローカル LLM 推論基盤 DwarfStar の探求を進めています。ブログ antirez.com では、AI 支援プログラミング、ソフトウェアの複雑性、オープンソースのあり方について詩的で示唆に富む思索を綴っています。
Salvatore Sanfilippoのリンク・SNS
- ウェブサイト: https://antirez.com
- Twitter: @antirez
- GitHub: antirez
- YouTube: https://www.youtube.com/@antirez
記事
- AIの本当のリスクはラボの中にある
- リーナス・トーバルズであること
- 変わるのは開発だけではない、ソフトウェアの配布のあり方も変わるかもしれない
- コードではなく、アイデアをコントロールせよ
- ソフトウェアテストの新時代
- DwarfStarにおけるLLM推論の分散化
- LLMエージェントのEDITツールの代替案
- DS4について一言
- RedisのArray型:長い開発の短い物語
- AIのサイバーセキュリティはプルーフ・オブ・ワークではない
- GNUとAIによる再実装
- コーディングのためのRedisパターン
- Claude CodeでクリーンルームのZ80 / ZX Spectrumエミュレータを実装する
- 自動プログラミング
- 反AIのハイプに踊らされるな
- 2025年末のAIを振り返って
- HNSWのスケーリング
- AIはこれまでとは違う
- 2025年夏のLLMコーディング(アップデート)
- 人間のコーダーは今でもLLMより優れている
- ライセンス切り替えで学んだこと
- Redisが再びオープンソースに
- Hacker Newsの文体フィンガープリントを再現する
- Vector SetsがRedisの一部になった
- AIは役に立たない、だが未来への最良の賭けだ
- 巨大LLMの重みは歴史の断片である
- 推論モデルは所詮LLMに過ぎない
- 私たちはソフトウェアを破壊している
- 去った場所から
- DACなしでPi Picoでオーディオファイルを再生する
- First Token CutoffによるLLMサンプリング
- GPT-4でブログ記事を翻訳する、あるいは希望と恐れについて
- 2024年初頭のLLMとプログラミング
- Idle Scanの起源
- 連結リストを擁護する
- Wohpeを書くということ
- Wohpeを書く
- プログラミングと執筆
- オープンソースのパラドックス
- Redisの冒険の終わり
- Redis 6.0.0 GAがリリースされました!
- Redis 6 RC1、本日リリース
- Redis 6におけるクライアントサイドキャッシング
- あるオープンソースメンテナの苦悩
- 純粋なデータ構造としてのRedis Streams
- Gopher:Redisへのプレゼント
- 2019年におけるRedis開発についてのアップデート
- なぜRedis 6でサポートされるプロトコルはRESP3だけになるのか
- システムソフトウェアを書く:コードコメント
- LOLWUT:データベースコマンドの中のアート作品
- Redisのmaster-slaveという用語について
- Redisは「オープン・コア」ではない
- Redisは今後もBSDライセンスのまま
- RedisのLuaスクリプティング:複数のセキュリティ脆弱性を修正
- IncapsulaのRedisセキュリティレポートに関する補足
- read overflowの小話
- Redis Streams開発の近況アップデート
- Redis PSYNC2バグのポストモーテム
- Streams:Redisの新しい汎用データ構造
- FeistelネットワークでFizzleFadeエフェクトを実装する
- 伝説の10xプログラマー
- Raspberry Piで動くRedis:アンアラインドな世界での冒険
- Redis 4.0初のリリース候補が公開
- RedisのLRUアルゴリズム改善についての覚え書き
- 1000行未満でエディタを書いてみた、ただ楽しみのために
- プログラマも特別ではない、シンプルなUIが必要だ
- Redis ローダブルモジュールシステム
- テキストメッセージについての3つのアイデア
- Redis 3.2.0がリリースされました!
- あと100個のBITFIELD
- 分散プログラミングの二分探索
- Redlockは安全か?
- Disque 1.0 RC1が登場!
- ユニークIDの生成:シンプルで信頼性の高い方法
- 6年分のコミットを可視化してみた
- Redis Luaスクリプティングの最近の改善
- Redisのセキュリティについて二、三のこと
- RedisコミュニティをRedditへ移行する
- RedisとMemcachedについての補足
- 怠惰なRedisこそ良いRedis
- RedisのSetのメモリ効率について
- ありがとうPivotal、こんにちはRedis Labs
- コミットメッセージはタイトルではない
- Redis 3.2の計画
- メッセージキューをめぐる冒険
- Redisカンファレンス 2015
- サイドプロジェクト
- なぜRedisと他のDBを比較するベンチマークを公開していないのか
- RedisのレイテンシスパイクとLinuxカーネル:もう少し詳しく
- Redisのレイテンシースパイクと99パーセンタイル
- これがTwitterで会話ができない理由だ
- ディスクレスレプリケーション:設計に関する覚え書き
- Redis Sentinelの特性と障害シナリオをめぐる二、三の論点
- Redis Cluster、もはやベイパーウェアではない
- キューとデータベース
- Redisを使ったより信頼性の高いロックの提案
- Heartbleedを出発点として
- Redisの新しいデータ構造:HyperLogLog
- 小さなプログラムの魅力
- パフォーマンスとは何か