summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2026-09-02Refactor generators to use a factory for passing bytesHEADmainArnaud Bailly
2026-09-01Add generator for stringsArnaud Bailly
2026-09-01Fix test for uniformity of distribution for generation of integersArnaud Bailly
This lead me into a rabbit hole to understand how one should assert the shape of the distribution of some empirical data w.r.t. to the "true" expected distribution which uses the Pearson coefficient test. Unfortunately for very large number of samples deviations sum up quickly to a point where the computed p-value is basically 0, thus rejecting the null hypothesis. While this is theoretically true, there are a lot of ways to introduce biases that will lead to rejection, one of them being the use of modulus to select numbers from the generator's output!
2026-09-01Flesh out simple integrated shrinkerArnaud Bailly
2026-09-01Replace jest with vitestArnaud Bailly
This implies fixing some quirky modules import logic. Thanks to Claude for fixing this whole s**t
2026-05-31site: move to own repoArnaud Bailly
2026-05-31site: ajout prochain événementArnaud Bailly
2026-05-29site: premiere version statique du site webArnaud Bailly
2026-04-01Fix UI following change in commands outputArnaud Bailly
There should really exist tests for that 🙄
2026-04-01Remove answers from sent challengesArnaud Bailly
Also fix integration test
2026-03-30Add Bloom filter exampleArnaud Bailly
2026-03-22Add strings handlingArnaud Bailly
2026-03-22Add builtin arithmetic operatorsArnaud Bailly
* also allow choosing evaluator * ensures equivalence of evaluators up-to α-renaming * checks server accepts answers from challenge
2026-03-22Add integration test for all challengesArnaud Bailly
2026-03-22Add integers parsingArnaud Bailly
2026-03-21Add more challenges and plans for enhancement of the interpreterArnaud Bailly
2025-12-20Loop until failing one challengeEmmanuel Gaillot
2025-12-20Post solutionEmmanuel Gaillot
2025-12-20Unregister userEmmanuel Gaillot
2025-12-20Wait for user input before endingEmmanuel Gaillot
… In preparation for unregistering user at the end.
2025-12-20Solve retrieved challengeEmmanuel Gaillot
2025-12-20Retrieve next challengeEmmanuel Gaillot
2025-12-20Register userEmmanuel Gaillot
2025-12-18Add some details to presenationArnaud Bailly
2025-12-10Add basic readme for Prolog workshopArnaud Bailly
2025-12-08added prolog directoryArnaud Bailly
2025-12-02rename fake/real matching propertyArnaud Bailly
2025-12-02update bank with model and flow of talkArnaud Bailly
2025-12-02add simple classificationArnaud Bailly
2025-12-02disable auto linting after testsArnaud Bailly
2025-12-02fix copy/paste bugArnaud Bailly
2025-12-02introduce test (with a bug) using LevelDBArnaud Bailly
2025-12-02adapt Bank interface to asyncArnaud Bailly
2025-12-02Make property async awareArnaud Bailly
2025-12-01fix eslint errors and warningsArnaud Bailly
2025-12-01complete operations sequence testsArnaud Bailly
2025-12-01implement op sequence propertyArnaud Bailly
2025-12-01more checks on shrinkingArnaud Bailly
2025-11-29start simple bank exampleArnaud Bailly
2025-11-19Minor renamingArnaud Bailly
2025-11-19added stateful PBT kata from SW Crafters NantesArnaud Bailly
2025-11-15[pbt] expose simpler interface Property.runArnaud Bailly
2025-11-15[pbt] configure running tests w/ jestArnaud Bailly
2025-11-07fix call-by-value evaluator base on NBEArnaud Bailly
2025-11-06fix terminal heightArnaud Bailly
2025-11-06evaluate terms when defining themArnaud Bailly
2025-11-06updated challengesArnaud Bailly
2025-11-06draft env-based normaliserArnaud Bailly
2025-11-06update slides PDFArnaud Bailly
2025-11-06revealjs version of slidesArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 11:35:14 +0000