notes

Lambda Functions in Python First I looked at the following article from realpython.com History Lambda calculus (or $\lambda$-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.1 It is a universal model of computation. Alternative to a Turing Machine. Until the 1960s, the lambda calculus was only a formalism. Since Richard Montague and other linguists’ applied it in understanding the semantics of natural language, the lambda calculus has gained popularity in both linguistics, and computer science....

Go 101 Continued The simplest Go program: package main func main() { } The first line package main specifies the package name (main here) of the containing source file. I just don’t understand this statement. Let me go back to the other book I was reading (Go in action). There I found the following statement: For the build tools to produce an executable, the function main must be declared, and it becomes the entry point for the program....

Banana Pi M5 Learned of its existence from Explaining Computers Has onboard eMMC storage. SOC: Amlogic S905X3 with 4 x A55 cores (up to 2GHz), Mali-G31 MP2 GPU. Can boot from 16 GB eMMC or SD Card slot. Uses USB-C for power (5V @ 2A) and eMMC setup. Has 4 switch (The wiki says 3 : Reset, Power and U-Boot 😕). 4 GB LPDDR4 RAM. 10/100/1000 Mbit/s Ethernet. Wi-Fi/Bluetooth requires an optional USB dongle....

Thoughts Regarding My RSS Feed Emotinality as a predictor for cultural success Found orignally from marginal revolution. Couldn’t access the article 😪 This sounds very interesting AdaFruit Lately I have been really interested in using more sensors and display for my Raspberry Pi, but everything is so f**ing expensive. I don’t know if I can buy anything. One thing I definitely am going to try is make a pir activated night light using Pico and Led matrix....

Open Source Smart Watch Very similar to another project I have already heard about called the Watchy Made by Paul Smith with news over at Hackster.io. The project has a website and a GitHub organization. It has got a micro-USB port for data transfer and charging. The main one has a SD-card slot for data storage. The lite one has no SD-card slot. The components used are: EPS32-micro-D4: 2×240 MHz, 320 KB RAM Bluetooth 4....