HYTRADBOI
LightNews LightNews
hytradboi.bsky.social
HYTRADBOI
@hytradboi.bsky.social
840 followers 0 following 94 posts
Have you tried rubbing a database on it?

https://www.hytradboi.com/2025
Posts Replies Media Videos
hytradboi.bsky.social
Talk 28: "Good thing we're not writing a database" by Peter van Hardenberg (@pvh.ca)
"Never write a database. Even if you want to, even if you think you should. Resist. Never write a database. Unless you have to write a database. But you don't."
February 27, 2025 at 8:22 PM
hytradboi.bsky.social
Talk 27: "Let's run a million benchmarks" by Yao Yue (@thinkingfish.bsky.social)
February 27, 2025 at 7:48 PM
hytradboi.bsky.social
The final program:
0900-1000: Compilers Database query compilation: our journey Thomas Neumann & Viktor Leis A YJIT interview Maxime Chevalier-Boisvert A quick ramp-up on ramping up quickly Iain Ireland Can we democratize JIT compilers? Haoran Xu Safe and productive performance with user-schedulable languages Jonathan Ragan-Kelley 1000-1100: Understanding programs How debuggers work Sy Brand Debugging compiler-optimized code: how it works and doesn't Stephen Kell Side-Eye: ask your programs anything Andrei Matei Let’s run a million benchmarks Yao Yue Rocket science of simulation testing! Alex / matklad 1100-1200: Wild ideas Back to modularity Daniel Jackson DB usability: as if Jonathan Edwards Twizzler and far out memory sharing: precise abstractions Daniel Bittman Programming without pointers Andrew Kelley Throwing it all away - how extreme rewriting changed the way I build databases Tyler Neely 1200-1230: Programmers are people A case for feminism in programming language design Felienne Hermans Malloy, mic drop, peace! Michael Toy 1230-1300: Lightning talk buffet Learning about the odd bits of SQL by reading the PostgreSQL docs Chris Zetter Hacking Observable notebooks from within Tom Larkworthy Zero copy data structures Evan Chan Reliable serverless needs distributed transactions Stu Hood Pangeo is a database Alexander Merose Rubbing a database on a language server Philip Zeyliger Language agnostic simulation testing on a budget Stevan A Shapeshifter: using LLMs inside a database for schema flexibility David Nachman Why S3's conditional writes made people excited Miikka Koskinen pghttp: backend-free, lowest latency web apps Damir Simunic 1300-1400: Query languages Pipe syntax in SQL; it's time Jeff Shute PRQL: a modern, pipelined SQL replacement …
February 27, 2025 at 5:21 PM
hytradboi.bsky.social
Talk 26: "Enough with all the Raft" by Alex Miller (@alexmillerdb.bsky.social)
A table examining different consensus protocols across many categories, showing that Raft is never the best option in any one category.
February 27, 2025 at 6:27 AM
hytradboi.bsky.social
Talk 25: "A quick ramp-up on ramping up quickly" by Iain Ireland
A diagram of the baseline interpreter. The core is a loop over a switch on opcode. The branch for each opcode is generated by the compiler, and the dispatch logic is duplicated into the end of each branch.
February 26, 2025 at 5:42 AM
hytradboi.bsky.social
Talk 24: "Serverless primitives for the shared log architecture" by Stephen Balogh (@sbalogh.bsky.social)
Building a KV-store with S2 ● Multi-primary, horizontally scalable, distributed KV-store ● All writes regionally durable ● Linearizable reads from all replicas https://github.com/s2-streamstore/s2-kv-demo
February 26, 2025 at 5:21 AM
hytradboi.bsky.social
Talk 23: "PRQL: a modern, pipelined SQL replacement" by Tobias Brandt (@tobiasbrandt.bsky.social)
A large PRQL query.
February 26, 2025 at 3:58 AM
hytradboi.bsky.social
Talk #22: "Safe and productive performance with user-schedulable languages" by Jonathan Ragan-Kelley
User-schedulable languages decouple what to compute from how to compute it (exposed for programmer control).
February 25, 2025 at 6:38 PM
hytradboi.bsky.social
It's starting to look a lot like ~Christmas~ HYTRADBOI!

Just one week to go.
February 21, 2025 at 7:13 AM
hytradboi.bsky.social
Talk #21: "Database ideas in Convex" by Thomas Ballinger
Thomas scribbles furiously on a whiteboard.
February 19, 2025 at 8:36 PM
hytradboi.bsky.social
Lightning talk #9: "Why S3's conditional writes made people excited" by Miikka Koskinen
February 16, 2025 at 8:22 PM
hytradboi.bsky.social
Lightning talk #8: "Shapeshifter: using LLMs inside a database for schema flexibility" by David Nachman
February 16, 2025 at 1:03 AM
hytradboi.bsky.social
Lightning talk #7: "Language agnostic simulation testing on a budget" by Stevan A
February 16, 2025 at 12:51 AM
hytradboi.bsky.social
Lightning talk #6: "Rubbing a database on a language server" by Philip Zeyliger
A demo showing the query "select symbol_name, count(*) from symbols group by 1 order by 2 desc" running over the data exported by a typescript language server.
February 16, 2025 at 12:44 AM
hytradboi.bsky.social
Lightning talk #5: "Pangeo is a database" by Alexander Merose (@al.merose.com)
Alexander talking. The captions say "Zarr is OLAP with all the abstractions peeled away".
February 16, 2025 at 12:37 AM
hytradboi.bsky.social
Talk #20: "Database query compilation: our journey" by Thomas Neumann & Viktor Leis
The difficulty of vector-at-a-time processing. > [...] needs to handle the N-ary nature of the operators. As a result, expressing complex relational operators in a vectorized modele is a challenge in itself. Marcin Zukowski, doctoral dissertation
February 11, 2025 at 4:02 AM
hytradboi.bsky.social
Talk #19: "Pipe syntax in SQL; it's time" by Jeff Shute
A list of problems with sql syntax: operator ordering, inside-out dataflow, verbose and repetitive, complex behaviour.
February 8, 2025 at 11:26 PM
hytradboi.bsky.social
Talk #18: "Rocket science of simulation testing!" by Alex Kladov / matklad
A screenshot of the TigerBeetle fuzzing dashboard, showing for each fuzzing target how long they have been running, how many runs have passed, and the seeds of any failing runs.
February 8, 2025 at 1:21 AM
hytradboi.bsky.social
Talk #17: "AquaLang: a streaming dataflow programming language" by Klas Segeljakt
An example streaming program using flink sql and java UDFs. Highlights the inability to push predicates down through UDFs.
February 4, 2025 at 2:00 AM
hytradboi.bsky.social
The program is up and tickets are live at www.hytradboi.com/2025/#program.

I'll keep updating this thread as the last 10 talks hit camera-ready.
Program 0900-1000: Compilers Database query compilation: our journey Viktor Leis & Thomas Neumann A YJIT interview Maxime Chevalier-Boisvert Can we democratize JIT compilers? Haoran Xu Safe and productive performance with user-schedulable languages Jonathan Ragan-Kelley 1000-1100: Understanding programs How debuggers work Sy Brand Debugging compiler-optimized code: how it works and doesn't Stephen Kell Side-Eye: ask your programs anything Andrei Matei Let’s run a million benchmarks Yao Yue Rocket science of simulation testing! Aleksey Kladov 1100-1200: Wild ideas Back to modularity Daniel Jackson DB usability: as if Jonathan Edwards Twizzler and far out memory sharing: precise abstractions Daniel Bittman Programming without pointers Andrew Kelley Throwing it all away - how extreme rewriting changed the way I build databases Tyler Neely 1200-1230: Programmers are people A case for feminism in programming language design Felienne Hermans Malloy, mic drop, peace! Michael Toy 1230-1300: Lightning talk buffet 1300-1400: Query languages ??? Jeff Shute ??? Tobias Brandt ??? Yury Selivanov AquaLang: a dataflow programming language Klas Segeljakt A polymorphic data model for SQL using algebraic types Steve McCanne 1400-1430: Databases Use of time in distributed databases —don’t fall behind the times Murat Demirbas ??? Thomas Ballinger Thank goodness we're not building a database Peter van Hardenburg 1430-1500: Wasm Thinking in wit Dan Gohman Bringing the WebAssembly standard up to speed with SpecTec Dongjun Youn
February 1, 2025 at 2:46 AM
hytradboi.bsky.social
Talk #16: "Debugging compiler-optimized code: how it works and doesn't" by Stephen Kell
A gdb session showing a hello world program running to completion, without the breakpoint on printf ever firing.
January 31, 2025 at 9:49 PM
hytradboi.bsky.social
Talk #15: "Use of Time in Distributed Databases - don't fall behind the times" by Murat Demirbas (@muratdemirbas.bsky.social)
A brief history of clock synchronization technology, ending with AWS TimeSync providing 50us uncertainty.
January 31, 2025 at 9:41 PM
hytradboi.bsky.social
Talk #14: "Throwing It All Away - how extreme rewriting changed the way I build databases" by Tyler Neely (@ak47.io)
A list of the repos in the Komora project.
January 31, 2025 at 9:19 PM
hytradboi.bsky.social
Talk #13: "Thinking in Wit" by Dan Gohman
A comparison of how WIT result types map into error handling models in different languages: result types in rust/go, exceptions in C#.
January 30, 2025 at 11:48 PM
hytradboi.bsky.social
Talk #12: "Programming Without Pointers" by Andrew Kelley
A code editor showing an example of removing pointers from clowns.
January 29, 2025 at 5:19 AM