Mon
Tue
Wed
Thu
Fri
Sat
Sun
Active 6d ago
Catania, Sicily, Italy

Salvatore Sanfilippo

Top 12%
@antirez

Sicily-based programmer who created Redis and now works on lightweight systems software. Recent projects include linenoise, a readline alternative, and inference engines like ds4 for running DeepSeek models locally on consumer hardware.

DwarfStar. I built a local AI engine for DeepSeek models on your own hardware.

19k

Linenoise. I wrote a lightweight text input tool for command-line programs.

4.3k

Iris. I built a text-to-image generator in C that needs nothing but the standard library.

2k

Dump1090. I built software that decodes airplane signals from cheap radio receivers.

2.9k

Botlib. I made a C framework for building Telegram bots that actually last.

843

Kilo. I wrote a text editor in less than 1000 lines of code.

9.1k

SDS. I wrote a text handling tool for C that's simpler and faster than the standard library.

5.5k

Voxtral. I built speech-to-text that runs offline on any machine with C.

1.7k

GGUF Tools. I made a tool to read and inspect AI model files.

350

Picol. I wrote a complete programming language in 500 lines of code.

242

Qwen3-ASR. I wrote a speech-to-text tool that runs on almost any computer.

586

Tic Tac Toe RL. I built a neural network that learns tic tac toe from pure game feedback.

586

ZX2040. I made a ZX Spectrum emulator for Raspberry Pico with a built-in game menu.

180

FreakWAN. I built a chat network that works over long-range radio without the internet.

499

Smallchat. I wrote a minimal chat server to teach how systems work.

7.5k

GTE Pure C. I wrote a pure C text embedding model that needs nothing else.

115

MicroFont. I wrote a text rendering tool for memory-constrained devices.

74

ProtoView. I built a signal viewer for Flipper Zero to decode unknown wireless protocols.

589

DeepSeek Flash. I built DeepSeek v4 to run on your Mac with minimal memory.

331

Tgterm. I built a tool to control Mac terminals through Telegram messages.

217

Toyforth. I built a stack-based language interpreter to teach how programming languages work.

87

Whisperbot. I built a Telegram bot that transcribes voice messages into text.

149

Redis Historical Versions. I published the earliest versions of Redis from 2009.

159

Zxfy. I made a tool that converts PNG images into ZX Spectrum graphics.

23

ZOT. I wrote a Z80 emulator that runs Spectrum and CP/M software.

69

C64 Kitty. I built a Commodore 64 emulator that runs in your terminal.

68

Writing Style Fingerprint. I built a tool that identifies Hacker News writers by their unique writing style.

54

Telegram Backup. I made a tool that backs up your Telegram chats as readable text files.

30

Display Driver. I made a screen driver for memory-constrained devices.

53

Listpack. I wrote a space-efficient data structure for storing lists of strings.

95

BPLog. I built an open source app that reads Hilo blood pressure cuffs wirelessly.

22

Telegram IoT Control. I made a Telegram bot for tiny computers that lets you control IoT devices.

61

BME680 Pure. I wrote a cleaner MicroPython driver for the BME680 sensor.

20

UC8151. I wrote a MicroPython driver for e-ink displays with computed lookup tables.

166

Stonky. I built a Telegram bot that checks stock prices for you.

274

SMAZ2. I built compression for short messages on memory-constrained wireless devices.

113

Aocla. I built a programming language that started as a puzzle solution.

382

Simple Language Model. I built a character prediction AI from scratch with no shortcuts.

73

T-Watch S3 MicroPython. I wrote the minimal MicroPython setup needed for a T-Watch S3 smartwatch.

23

BMA423 Driver. I wrote a motion sensor driver that unlocks step counting.

10

Advent of Code 2022. I solved Advent of Code puzzles in C using creative techniques.

106

Retro Thermometer. I built a five-dollar retro thermometer with temperature graphs.

28

VL53L0X Non-Blocking. I added non-blocking mode to a MicroPython distance sensor driver.

10

Token Cutoff. I built a tool that tunes how varied an AI model's responses are.

30

Talk32. I wrote a tool to talk to ESP32 boards faster than existing programs.

38

Print Watch. I built a camera system that detects 3D printer failures and alerts you.

25

Touch Sensor Driver. I wrote a MicroPython driver for FT6x06 touch sensors.

10

Flipper Asteroids. I made Asteroids playable on a Flipper Zero handheld device.

66

Hping. I wrote a tool that pings networks with custom messages.

1.7k

Neural Networks 2003. I archived my 2003 neural network experiments that compress images.

19
50
Apply