Anton Kochkov XVilka

Index

#prepreqs
#roadmap
- #iot
- #chrome-and-friends: Chrome, V8, Blink, Mojo, etc.
- Linux kernel #todo
- expdev #todo

fuzzing #todo

A half-hour to learn Zig

This is inspired by https://fasterthanli.me/blog/2020/a-half-hour-to-learn-rust/

Basics

the command zig run my_code.zig will compile and immediately run your Zig program. Each of these cells contains a zig program that you can try to run (some of them contain compile-time errors that you can comment out to play with)

Installing Debian m68k in Qemu

Most of this comes from https://wiki.qemu.org/Documentation/Platforms/m68k

Download the ISO image:

wget https://cdimage.debian.org/cdimage/ports/current/m68k/iso-cd/debian-10.0-m68k-NETINST-1.iso

Method for Emulating Higher-Kinded Types in Rust

Intro

I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.

There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.

As an example, currently we can express this type:

Hyperlinks (a.k.a. HTML-like anchors) in terminal emulators

[ Update 2025-03-24: Commenting is disabled permanently. Previous comments are archived at web.archive.org. ]

Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).

It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.

When you set Let's Encrypt up, you will:

generate a key on your computer (among other things), which we will call domain.key
regularly update a certificate file via Let's Encrypt (most probably using one of the Acme Client Implementations), we will call this file domain.crt

The domain.key file is for your eyes only; you should keep it safe where you run taskd and set server.key to point to it.

Instructions

Download the Ubuntu 14.04 Live Desktop (64-bit) iso.
Enable virtualization in the BIOS.
sudo dnf install qemu-kvm
Install the UEFI bios images.
As root, boot the ISO in a virtual machine:

isopath=/path/to/ubuntu-14.04.3-desktop-amd64.iso
stickdev=/dev/sdX # Make sure this is set to the device for your usb stick
qemu-kvm -drive file=$stickdev,format=raw -m 2048 -pflash /usr/share/edk2.git/ovmf-x64/OVMF-pure-efi.fd -cdrom $isopath

	open Core_kernel
	open Bap_core_theory
	open Bap.Std
	open KB.Syntax
	include Self()

	let package = "bytoy"

	type name = string [@@deriving equal,sexp]
	type oper = Reg of int \| Imm of int [@@deriving equal,sexp]

	#!/bin/bash -e

	if [ "$(uname -s)" != "Darwin" ]
	then
	echo "This script is for building a Debian x86_64 image to use on MacOS"
	exit 1
	fi

	TEMP="$(mktemp -d build.XXXXX)"
	cp preseed.cfg $TEMP

	'''
	###########################################################################

	Extract SW SMI handlers information from SMRAM dump of Skylake based
	AMI Aptio V firmware.

	To use full capabilities of this tool you need to install UEFIDump
	(https://github.com/LongSoft/UEFITool/releases/tag/A32), ida-efiutils
	(https://github.com/snare/ida-efiutils) and edit corresponding variables
	below.