Experiments

How to use formal methods in Data Systems

Towards a data discipline (part 3): writing proofs and arguments

Oct 24 • Ismail Elouafiq

1

A Recipe for “correct” data systems

Towards a data discipline (part 2): a step-by-step recipe, with a worked example

Oct 24 • Ismail Elouafiq

Towards a data discipline

This is a practical manifesto to build data systems that prevent errors

Oct 24 • Ismail Elouafiq

1

1

May 2026

How to get insights from glucose data with Python

Using Python and common sense to understand glucose data

May 13 • Ismail Elouafiq

April 2026

Does Berberine reduce glucose?

A self-experiment using continuous glucose monitoring

Apr 23 • Ismail Elouafiq

6

6

Control blood glucose with these uncommon ways

Strategies beyond diet and sleep from my self-experiments and existing research

Apr 6 • Ismail Elouafiq

5

January 2026

Make your data pipeline less chaotic by one versioned definition of data

Data collection at Sweden’s Television

Jan 6 • Ismail Elouafiq

4

Is GABA good for sleep?

A self-experiment using the Oura ring and a GABA supplement

Jan 6 • Ismail Elouafiq

4

1