Senior Data Zookeeper | PhD | Data Engineering Lead@Chubb | Working on the formal verification of data pipelines - Views are my own

Greece
Joined October 2016
Nikos Karayannidis retweeted
Replying to @OpenAI
3
67
2
1,576
130,560
Nikos Karayannidis retweeted
AI is writing a growing share of the world's software. No one is formally verifying any of it. New essay: "When AI Writes the World's Software, Who Verifies It?" leodemoura.github.io/blog/20…
41
240
44
1,574
424,769
Nikos Karayannidis retweeted
Replying to @jameskjx
excerpt from a longer paper Ensuring safety for powerful learned systems requires a fundamentally different foundation based on mathematically provable constraints on the acts an AI may perform. Such a foundation must rest on a simple principle: we should never trust an AI’s outputs or intentions by default, no matter how competent or aligned it appears; trust must be earned only through verifiable, enforceable proofs of safety for each act. Our assumption that enacting unsafe AI acts is worse than rejecting safe AI acts leads to the central premise of our work, the Universal Declaration of AI Acts: No AI act may be treated as safe unless harmlessness is proven mathematically. Note that this is the mathematical dual of the Universal Declaration of Human Rights: No person may be treated as guilty unless guilt is proven, which is based on the assumption that punishing an innocent person is worse than letting a guilty person go.
1
2
4
188
Nikos Karayannidis retweeted
You don’t hate math. You hate the way it was taught to you. But because you haven’t learned math properly, you confuse correlation and causation, and therefore think that you hate math.
59
82
13
1,028
72,211
Nikos Karayannidis retweeted
"Mathematics for Computer Science" from MIT. This complete book of 1048 pages is now FREE.
24
158
1
1,246
94,023
Nice blogpost by @muratdemirbas on the foundational treatment of serializability theory in databases from Chapter 2 of the book Concurrency Control and Recovery in Database Systems (1987) by Bernstein, Hadzilacos, and Goodman. I started reading the post and after a bit of exploration found this foundational 1979 paper on Serializability of Concurrent Database Updates by Christos H Papadimitriou. This paper has been referenced in Bernstein's book as well. Looks like Papadimitriou has also written quite a lot on the theory of database concurrency control .. Looking forward to some weekend readings .. links to blog post and the paper: 👇
1
9
1
57
5,290
🏆 The ACM SIGMOD Test of time award (2025) goes to K-shape: Efficient and accurate clustering of time series John Paparrizos, Luis Gravano 2025.sigmod.org/sigmod_award…
2
9
1,215
Nikos Karayannidis retweeted
New blog post on the mental model I've used when working through complex or confusing papers on transactional systems. transactional.blog/blog/2025…
7
69
9
475
43,794
This paper covering the internals and architecture of @ClickHouseDB is one of the best in database architecture that I read in 2024. Some great insights on SIMD and Multicore parallelisation of the query processing layer, query compilation based on LLVM, the various data structures for aggregation and hash joins, data pruning techniques in the storage layer and lots and lots of information related to the architecture. Loved it ..
3
54
2
422
21,979
The first two videos for @CMUDB's latest seminar series on Database Building Blocks are now posted. You should start off with @andrewlamb1111's fantastic introductory overview to @ApacheDataFusio: youtube.com/watch?v=iJhRbDFJ…
2
41
3
254
17,518
Nikos Karayannidis retweeted
Elizabeth Garrett Christensen (@sqlliz): Window Functions for Data Analysis with Postgres postgr.es/p/6Df
16
3
65
18,239
Nikos Karayannidis retweeted
I am thrilled to announce that my book, Functional Design and Architecture, has just been released by @ManningBooks! FINALLY RELEASED!!! 😃😃😃😄😊😊❤️❤️❤️❤️❤️❤️ This has been a long journey, and I sincerely hope this book will make a significant contribution to the functional programming world. 🎇🎇 ❓ Who is this book for? It's for all developers interested in practical functional programming. This book is useful for software architects, senior developers, and everyone else. The model language is Haskell, but the ideas are universal and applicable to languages like Scala, OCaml, F#, and even C# and C++. ❓What is this book about? It’s about applying an engineering approach to functional programming. Design patterns, design principles, application architectures, best practices, approaches, and deep ideas—all combined into a comprehensive and highly consistent methodology for building real-world applications. 📔 Functional Design and Architecture is structured, consistent, well-written, and approachable. I’ve made a special effort to ensure the content is accessible to a wide audience. The narrative is engaging, free of jargon and complex mathematics, and progresses in a friendly, gradual manner. 💡 The ideas are universal; some were known before, but many were developed throughout this project. There was a significant knowledge gap, and this book covers much of it for our benefit. A titanic amount of work went into this book. Specifically, the following were created: 🟠 A full-fledged application framework, Hydra; 🔴 A proof-of-concept platform for creating spaceship management scenarios; 🟡 The methodology of Functional Declarative Design, covering various aspects of design and software architecture in functional programming; 🟢 A unique architectural approach, Hierarchical Free Monads; 🔵 A multitude of new design patterns, approaches, and practices, in addition to those that already existed; 🟣 Several demo applications, included both in the book and in the Hydra framework; 🟤 A wealth of accompanying material: articles, talks, and side projects; ⚪️ And of course, these ideas have been successfully tested in practice in several places. You'll also find many links to other valuable resources in this book because the subject is very broad and deep. I am especially grateful to all those who initiated this movement toward the practical application of functional programming. I stand on the shoulders of giants and deeply appreciate their contributions. On the cover, you’ll find testimonials from these distinguished individuals: 🟡 @ScottWlaschin, author of Domain Modeling Made Functional (Pragmatic Bookshelf) 🟤 @debasishg, author of Functional and Reactive Domain Modeling and DSLs in Action (both from Manning) 🟣 @VBragilevsky @_bravit , author of Haskell in Depth (Manning) I hope you enjoy the book as much as I enjoyed writing it. Bon voyage!
40
206
28
1,241
96,728
Learning Haskell/FP often expands people’s minds. In a world dominated by Java + Python intro courses, being forced to see computation in a new way is very empowering. There’s almost no downside to learning these techniques and having them in your toolbox.
5
8
4
111
5,949
Nikos Karayannidis retweeted
Want to learn how database concurrency control really works? Check out this paper from @YingjunWu and @andy_pavlo!  It dives deep into the most widely used type of concurrency control today: multi-version concurrency control (MVCC). The basic idea behind MVCC is for a database to store multiple versions of each data item so that transactions can read from items being written to by other transactions. This can greatly improve transaction throughput by allowing any number of reads to occur concurrently with a write. Of course, there are many ways to implement MVCC, and the paper describes several of the most popular approaches and their tradeoffs, with detailed experiments to show how much those tradeoffs matter in practice. When I was working on concurrency control in grad school, I spent a lot of time looking at this paper and its references to learn the field!
1
49
3
286
28,053
It took three years to finish, but our follow-up to the 2006 "What Goes Around Comes Around" is finally out! Stonebraker and I examine the last 20 years in databases and discuss why relational databases + SQL will continue to remain on top. 📄PDF: db.cs.cmu.edu/papers/2024/wh…
23
332
68
1,254
173,185
Nikos Karayannidis retweeted
Published a new blog post! ✍️ 8 months of OCaml after 8 years of Haskell in production In this blog post, I compare OCaml and Haskell across 🧪 Syntax 🧪 Features 🧪 Ecosystem 🧪 Tooling 🧪 Compiler messages 🧪 Standard library I hope you enjoy! 🤗 And let me know any feedback you have! Please, repost to support my work! Really appreciate that! 🙏 dev.to/chshersh/8-months-of-…
17
38
3
254
58,782
Nikos Karayannidis retweeted
"FoundationDB: A Distributed Key-Value Store", from this month's CACM, is a great read. Well worth checking out for anybody who works on the architecture of large systems: cacm.acm.org/magazines/2023/…
4
32
200
23,816
Nikos Karayannidis retweeted
10 Haskell/GHC features I avoid: >>= ; let if-then-else case-of import data type class instance They’re not always a problem. But, they’re overused, and can often be replaced by better alternatives. Here's why I avoid each, and what I do instead... 📷
10 JavaScript/TypeScript features I avoid: ?. ?: as var let any else class enum switch They’re not always a problem. But, they’re overused, and can often be replaced by better alternatives. Here's why I avoid each, and what I do instead... 👇
1
6
2
80
14,428