johnbernier

5 ms·

1.
by johnbernier 4y ago
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.
2.
by johnbernier 4y ago
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, ordinary categories are one-dimensional. Objects are zero dimens
3.
by johnbernier 4y ago
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 precomposition and postcomposition might be embedded in other catego
4.
by johnbernier 4y ago
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 pairs like (h,k) as our morphisms then we can do severa
5.
The Logic of Functional Programming(lisp-ai.blogspot.com)
6 points by johnbernier 4y ago|5 comments
6.
by johnbernier 4y ago
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 portion of a data structure. Yet it seems to me that this shoul
7.
by johnbernier 4y ago
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 great, but rather or not you have issues depends upon
8.
by johnbernier 4y ago
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 get a hold of.
9.
by johnbernier 4y ago
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, there is an associated rise in the number of people wanting to g
10.
Visualising information flows of finite functions(lisp-ai.blogspot.com)
3 points by johnbernier 4y ago|1 comments
11.
by johnbernier 4y ago
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 system. A collection of diagrams are provided so that readers
12.
by johnbernier 4y ago
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 frequently use Java and Clojure together in the same pro
13.
A new way of programming with information flows(lisp-ai.blogspot.com)
6 points by johnbernier 4y ago|1 comments
14.
by johnbernier 4y ago
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 for describing how information flows in sequential machines. N
15.
by johnbernier 4y ago
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 to my paper to get a background motivation for my treatment
16.
by johnbernier 4y ago
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, Sanyal, and Sathe is a reference textbook. This subject essen
17.
The topos theory of computing: introduction to the mathematics of dataflow [pdf](raw.githubusercontent.com)
5 points by johnbernier 4y ago|3 comments