George Xanthakis

494 posts

George Xanthakis

George Xanthakis

@XanthakisGeorge

Ph.D. Student at @UoC | past intern @oraclelabs | Graduate Research Assistant @CarvForth Research on LSM-trees, always interested in Storage/OS research!

Heraklion, Crete, Greece Katılım Ocak 2020
1.5K Takip Edilen143 Takipçiler
George Xanthakis retweetledi
Bo Wang
Bo Wang@BoWang87·
Prof. Donald Knuth opened his new paper with "Shock! Shock!" Claude Opus 4.6 had just solved an open problem he'd been working on for weeks — a graph decomposition conjecture from The Art of Computer Programming. He named the paper "Claude's Cycles." 31 explorations. ~1 hour. Knuth read the output, wrote the formal proof, and closed with: "It seems I'll have to revise my opinions about generative AI one of these days." The man who wrote the bible of computer science just said that. In a paper named after an AI. Paper: cs.stanford.edu/~knuth/papers/…
Bo Wang tweet media
English
153
1.9K
9.1K
1.4M
George Xanthakis retweetledi
Alex Miller
Alex Miller@AlexMillerDB·
The recording from our last South Bay Systems meetup is up! youtu.be/8j1Dqi2M_pI
YouTube video
YouTube
English
0
5
38
3.9K
George Xanthakis retweetledi
Dan Hollick
Dan Hollick@DanHollick·
Did you know that SSDs use quantum tunnelling to store data? Or that we have to completely rewrite RAM every 30ms to prevent data from just dissipating? If you did, then you can probably skip this chapter on how computers store data: makingsoftware.com/chapters/how-i…
English
81
495
5.2K
356.7K
George Xanthakis
George Xanthakis@XanthakisGeorge·
@kastauyra Great job on developing three Emacs plugins, not an easy fit even with LLM assistance!
English
0
0
1
33
George Xanthakis retweetledi
Dmitry Vyukov
Dmitry Vyukov@dvyukov·
Latency Profiling and Optimization talk video: youtube.com/watch?v=lv03NA… Includes overview of new perf features. Tagline: Profilers lied to us all that time! ☺
YouTube video
YouTube
Dmitry Vyukov@dvyukov

I am speaking about Latency Profiling at C++ Zurich Meetup on Oct 6 along with the legendary Sean Parent: meetup.com/zurich-c-meetu… Stop by if you are interested (or just want free snacks and to check out the Google office)

English
1
17
133
23.1K
George Xanthakis retweetledi
Andrew Lamb
Andrew Lamb@andrewlamb1111·
BTW if anyone wants a good intro to database storage / Log structured storage (aka LSM trees), the @CMUDB lecture this fall is a good one: youtube.com/watch?v=2_sTdS…
YouTube video
YouTube
English
0
29
280
20.7K
George Xanthakis retweetledi
Debasish (দেবাশিস্) Ghosh 🇮🇳
I was going through the mmap/buffer-cache discussion involving Andy Pavlo and Marc Brooker on my TL and thought of taking a look at some of the details on how LRU based eviction works in PostgreSQL and MySQL InnoDB buffer pools .. I was aware that they implement different algorithms and none of them were "vanilla" LRU ones - they are customised for better concurrency and scalability. And points to some interesting data structure techniques as well .. Here's a short thread🧵.. (0/3)
English
4
13
90
8K
George Xanthakis retweetledi
Konstantinos Kallas
Konstantinos Kallas@KonsKallas·
Were you looking for benchmarks for your shell research? Look no further! Our 🐨 Koala 🐨 benchmark suite is out (github.com/kbensh/koala) and it just got a best paper award at the last ATC ever! Check it out :)
Deniz Altınbüken@denizaltinbuken

Congratulations to ATC '25 Best Paper Award winners! The Koala Benchmarks for the Shell: Characterization and Implications (usenix.org/conference/atc…) Accelerating Nested Virtualization with HyperTurtle (usenix.org/conference/atc…) #atc25

English
4
5
46
3.3K
George Xanthakis retweetledi
Philippe Noël
Philippe Noël@philippemnoel·
On our latest ParadeDB blog post about the LSM tree we built in Postgres, many asked me how we map it down to Postgres pages. We also wrote a blog post about that, which you can find here: paradedb.com/blog/block_sto…
English
1
30
136
7.1K
George Xanthakis retweetledi
Marc Brooker
Marc Brooker@MarcJBrooker·
Last week I had the privilege to give a keynote at the International Conference on Performance Evaluation (ICPE'25). It wasn't recorded, so I captured the key points as a blog post.
Marc Brooker tweet media
English
2
13
92
6.9K
George Xanthakis retweetledi
Mohit Mishra
Mohit Mishra@chessMan786·
Physical vs Virtual Memory Map
Mohit Mishra tweet media
English
0
45
407
15K
George Xanthakis retweetledi
Alex Miller
Alex Miller@AlexMillerDB·
New blog post on the mental model I've used when working through complex or confusing papers on transactional systems. transactional.blog/blog/2025-deco…
English
7
69
478
43.7K
George Xanthakis retweetledi
Phil Eaton
Phil Eaton@eatonphil·
I just keep being more and more impressed at the activity and quality of the jobs channel
Phil Eaton tweet media
English
1
14
291
16.3K
George Xanthakis retweetledi
Alex Miller
Alex Miller@AlexMillerDB·
New blog post on torn writes and how to defend against them, from WALs and copy-on-write to atomic multi-block updates: transactional.blog/blog/2025-torn…
English
4
29
215
20.2K
George Xanthakis retweetledi
Dmitry Vyukov
Dmitry Vyukov@dvyukov·
Profiling: you are doing it all WRONG! The SHOCKING truth about CPU vs. real time Now that I get your attention :) My perf latency profiling changes merged: web.git.kernel.org/pub/scm/linux/… First profiler ever that samples realtime (not CPU time) and suitable for latency optimization
English
3
38
166
31.9K
George Xanthakis retweetledi
Piyush Itankar
Piyush Itankar@_streetdogg·
Use the -D and -S options of objdump on an elf with debug symbols to generate listing file with disassembly intermixed with the C Source code. Here are the commands I used in the video - $ gcc -g main.c # compile the code $ objdump -D -S a.out > main.lst I use these regularly in my projects to be able to look at the assembly for the C source and take a through look at the placement of various symbols. ---- If you are interested in learning C Language by diving into the System level mechanics, take a look at the course I am creating. Here - pyjamabrah.com/products/c-lan…
English
0
22
150
6.5K