Jack Vanlightly
Barcelona, Cataluña, España
2 mil seguidores
Más de 500 contactos
Acerca de
Things that I know/love most: messaging systems, databases, distributed systems…
Actividad
-
Another way of looking at TLA+ and a model checker is that it is fuzzing for the mind and mental models.
Another way of looking at TLA+ and a model checker is that it is fuzzing for the mind and mental models.
Publicado por Jack Vanlightly
-
One of the most insightful posts about Iceberg's consistency model available online.
One of the most insightful posts about Iceberg's consistency model available online.
Recomendado por Jack Vanlightly
-
Another issue of Humans of the Data Sphere is out! In issue #5 we also look at an interesting set of takes on the recent Cloudflare outage, and a…
Another issue of Humans of the Data Sphere is out! In issue #5 we also look at an interesting set of takes on the recent Cloudflare outage, and a…
Compartido por Jack Vanlightly
Experiencia
Educación
-
Cardiff University / Prifysgol Caerdydd
-
Actividades y grupos:Cardiff University Mountaineering Club
Database theory
Maths such as Finite State Machines
Algorithm design
Java, C++
Law related to computing
Final year project:
Simulation of genetic evolution within agent system. Created an environment, agents with simple behaviours and a simple genome. Studied viability of improving agent performance within variously configured environments and changing environments by introducing agent reproduction and the mixing of genetic makeups.
Cursos
-
Computer Science BSc
-
Idiomas
-
English
Competencia bilingüe o nativa
-
Spanish
Competencia bilingüe o nativa
Más actividad de Jack
-
It’s been a privilege over the last four years 4 plus years to be on the amazing journey with Confluent from being the Kafka company to building…
It’s been a privilege over the last four years 4 plus years to be on the amazing journey with Confluent from being the Kafka company to building…
Recomendado por Jack Vanlightly
-
Our ROUNDUP this week is absolutely 🔥 🔥🔥🔥 - ALL the hottest bits of S3 commentary, choice bits from Daniel Beach and Roy Hasson - Pyramid…
Our ROUNDUP this week is absolutely 🔥 🔥🔥🔥 - ALL the hottest bits of S3 commentary, choice bits from Daniel Beach and Roy Hasson - Pyramid…
Recomendado por Jack Vanlightly
-
Every time I think I'm done exploring Fizzbee, it pulls me back in. https://lnkd.in/d72KU__D
Every time I think I'm done exploring Fizzbee, it pulls me back in. https://lnkd.in/d72KU__D
Compartido por Jack Vanlightly
-
Diary entry 4 of my Kafka transactions formal verification work. This entry is all about the initial Fizzbee spec and some benchmarks comparing it to…
Diary entry 4 of my Kafka transactions formal verification work. This entry is all about the initial Fizzbee spec and some benchmarks comparing it to…
Compartido por Jack Vanlightly
-
Iceberg data, pluggable where you need it, as you need it.
Iceberg data, pluggable where you need it, as you need it.
Recomendado por Jack Vanlightly
-
Symmetry in TLA+ reduces the state space by treating interchangeable components like servers, nodes, or processes as equivalent. This post explores…
Symmetry in TLA+ reduces the state space by treating interchangeable components like servers, nodes, or processes as equivalent. This post explores…
Compartido por Jack Vanlightly
-
I'm calling it now - the winner is: Apache Iceberg! But really, the winners really are all of us. The battles have caused every organization to sit…
I'm calling it now - the winner is: Apache Iceberg! But really, the winners really are all of us. The battles have caused every organization to sit…
Recomendado por Jack Vanlightly
-
Missed one aspect of writing the TLA+ spec yesterday. How to gain confidence it is correct. https://lnkd.in/dQn2VUUq
Missed one aspect of writing the TLA+ spec yesterday. How to gain confidence it is correct. https://lnkd.in/dQn2VUUq
Compartido por Jack Vanlightly