Profiling symbolic execution by measuring the symbolic heap and the symbolic execution graph to ensure solver-aided tools are performant: https://2018.splashcon.org/event/splash-2018-oopsla-finding-code-that-explodes-under-symbolic-evaluation
(Part of the remarkable Rosette project.)
Related Posts
Blogging about my programming language project: choosing the basic syntax!
https://www.garden-lang.org/blog/syntax.html
What are the most interesting upcoming scripting languages? Scripting remains an important part of the programming language ecosystem.
Optimise time to first feature. Allow mutation of the running system to experiment. Interactive inspection of data.
I've dabbled with 'conventional commits' for a personal project but I found they slowed me down.
It's not always easy to categorise a commit as a fix, a chore etc. Sometimes refactorings also fix bugs.
Do you use them? I can imagine a large, mature project benefitting more.