Jonas Bülow jbulow

C++ links: Coroutines

https://github.com/MattPD/cpplinks / C++ Standard / C++20 / Coroutines

(draft; work in progress)

#coroutines (C++ Slack): https://cpplang.slack.com/archives/C5JS5JXT5

Correctness in Practice

Formal Methods and Program Analysis in Industry

(draft)

See also: Compilers: correctness, Software Verification Literature Review (https://alastairreid.github.io/RelatedWork/papers/)

2025

C++ links: Modules

https://github.com/MattPD/cpplinks / C++ Standard / C++20 / Modules

Build Emacs with MSYS2

This document is an up-to-date guide on compile Emacs 31 on windows with MSYS2, and make a installation with native compile that can work without MSYS2.

The idea is after get a working Emacs, you may delete MSYS2 environment to free some disk space, and forget about rebuilding Emacs

	"""
	All the methods were generated based on the list of nodes from the
	"Green Tree Snakes" guide:
	https://greentreesnakes.readthedocs.io/en/latest/index.html
	"""

	import ast


	class Visitor(ast.NodeVisitor):

	# WARNING: These steps seem to not work anymore!

	#!/bin/bash

	# Purge existign CUDA first
	sudo apt --purge remove "cublas" "cuda"
	sudo apt --purge remove "nvidia*"

	# Install CUDA Toolkit 10
	wget https://developer.download.nvidia.com/compute/cuda/repos/ubuntu1804/x86_64/cuda-repo-ubuntu1804_10.0.130-1_amd64.deb

	exit # Dont run this as a script

	# LLVM seems to work great on Musl, there only seems some build errors
	# when trying to build the sanitizers. So sanitizers have been disabled.
	# This is rougly based on this:
	# https://wiki.musl-libc.org/building-llvm.html
	# But updated for LLVM 8

	# We are also focusing on making a GNU-less toolchain, as there is
	# no libgcc and no libstdc++, instead we favor LLVM's own compiler-rt