Ezequiel Birman stormwatch

Lambda Calculus Q&A

These are my responses to some of the questions asked at the end of my Lambda Calculus talk, held on 2019-10-15 at Smartly.io's DevTalks in Helsinki. I've grouped similar questions together.

Books and Resources

What's the one encompassing book you would recommend to read on this very interesting topic?
Can you recommend a book (or books) that cover some of the history you shared in more detail?
So what IS the book to read to get into understanding all of this?

GSOC 2017 | Virgl Windows Driver

Project links

The project is split into several parts:

The kernel driver, with simple 3D command forwarding and 3D resource allocation
The userland driver, in fact the OpenGL backend
The reference, explaining virtio-gpu commands

https://github.com/Keenuts/virtio-gpu-win-icd \

Using a Mikrotik router to boot and install Windows

Lately I've been using Mikrotik routers because they're cheap, powerful, and fast. Most of them have either a USB or MicroSD slot, so you can add enough space to store network boot images right on the router.

I got most of the tips needed from these two articles, and combined them into this step by step guide:

Rich Already Answered That!

A list of commonly asked questions, design decisions, reasons why Clojure is the way it is as they were answered directly by Rich (even when from many years ago, those answers are pretty much valid today!). Feel free to point friends and colleagues here next time they ask (again). Answers are pasted verbatim (I've made small adjustments for readibility, but never changed a sentence) from mailing lists, articles, chats.

How to use:

The link in the table of content jumps at the copy of the answer on this page.
The link on the answer itself points back at the original post.

Table of Content

Ruby Book List

Learning Ruby

You're taking your first steps into Ruby

The Well Grounded Rubyist

A good introduction to programming in general. Easy on newer programmers.

Enabling SSH on Engenius EAP600 (and maybe other models)

This tutorial will walk you through the steps needed to get root SSH access on an Engenius EAP600 dual-band WiFi access point. SSH doesn't come enabled out of the box on these things, so if you want to SSH into the device (which is running an old version of OpenWRT), keep reading.

	#!/bin/bash

	# "Repair" VSCode WSLServer script to include genie invocation
	# Author: Santiago Saavedra <[email protected]>
	# License: Public Domain or CC0

	patch_file () {
	patch -r- -F0 "$1" <(cat <<EOF
	--- /dev/null 2022-02-15 00:14:03.180843900 +0100
	+++ $1 2022-03-06 13:07:22.380000000 +0100

	#include <stdio.h>
	#include <string.h>
	#include <assert.h>
	FILE in; long M[1<<24]={0}, D, *R, H=0x130000, IP=0, T;
	long getu() { long t, h = getc(in); if (h < 0xC0) return h;
	t = ((h&0x1F) << 6) \| (getc(in) & 0x3F); if (h < 0xE0) return t;
	t = ( t << 6) \| (getc(in) & 0x3F); if (h < 0xF0) return t;
	t = ( t << 6) \| (getc(in) & 0x3F); return t & 0x1FFFFF; }
	void putu(long c) { if (c < 0x80) { putchar(c); return; }
	if (c < 0x7FF) { putchar(0xC0\|(c>>6)); } else {

	# This file is written in HOCON (Human-Optimized Config Object Notation) format.
	# For more information about HOCON see
	# https://github.com/lightbend/config/blob/master/HOCON.md

	bindings {
	b {
	description: Buffer/Tabs Navigation...
	bindings {
	b {actionId: RecentFiles, description: Recent Files}
	B {actionId: RecentChangedFiles, description: Recent Changed Files}

	;; Run (ql:quickload :cl-yaml) before loading this script

	(defpackage #:travis-badges
	(:use #:cl)
	(:import-from #:cl-yaml)
	(:export
	#:make-badges))
	(in-package travis-badges)