𝔉𝔲𝔩𝔩 π”π”’π”±π”žπ”© β„‘π”«π”‘π”¦π”³π”¦π”‘π”²π”žπ”©π”¦π”°π”±

104 posts
Rise of the MacBook Pro Serial Killers
Hardware

Rise of the MacBook Pro Serial Killers

Something very interesting has happened early on in the Summer of 2020 while quietly very disturbing for Apple.

Hello Immortal World with Rust
Rust

Hello Immortal World with Rust

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

The Golden 20s
Security

The Golden 20s

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

When will Rust be formally specified ?
Programming

When will Rust be formally specified ?

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

Error handling or The Emperor's Old Clothes.
Rust

Error handling or The Emperor's Old Clothes.

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

Everyday Ada : Simple REST Service
Ada

Everyday Ada : Simple REST Service

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 SystemsDesktop and Web ApplicationsCommercial AviationBanking and

Raspberry Pi 4
Hardware

Raspberry Pi 4

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’

Ada, Rust and Steelman language requirements
PLT

Ada, Rust and Steelman language requirements

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

Signal Desktop for Arm/Linux
arm

Signal Desktop for Arm/Linux

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.

Mathematics

Singular Value Decomposition explained circa 1976

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.

Functional Programming

Two sorts with Rust

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 !) 1. Cargo is awesome for managing

Ring probabilities in F#
F#

Ring probabilities in F#

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

Ring probabilities with Elixir
Elixir

Ring probabilities with Elixir

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

Functional Programming

Corporate funding for Shen

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.  

Clojure

Purely Functional Data Structures & Algorithms : Selection Sort

*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(n2) time complexity, making it inefficient on large lists, and generally performs

Art

Death lies on her, like an untimely frost

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

Functional Programming

Purely Functional Data Structures & Algorithms : Union-Find (Haskell)

*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

Functional Programming

Purely Functional Data Structures & Algorithms : Union-Find

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

History

Codebreaker - A new film about the life of Alan Turing

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

Bayes's Theorem is more powerful than Jesus
History

Bayes's Theorem is more powerful than Jesus

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 “…

Alan Kay on Programming today (and a few other things)
Programming

Alan Kay on Programming today (and a few other things)

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,