Software Engineering

Thing Based Programming

Thing Based Programming

I have contemplated trolling software engineers by re-naming “object oriented programming”, and claiming I have made a major discovery, Thing Based Programming.

Neovim State Machine

Neovim State Machine

Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study
Pierre Ganty
SPIN 2024, 30th International Symposium on Model Checking Software, 10-11 April 2024, co-located with ETAPS 2024 in Luxembourg City, Luxembourg

PDF