Viewing profile — johnbernier

Set theory is not going anywhere. It may be pushed to the sidelines by new developments in category theory but that is not the same as going extinct like the dodo.

In computer science we typically count from zero, not from one. So even though a category has two different sorts of entities: objects and morphisms, since we count from zero, ordi…

That works for any function f that is precomposed by a bijection. Then the bijection and its inverse cancel out, so that is correct. Many of these examples with regards to precompo…

The topos of functions Sets^(->) has as its objects functions and as its morphisms m: f -> g function pairs (h,k) that make a commutative square with gh = kf. If we take function p…

In this post I describe my own journey getting in to functional programming. Early on I gained a deep fascination with functional lenses, and their ability to let us focus on a por…

I've recently tried QT creator and it was hard to get working at first, but once I did it didn't have any problems or visual bugs for me. Overall it seems to be working pretty grea…

The issue is exactly this. More and more people are coming into the development space using HTML/CSS/JavaScript and the information on the other technologies is harder to grasp and…

What happened is naturally growth. There are more developers today then ever before, corresponding to the rise in the global population. As there are more and more developers, ther…

In this post, I describe how to use Clojure to create Graphviz visualizations of the information flow lattices of finite maps and finite functions with the Locus computer algebra s…

The JVM lets you program in whatever you want to and then use code written in whatever comfy language (Java, C/C++ via native interop, Kotlin, etc) or a Lisp dialect (Clojure). I f…

The basic idea of an information flow was introduced by Hartmanis and Stearns in the algebraic structure theory of sequential machines. This is a beautiful and elegant formalism fo…

Upon review, Hartmanis and Stearns appear to have come closest to my work. I would recommend readers take a look at Algebraic Structure Theory of Sequential Machines (1966) prior t…

Hello, I do research in the area of program data-flow analysis. The theory of data-flow analysis has been extensively studied. Data Flow Analysis: Theory and Practice by Khedker, S…