Tci Gravifer Fang Gravifer

Uninstall then reinstall WSL on Windows 10 (clean way)

Background

I've been using wsl (version 2) with genie mod for years without issue, but one day, Windows 10 finally catch up on wsl Windows 11 features and gives us a way to use systemD natively.

I wanted to use the new "right way" to enable systemD on Windows Subsystem for Linux (without genie), and I also had a (probably related) infinite Windows RemoteApp error poping in.

Fixing it

A - Uninstall wsl and related stuff

In powershell (as admin)

This downloads standalone MSVC compiler, linker & other tools, also headers/libraries from Windows SDK into portable folder, without installing Visual Studio. Has bare minimum components - no UWP/Store/WindowsRT stuff, just files & tools for native desktop app development.

Run py.exe portable-msvc.py and it will download output into msvc folder. By default it will download latest available MSVC & Windows SDK from newest Visual Studio.

You can list available versions with py.exe portable-msvc.py --show-versions and then pass versions you want with --msvc-version and --sdk-version arguments.

To use cl.exe/link.exe first run setup_TARGET.bat - after that PATH/INCLUDE/LIB env variables will be updated to use all the tools as usual. You can also use clang-cl.exe with these includes & libraries.

To use clang-cl.exe without running setup.bat, pass extra /winsysroot msvc argument (msvc is folder name where output is stored).

Universal Captive Portal Detection Server

http(s)://edge.microsoft.com/captiveportal/generate_204
http(s)://cp.cloudflare.com/generate_204
http(s)://www.qualcomm.cn/generate_204
http(s)://connectivity.samsung.com.cn/generate_204
http(s)://captiveportal.kuketz.de

Hyper-V in Windows 10 and Windows 11 Home Edition

Hyper-V in Windows 10 and Windows 11 allows running Virtual Machine. It is supported only in Pro, Enterprise and Education Edition of Windows 10 and Windows 11 by default. But this guide will show you how to enable it in Home Editions of Windows 10 and Windows 11.

Check if virtualization is enabled:

Search for Command Prompt in Windows Start Menu and open it.
Type systeminfo and press Enter. Wait for the process to finish
Once the results appear, search for the Hyper-V Requirements section which is usually the last one.
- If it says A hypervisor has been detected. Features required for Hyper-V will not be displayed. that means Hyper-V is already enabled and there is no reason following this guide anymore.
Otherwise, check for Virtualization Enabled in Firmware:.

Sideloading APKs in to Windows Subsystem for Android

Update (9th July, 2022): An app is available that does just this.

Check out WSATools by Simone Franco: https://www.microsoft.com/store/apps/9N4P75DXL6FG

Setting up ADB to work with WSA

Launch Windows Subsystem for Android.

	import pandas as pd
	import ipywidgets as widgets
	import numpy as np
	from IPython.display import *


	class Make:

	def headers(cols, labels):
	header_widgets = []

	type term =
	\| Lam of (term -> term)
	\| Pi of term * (term -> term)
	\| Appl of term * term
	\| Ann of term * term
	\| FreeVar of int
	\| Star
	\| Box

	let unfurl lvl f = f (FreeVar lvl)

	(* The syntax of our calculus. Notice that types are represented in the same way
	as terms, which is the essence of CoC. *)
	type term =
	\| Var of string
	\| Appl of term * term
	\| Binder of binder * string * term * term
	\| Star
	\| Box

	and binder = Lam \| Pi

	An error occurred:
	/tmp/playground3425286633/play.zig:9:9: error: error is ignored. consider using `try`, `catch`, or `if`
	switch (c) {
	^
	/tmp/playground3425286633/play.zig:23:15: note: called from here
	try printf("Mr. John has * contacts in *\n", .{ 42, "New York"});
	^
	/tmp/playground3425286633/play.zig:22:21: note: called from here
	pub fn main() !void {
	^