Recent content on imagine27
How a mind scales when the interpreter can evaluate 
 PDF version 
 
 The claim. Work scales as evaluation. Write it as math — terms, equations, substitution that preserves meaning — and run it on a runtime: agent, record, checks. Scale is then specification quality, not headcount. 
 That is the breakthrough. It is already running. A stranger can check it; they do not have to take…
The intersection point on this graph is the end of the world as we know it.
The security of the internet based on existing cryptography that we’ve had since day one will be permanently over. 
 Military, banking, private messaging, identity, medical and legal records all exposed. Only post-quantum encryption algorithms will save us. 
 Still no solid plan for this from any major…
Recently I took a fresh look at the Go programming language after having last taken a look at it before version 1.0 was released back in 2009. What I’ve found in just a few days is shocking in a really really good way.
The questionable widespread technical interview process has its roots in a cold war era approach that was pioneered by a public proponent of eugenics. Minorities suffer the most from the industry continuing to use this long disproved ritual of conformity.
Sep 9, 2021 
 First, thank you for reaching out. People like you help other people make a living by matching them with companies and opportunities. 
 If you got a link to this post from me that means that I read your email and find it irrelevant for my profile. This is usually the case because: 
 
 Your role does not fit my experience . In many of my roles I led a team of…
Most #ShitCoin consensus algorithms are based on Proof Of Stake. This is no coincidence. This allows for centralized control of what are essentially just digital fiat currencies and enables the same fraud we’ve seen in most economies that have their paper fiat currency gamed by banks and government. 
 The loudest voices on blockchain tech know the least. Proof Of Stake chains rest on…
Having recently built a custom workstation based on AMD’s Zen3 5900X chip I cooked up some optimized kernels for my Linux distro of choice : Fedora. 
 
 

 You can find the RPMs here –> https://imagine27.com/fedora-ryzen-kernels and the source here –> https://github.com/jgrant27/ryzen-fedora-kernel . Enjoy ! 
 
			 My custom built 5900X…
“It looks like a plane but will it fly ?”
Something very interesting has happened early on in the Summer of 2020 while quietly very disturbing for Apple.
or The Complexity of the Dollar
Bastion is a highly-available, fault-tolerant runtime system with dynamic dispatch oriented lightweight process model. 
 Features 
 
 Message-based communication makes this project a lean mesh of actor system.
 
 Without web servers, weird shenanigans, forced trait implementations, and static dispatch. 
 
 
 Runtime fault-tolerance makes it a good candidate for…
Watch on YouTube
The Golden 20s of the 20th century began with the end of WW1 and ended with the stock market crash of 1929. It was considered the decade that was the calm before the storm. However, it was a decade of sweeping technological change and innovation that transformed industrial productivity, life in general and in turn the world economy. It improved the general well-being of many. Electricity, the…
Who we are 
 Our website address is: https://imagine27.com . 
 What personal data we collect and why we collect it 
 Comments 
 When visitors leave comments on the site we collect the data shown in the comments form, and also the visitor’s IP address and browser user agent string to help spam detection. 
 An anonymized string created from your email address (also called a hash)…
The sooner a language is formally specified and standardized the better. I don’t want to see Rust go the way of languages like Ruby(which eventually got a spec) or Clojure (still does not have one).
Without this and the longer it’s delayed, external libraries spring up to solve problems that should be fully or partially addressed in the core of the language. A formal language spec along with…
TLDR; This problem has been solved for 40 years but the software development industry is still very fashion-oriented. 
 In both Common Lisp and Smalltalk error handlers can resume the computation that raised it, restart it, or refuse to handle it while the error handling code itself can be separated out from where it is caught i.e. into re-usable functions. Without unwinding the stack and…
Ada ( previously ) is a time-tested, safe, secure programming software-engineering language with a 40-year record of success in mission-critical applications such as… 
 
 
 Air Traffic Management Systems 
 
 
 Desktop and Web Applications 
 
 
 Commercial Aviation 
 
 
 Banking and Financial Systems 
 
 
 Railway Transportation 
…
The Raspberry Pi 4 is a leap forward not just for the Pi but for single-board computers across the board. It’s a great light-weight desktop replacement. It’s even surprised me as a viable Rust / Ada development environment. 
 
 @@HOLD0@@ 
 
 My setup includes a Raspberry Pi 4 FLIRC case which is basically a giant aluminum heat sink. This allows for a completely silent setup running…
Ada is the only pragmatic language that is still growing in a healthy way that meets the Steelman language requirements (created by US DoD circa 1978). Ada is rare among programming languages in that it is one of the few that was designed up-front according to a years-long well defined specification. Rust, at least aspires to meet some of these requirements, even if not intentionally. 
…
Machin’s formula, arbitrary-precision integers ( ramp::Int ): 
 fn machinpi ( dcnt : usize ) -> Int { 
 fn arccot ( x : & Int , unity : & Int ) -> Int { 
 fn _arccot ( x : & Int , n : & Int , xpow : & Int , term : & Int , l : & Int ) -> Int { 
 let zero = Int :: from ( 0 ); 
 if zero == * term { 
 term . to_owned () 
 } else { 
 let one = Int :: from ( 1 ); 
…
As I’ve been spending a lot of time with Arm hardware lately as my primary desktop and server platform I missed using my secure messenger app of choice. I was able to cook up builds for both armv7l/armhf /GNU Linux (32-bit) and arm64/aarch64 /GNU Linux (64-bit). 
 These are unofficial but fully working builds of Signal Desktop for Linux on Arm processors. Enjoy ! 
 Signal Desktop…
Latent Semantic Indexing (LSI) is used widely today in Semantic Search and has many other uses in Deep Machine Learning . This is a pretty good explanation/visualization from 40 years ago. 
 Watch on YouTube
Here are some initial thoughts on Rust in the almost two years since I last looked at it along with some implementations of merge and quick sort. (These are just my opinions so please don’t panic !) 
 
 
 Cargo is awesome for managing package dependencies and building projects. 
 
 
 Rust is a very nice systems programming language that supports a functional style of…
open System.Diagnostics 
 [< entryPoint >] 
 let main args = 
 let currProc = Process . GetCurrentProcess () 
 printfn 'Hello from F# (pid %d) with JSON : %A' currProc . Id args 
 0 
 var child_process = require ( ' child_process' ); 
 exports . handler = function ( event , context ) { 
 var proc = child_process . spawn ( ' ./ main . exe' , [ JSON . stringify (…
A few months back I took a look at Elixir . More recently I’ve been exploring F# and I’m very pleased with the experience so far. Here is the ring probabilities algorithm implemented using F#. It’s unlikely that I will ever use Elixir again because having a powerful static type system provided by F# at my disposal is just too good. 
 let rec calcStateProbs ( prob : float , i : int , 
…
I’ve been hearing more about Elixir lately so I thought I’d take it for a spin. 
 *“Elixir is a functional, meta-programming aware language built on top of the Erlang VM. It is a dynamic language that focuses on tooling to leverage Erlang’s abilities to build concurrent, distributed and fault-tolerant applications with hot code upgrades.” 
 
 
 
 I’ve never really spent any…

 It looks like it might be coming sooner than I thought. I’m sure Shenturions everywhere will find this news incredibly exciting for the future of Shen. I can’t wait to see how things progress.
Updated @ 2012-08-31 02:08:58 due to internet pedantry 
 Previously , previously . 
 According to Wikipedia : 
 
 In computer science , a Selection sort is a sorting algorithm , specifically an in-place comparison sort . It has O ( n ) time complexity, making it inefficient on large lists, and generally performs worse than the similar insertion sort . Selection sort is noted for…

 
 Kuksi is famous for his Baroque-influenced assemblages that seem to splinter out like sculptural fractals, each component fused to another object or detail even smaller and intricate 

Updated 08-23-2012 01:04:38 
 Replaced the use of Data.Vector with the persistent Data.Sequence which has O(logN) worst case time complexity on updates. 
 A Haskell version of the previous code using the more efficient(access and update) persistent Data.Sequence type so that the desired time complexity is maintained for the union operation. 
 -- Disjoint set data type (weighted and…
It’s been a while since I last posted in this series . Today we look at the disjoint-set data structure , specifically disjoint-set forests and the complementary algorithm : union-find . 
 In computing , a disjoint-set data structure is a data structure that keeps track of a set of elements partitioned into a number of disjoint (nonoverlapping) subsets. A union-find algorithm is an algorithm…
CODEBREAKER tells the story of one of the most important people of the 20th century. Alan Turing set in motion the computer age and his World War II codebreaking helped save two million lives. Yet few people have heard his name, know his tragic story, or understand his legacy. In 1954, Turing committed suicide at age 41 after being forced to undergo hormone therapy to “fix” his sexual orientation.…
Richard Carrier puts forward a fantastic approach to verifying history in his latest book : 
 Proving History: Bayes’s Theorem and the Quest for the Historical Jesus 
 “… historian Richard C. Carrier proposes Bayes’s theorem as a solution to the problem of establishing reliable historical criteria. He demonstrates that valid historical methods—not only in the study of Christian origins but…
From a recent Dr. Dobbs interview : 
 On adults – 
 
 Binstock: So you called them on the lying. 
 Kay: Yeah. But the thing that traumatized me occurred a couple years later, when I found an old copy of Life magazine that had the Margaret Bourke-White photos from Buchenwald. This was in the 1940s — no TV, living on a farm. That’s when I realized that adults were dangerous. Like,…
Exhibit A, My 11″ MacBook Air (Late 2010) benchmark rating : 
 
 Exhibit B, My 11″ MacBook Air (Mid 2012) benchmark rating : 


 For the New Intellectual: The Philosophy of Ayn Rand (50th Anniversary Edition) – Ayn Rand 
 This is Ayn Rand’s challenge to the prevalent philosophical doctrines of our time and the “atmosphere of guilt, of panic, of despair, of boredom, and of all-pervasive evasion” that they create. One of the most controversial figures on the intellectual scene, Ayn Rand was the proponent of a moral…
Ted Nelson ’s latest video series called “Computers for Cynics” calls it like it is. How refreshing in contrast with the pervasive garbage called ‘information’ that we get fed in the second decade of the 21st century. 
 I laughed and wept at part 1 : The Myth of Technology 
 Quite timely considering the recent round of UI design atrocities spread under the mask of ‘good design’. 
 As…

 Eccerobot 
 At the swissnex San Francisco conference earlier this year, scientists from Switzerland and the US discussed their research on humanoid robots, cognitive robotics, and artificial intelligence (AI). Talk revolved around how some robots self-reflect, self-improve, and adapt to new circumstances, and whether it’s possible for robots of the future to possess the same cognitive…
Chronicle has to be the best sci-fi movie I’ve seen in 2012. 
 Shot in Cape Town, South Africa on a budget of just $15 million. The end result is incredible including its box-office results. 
 Hope the sequel is just as good. 

So I’ve switched this blog to WP for now. There are still some formatting issues here and there so please be patient while they are fixed. 
 Comments have been enabled for all posts retroactively. 
 Let’s see how this goes …
From the website : John was a legendary computer scientist at Stanford University who developed time-sharing, invented LISP, and founded the field of Artificial Intelligence.* In March 2011 John launched Project JMC with the objective to make his work more approachable and accessible. The Project JMC team is continuing to help realize his objective. In this site you will find all John’s work,…
A Shen type-checked implementation of Quick Sort is even more elegant/terse compared with the CL version posted previously . 
 Pattern-matching and currying make this possible. 
 ( tc + ) 
 ( define filter 
 { ( A --> boolean ) --> ( list A ) --> ( list A ) } 
 _ [] -> [] 
 T? [A | B] -> (append [A] (filter T? B)) where (T? A)
 T? [_ | B] -> ( filter T? B )) 
 (…
After watching some of Tim Roughgarden’s videos on sorting algorithms , I thought I’d post an implementation of quick sort in Common Lisp as an example of a sorting algorithm implemented in CL. It’s a simple enough example(at < 20 LOC) that demonstrates one non-imperative approach to algorithm implementation. The complete code can be found here . 
 ( defun quick-sort-generic2 ( sequence cfun…
Here’s a port of the previous Qi II code to Shen. 
 Run with Hakan Raberg’s 0.1.4 version of shen.clj (Shen implemented in Clojure !). 
 * 
 Accurately calculates N digits of Pi using Machin 's formula 
 with fixed point arithmetic and variable guards digits. 
 Depends on the maths library --> 
 http://www.shenlanguage.org/library.html 
 * 
 ( tc + ) 
 ( define…
How do robots see the world? How do they gather meaning from our streets, cities, media and from us? 
 This is an experiment in found machine-vision footage, exploring the aesthetics of the robot eye. 
 
 Watch on Vimeo
Barbara Ehrenreich explores the darker side of positive thinking. 


 Cory Doctorow’s latest talk ‘The Coming War on General Purpose Computing’ really puts things in perspective about life in the 21st century. 
 This got me thinking more about functional programming languages and how they could be a future casualty in a similar way that we currently see the intentional limitation/crippling of Turing machines. 
 What if Paul Graham missed something very…
Sold out attendance marked this being the second premiere conference for Clojure. What I realized is just how great the people are in this community. No, seriously. There’s far less ego than with many other communities. This is a great sign for the future of Clojure. Particularly because Rich is such a great guy. He even gave a public apology for something or other that he said(on a mailing list)…
Overtone is an open source audio environment being created to explore musical ideas from synthesis and sampling to instrument building, live-coding and collaborative jamming. 
 Watch on Vimeo 
 
 
 
 In this video Sam Aaron gives a fast-paced introduction to a number of key live programming techniques such as triggering instruments, scheduling future events and synth design.…