The "trinity of computation"
The “trinity of computation” I never thought of it this way Logic tells us what propositions exist (what sorts of thoughts we wish to express) and what constitutes a proof (how we can communicate o…
The "trinity of computation"
I never thought of it this way LogicLanguagesCategoriesall three have ontological force; they codify what is, not how to describe what is already given to us. In this sense they are foundational; if…
Memristance is futile. Not.
I came across this wired article recently, and what I read sounded too science-fiction-y to be true, so then I decided to go to the source, and found this video (see below) by a researcher at HP, and…
Comparative Latencies
It is usually hard to get an idea of how the time taken for various fundamental operations varies, and it does matter, but it's hard to viscerally get it (time intervals in nanoseconds, microsecon…
Summing up
I came across this post talking about numerical speed in Clojure, so I thought I would try out the equivalent in Common Lisp (Clozure CL) on my Macbook: CL-USER> (let* ((arr-size 3000000)…
Lispium ?
What if you did the following: * Take a chromebook * Modify the chromium build running to run Sbcl within it. * Create lisp bindings to the internal surface, so that all UI elements can be created…
(Untitled)
Macros are a simple mechanism for generating code, in other words, automating programming. Unless your system includes a better mechanism for automating programming (so far, I have not seen any such m…
(Untitled)
Most computers today, for all of their potential speed, are largely a mistake, based on the provenly unscalable Von Neumann architecture, controlled with one of the most shortsighted languages of all…
(Untitled)
… an important point here about what a program is. Does it cause action by subjecting a static machine that otherwise does nothing to a list of instructions, or is it static data that is accepting by…
(Untitled)
Above all the wonders of Lisp’s pantheon stand its metalinguistic tools; by their grace have Lisp’s acolytes been liberated from the rigid asceticism of lesser faiths. Thanks to Macro and kin, the jol…
What has speed brought ?
Many good things, to be sure, but more has been omitted. Perhaps Kent Pitman expressed it the best: I want speedups not just to make my same old boring life faster, but to buy me the flexibility to…
(Untitled)
Is JavaScript the new Lisp? I seem to have been blissfully unaware of just how far JavaScript has come over the last decade or so. I wanted to make a foray into mobile app programming (ah ok, nothin…