Tommaso Fontana's Avatar

Tommaso Fontana

@zom.wtf.bsky.social

Crying at LLVM and MLIR @revng CTFfing with @mhackeroni

76 Followers  |  156 Following  |  5 Posts  |  Joined: 09.11.2024  |  1.5266

Latest posts by zom.wtf on Bluesky

Preview
Log-structured merge-tree - Wikipedia

Makes sense, sounds interesting!
An example might be log merge trees en.m.wikipedia.org/wiki/Log-str...

26.03.2025 12:20 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
GitHub - vigna/epserde-rs: An ฮต-copy serialization/deserialization framework for Rust An ฮต-copy serialization/deserialization framework for Rust - vigna/epserde-rs

Isn't that basically memory-mapping?
In sux-rs we have mmap compatible data structures so we can access them even if they don't fit in memory. We designed epserde-rs to make it easier to do in Rust. github.com/vigna/epserd...

26.03.2025 08:12 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

PtrHash has a DOI, At last! 1.5y after starting the project.

- 2.4 bits/key
- 1.75x faster lookup than PTHash&PHOBIC for 3e8 string keys (44ns)
- 12ns per query for 1e9 int keys
- 8ns with streaming/prefetching; basically fully saturating RAM bandwidth (limit is ~7.5ns).

arxiv.org/abs/2502.15539

24.02.2025 02:25 โ€” ๐Ÿ‘ 10    ๐Ÿ” 4    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Example of a static search three with elements 0..17 and a 3-layer tree on top of it, with B=2 elements per node and branching factor 3.

Example of a static search three with elements 0..17 and a 3-layer tree on top of it, with B=2 elements per node and branching factor 3.

Some results of various improvements. First binary search, then eytzinger layout, and then a number of iterations on the S+ tree search.

Some results of various improvements. First binary search, then eytzinger layout, and then a number of iterations on the S+ tree search.

Building on Algorithmica's post on S-trees and the famous "Array layouts for comparison based searching" paper, I did a little project on making an optimized implementation of the S+ tree.
The result is 40x speedup over plain binary search!
๐Ÿงต

curiouscoding.nl/posts/static...

28.12.2024 23:48 โ€” ๐Ÿ‘ 33    ๐Ÿ” 8    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

This sounds like a graph compression, have you tried webgraph? It works well for skewed outdegree distributions. For the optimal ordering we use LLP.

11.12.2024 17:08 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Memory-safe PNG decoders now vastly outperform C PNG libraries

fascinating result about the performance of memory-safe PNG decoders and the usefulness of autovectorization in real projects www.reddit.com/r/rust/comme...

10.12.2024 05:31 โ€” ๐Ÿ‘ 84    ๐Ÿ” 14    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1
Preview
Tracking issue for stmt_expr_attributes: Add attributes to expressions, etc. ยท Issue #15701 ยท rust-lang/rust Tracking RFC: rust-lang/rfcs#16 Related #127436

I think it is part of stmt_expr_attr github.com/rust-lang/ru...

04.12.2024 18:13 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Adding attributes to closures is unstable right?

04.12.2024 18:05 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@zom.wtf is following 20 prominent accounts