Exploring Dependent Types in Idris

Exploring Dependent Types in Idris

When I’m not coding the "impossible" at Art+Logic, I take a lot of interest in new programming technologies and paradigms; even if they’re not yet viable for use in production, there can often be takeaways for improving your everyday code. My...
Legacy Vulnerabilities AKA Software Senescence

Legacy Vulnerabilities AKA Software Senescence

Does your business still have an XT computer in the back office because it’s running that one version of some database software that your business depends on? Yeah, we know there is. Most modern software doesn’t work like that. If you aren’t keeping...
Smooth Upgrades to Vue 3 Using the Migration Build

Smooth Upgrades to Vue 3 Using the Migration Build

Vue 3 introduces some compelling new features, but also many breaking changes. The question is, how do you get there? Fortunately, the Vue.js team has recently released the Migration Build, which makes it possible (and easy) to make a smooth transition from v2 to v3.

Discover Machine Learning

Discover Machine Learning

Machine learning is not new, but advances in both hardware and software have recently opened the gate of possibilities. Automated drones and vehicles are capable of getting themselves from point A to point B without (much?) human intervention thanks to machine learning and artificial neural networks. With an extremely small amount of effort, software can now be developed to do incredible things with neural networks which couldn’t be done just a few years ago.