Nikos Baxevanis
This website is for the hacker (see note below) and programmer side of me. Most of my open-source work, and blog posts, can be found here. The software developer and systems engineer side of me can be found in startups, KBMax being the most recently acquired one.
“Hackers are generally loners who don’t care if others can figure out their code (at least while they are in the mode or role of hacking). Thus, they build their own little world in it that fits themselves nicely so that they can hack fast, but the rest of the world be damned.”
--wiki.c2.com/?LispIsTooPowerful
Projects
-
2022 - today
Property-based testing, fuzzing, and invariant testing for smart contracts that run on the Stacks 2.x layer-1 blockchain with Pandora. -
2016 - 2021
Founding member and contributor to Hedgehog, state-of-the-art property-based testing system in the spirit of QuickCheck, for Haskell, F#, R, Scala, and friends. -
2017 - 2021
Doctest, helps you test interactive F# examples, similar to doctest in Python. Built primarily as an internal tool for Hedgehog. -
2017 - 2020
Pure Haskell and F# implementation of SplitMix, splittable pseudorandom number generator. Port of Guy L. Steele, Jr., Doug Lea, Christine H. Flood Fast splittable pseudorandom number generators Comm ACM, 49(10), Oct 2014, pp453-472. Passes all dieharder tests. -
2016 - 2017
Write you some QuickCheck, a minimal, POC, version of QuickCheck v1 ported in F#. -
2011 - 2020
Fare, allows you to generate random text that is guaranteed to match a regular expression passed in. Port of dk.brics.automaton DFA/NFA implementation and xeger. -
2011 - 2019
One of the oldest contributors to AutoFixture, a testing system that helps you write more compact, maintainable, unit tests.
Posts
-
2023-01-16 - Pandora
-
2022-03-15 - Clarity model-based testing primer
-
2022-03-05 - Clarity property-based testing primer
-
2020-03-30 - The rhyme of the altered Parser
-
2017-04-10 - Less fragmented properties with Hedgehog
-
2016-02-08 - Write you some QuickCheck
-
2015-09-25 - Regex-constrained strings with FsCheck
-
2014-02-13 - Levels of open-source code
-
2011-11-19 - Notes from porting Java code to .NET
Quotes
“One of the best developers I've ever worked with is @nikosbaxevanis. Please don't steal him from my team!”
--Mark Seemann, author of Dependency Injection Principles, Practices, and Patterns
“Solid development skills. When Nikos submits a pull request, it is a cold day in hell that it doesn't work.”
--Kevin Bennett, co-founder and CTO of KBMax
“I learned a huge amount from Nikos, especially about F# programming and the more advanced aspects of unit testing.”
--Mike Hadlow, freelance software consultant and blogger