The following setup guide is produced by chatgpt, I will try it and verify it, modifying the parts that are not correct.

Windows: Haskell + h-raylib (raylib) Setup & Distribution Guide

This is a from-zero → working demo → shipping build checklist for getting raylib + Haskell (h-raylib) running on Windows, and packaging your game so users can run it by double-clicking.

Core idea: h-raylib typically vendors the raylib C sources via the package build, so you usually do not need a separate raylib installation. What you do need is a working Haskell toolchain + a working Windows C toolchain.

What you’re building (mental model)

Your shipped game will look like:

MyGame/

…

## Categorical Van Kampen Theorem

### Fundamental Groupoid

The **fundamental groupoid** $\Pi_1(X)$ of a space $X$ is a groupoid whose objects are the points of $X$ and whose morphisms are endpoint homotopy equivalence classes of paths $x\to y$.

* $\Ob(\Pi_1(X)) = X$

* $\Hom_{\Pi_1(X)}(x,y) = \{ x \to y \}/\sim$

There are some obvious properties:
…

Algorithms, Probability and Programming Languages Study Group

Definition And Goal

• Lead a session: the presenter may not fully understand the topic but leads us to learn together, for example by reading together, watching together, and solving exercises together.

  In a session, participants are expected to work hands-on, think with the leader, discuss the questions, and solve exercises / small projects together.

• Give a talk: The presenter has some understanding of the topic and give a 15~60 minute talk on it

  • focusing on the core ideas and understanding

  • make sure the non-experts can follow most of the talk

  • give exercises / projects / challenge if possible

Resize Btrfs Partition Online

You can easily resize a btrfs partition without going to live ISO.

Check how much space is left unused:

sudo btrfs file usa /
sudo btrfs file resize / -32g # any size you want

sudo parted /dev/nvme..../

unit GiB
print

…

References:

• Markov Category on nLab

• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics

Markov Category

Markov category gives a way to write probability theory that is ‘decoupled’ from a particular implementation (i.e. discrete distributions, continuous ones, or general measure theoretic ones). It is an interesting abstraction where you use morphisms to talk about random variables.

Formal Definition

A markov category is a semi-cartesian symmetric monoidal category \((\mcC, \otimes, 1)\) that supplies cocommutative comonoids.

The means:

Graphical Models: Introductions

Probabilistic graphical models models dependence and conditional independence. Several kinds of graphical models exist: Directed / Undirected / Mixed.

Consider directed acyclic graphs, such graphical models are typically called Bayes networks

Hogwarts Magical Internet Solutions

You might have trouble accessing github, which is crucial for things to work in your system like downloading packages, cloning repositories, etc. Here are some ways to access github in cn:

Use hosts file

Using our hosts file which updates and fetchs from a github repo, containing the latest github ip addresses. You can access it without going to github because our server fetches it hourly here.

For convenience, add the following function to your .bashrc or .zshrc:

function updateHosts() {
    wget -O hosts https://asukachan.com/repo/hosts
    sudo sed -i '/# GitHub Host Start/,/# GitHub Host End/d' /etc/hosts

…

Eiko

PhD Candidate in Pure Mathematics
Research: Number Theory · p-adic Chabauty–Coleman methods

Overview

I am a PhD candidate in pure mathematics working in number theory, with a focus on p-adic Chabauty–Coleman methods. Alongside research, I build high-performance software (primarily in Haskell) and write educational material in abstract algebra and probability.

Research Interests

My current research direction centers on p-adic methods for studying rational points, especially Chabauty–Coleman style techniques.
I am particularly interested in extending Chabauty–Coleman methods using \(p\)-adic differential equations, aiming to broaden the scope of problems where these methods apply.

I am also interes…

I made a script for doing so on arch linux, it is very easy.

Easy Setup Script

#!/bin/bash
# This script installs the Project Zomboid dedicated server on an Arch Linux system.
echo "This script will install the Project Zomboid dedicated server on an Arch Linux system."

# detect if 'steamcmd' is installed
if ! command -v steamcmd &> /dev/null; then

…