leon (@profleonn) header
leon (@profleonn) profile picture

informatics and math prev avionics & @helixdb

Joined December 2023
Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)Photo by leon (@profleonn)
Pinned Tweet
Replying to @itsolelehmann
Not all of us want to post slop 10 second reels for a living!
5
70
6,192
> wake up > read math text book
1
7
267
We need to go back.
there are 4 types of webpages
29
386
18
4,948
186,740
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.
2
192
Embracing my inner Asian for the next couple of weeks lowkey
2
3
95
Bring back the sandwhich. Why did slop bowls get so popular? Literally just eat a sandwich.
1
5
199
>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…
5
13
2
894
39,035
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
2
4
264
guys should I do my math homework only in typst from now on ?
1
4
242
I cant remember the last time I had a visible bruise lowkey
2
6
178
go you guys use the default macos search bar thing? (cmd+space) or a third party oen
8
6
644
I get a feeling that the majority of people talking about P vs. NP have no idea what it's about
4
229
Wtf is the new Firefox ad ?
82
Actually learning to code was a good idea i think
8
2
57
3,243
In Amsterdam this weekend!
6
28
3,117
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 :)
155
220
34
2,543
222,393
leon retweeted
it’s unfortunate how macbooks still are the only solid, powerful laptops with good battery life
17
5
1
153
5,676
leon retweeted
helix db in the wild
this is a code editor the grok team apparently didn't think their coding agent needed > 3D military command centre with live surveillance > restricted airspace > blast radius simulations just to edit typescript files after building one, i think they were right
1
1
14
663
leon retweeted
iphone is pretending to be an ipad pretending to be a macbook pretending to be an ipad everything is ipad
58
397
35
7,536
124,738
touchscreen laptops were never a good idea
23
4
2
151
2,423
When they announce that P=NP
1
1
24
614