ericlippert.com ericlippert.com

Anti-unification, part 2

Last time on FAIC we learned what the first-order anti-unification problem is: given two expressions, s and t, either in the form of operators, or method calls, or syntax trees, doesn’t matter, find the most specific generalizing expression g, and substitutions for its holes that gives back s and t. Today I’ll sketch the algorithm for that in terms of function calls, and next time we’ll implement it on syntax trees. There are...

digileaders.com digileaders.com

Developing a Data Enabled Public Sector Audit Approach

In the NI Audit Office we audit more than 100 public organisations which spend over £25 billion of public money every year. We also publish reports on a range of topics including health, justice and education. In our work we use data from financial management systems as well as open data. But we don’t yet have the technology to use this data to its full potential. We have an exciting opportunity to develop the use of data analytics,...

scope

Medicine runs on stories

“Sondor” is a made-up Internet neologism that captures the fleeting but poignant sense of “the realization that each random passerby is living a life as vivid and complex as your own — populated with their own ambitions, friends, routines, worries and inherited craziness.” I think about this word often when I see my patients. Everyone is the main character of his or her life, and during the third year of medical school, I had...