
informatics and math prev avionics & @helixdb
Joined December 2023
- Tweets19.5K
- Following573
- Followers1.7K
- Likes48.5K
I think the ability of models to program other models by directly editing their weights has a lot to do with them being so good at cyber security things.
leon retweeted
>I welcome anyone to point to any single line in the entire libghostty-vt code base, pull me offline in front of a whiteboard, and ask me to defend it. I'm confident I could.
If you're looking for some entertainment today, I present this Lobsters thread without any additional commentary. 🤭 lobste.rs/s/lt44rt/introduci…
I made this little self hosted habit tracker that I just access by connecting to my tailscale network and I use it everyday to keep track of things I want to improve at or want to simply make a habit. thank you codex and the power of the prompt
leon retweeted
aight, fuck it, my turn for this kind of post
i'm looking for work.
i'm 21 and i've spent a rather unreasonable amount of time building software over the past year.
here's some of what i've been up to:
kiban: built an embedded LSM storage engine from scratch in rust. WAL, SSTables, compaction, snapshots, concurrency, crash recovery and fault injection.
the benchmarks are probably my favourite part. on warm 1M-record workloads, i got 0.96µs median point reads and over 1M point-read calls/s, with 2.2-2.7x faster point reads than tuned RocksDB. group commit pushed fully durable writes to 5,379/s at 16 writers, a 7.5x improvement. also managed to shrink the point index by 61%.
styx: a ~41k LOC bittorrent client in rust with 600+ tests. implemented peer-wire networking, verified downloading/seeding, trackers, DHT, magnet metadata exchange, daemon IPC, CLI/TUI and a desktop shell.
kurogane: implemented Raft consensus from scratch in rust. elections, log replication, snapshots, crash recovery, joint consensus, real gRPC networking and a deterministic fault-injecting simulator with linearizability verification.
konto: built a double-entry accounting engine with PostgreSQL and typescript. atomic transactions, holds, transfers, idempotency and enforced financial invariants. includes stress testing with 1,000 concurrent transfer/hold operations.
iris: built a GPU-accelerated image viewer for linux using rust, Vulkan, GTK4 and DMA-BUF. RAW decoding, ICC colour management, GPU rendering, Wayland presentation and software fallbacks.
webnotes: built a local-first notes app with a native Tauri desktop client, SQLite storage, bidirectional linking, a structured editor and web synchronization.
scribe: built an open-source publishing SDK for React, Next.js and Vite. handles Markdown/MDX compilation, typography, components, styling and local authoring. currently in public beta.
and then there's my open source work.
i've had PRs merged into HelixDB, Turso, Apache DataFusion, Zed, NativeLink, Zilliz Knowhere and Nix, covering everything from database internals and query execution to infrastructure, editor behaviour and correctness fixes.
i've also got contributions underway in RocksDB, Neon, HydraDB, FalkorDB and Starship, among others.
most of my work revolves around rust, typescript, databases, storage, networking and systems engineering. i've also been getting deeper into ML infrastructure and inference.
i'm looking for a full-time remote engineering role. internships and contracts are on the table too.
my github has all the code, benchmarks and documentation:
github.com/aetosdios27
if you're hiring or know someone who is, hit me up.
reposts appreciated :)

















