Jinlin withlin

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:

Seccomp BPF filter example

Use bpf programs as filters for seccomp, the one in the example will block all the write syscalls after it's loaded.

Usage

Compile it with just

gcc main.c

Go (Golang) GOOS and GOARCH

All of the following information is based on go version go1.17.1 darwin/amd64.

GOOS Values

GOOS	Out of the Box
`aix`	✅
`android`	✅

About
A hopefully easy tutorial on how to make a Transpiler with Harmony
Based on patching a method in the game RimWorld

Introduction

Writing transpilers is like writing a book about how to rewrite a cookbook to make it work for the age of microwave even if that cookbook was written before microwave ovens were invented. It requires good knowledge about the language the cookbook is written in and the topics and information models the cookbook author uses.

As such, writing a transpiler is way more complex and low level than writing a simple method that prefixes, postfixes or replaces an existing method. It is required to have good understanding in general C# programming and how to manipulate abstract data structures with respect to references and relative positioning. It also requires to know the language, in this case CIL, so you can manipulate the instructions without it to get into an illegal state.

Achieving warp speed with Rust

Rust Optimization Tips (or, Why Rust Is Faster Than Python)

If you're looking to write fast code in Rust, good news! Rust makes it really easy to write really fast code. The focus on zero-cost abstractions, the lack of implicit boxing and the lifetime system that means memory is managed statically means that even naïve code is often faster than the equivalent in most other languages out there, and certainly faster than naïve code in any equivalently-safe language. Maybe, though, like most programmers you've spent your whole programming career safely insulated from having to think about any of this, and now you want to dig a little deeper and find out the real reason that

	#!/usr/bin/env ruby

	require 'open3'

	@allocated_addrs = {}
	@allocation_time = {}
	@symbol_cache = {}
	@app_pid = ARGV[0]

	def resolve_symbol(addr)

	By default, EBPF programs will not run on WSL2 due to required kernel modules missing. The following example error is an
	indication of this problem:
	modprobe: ERROR: ../libkmod/libkmod.c:586 kmod_search_moddep() could not open moddep file '/lib/modules/4.19.84-microso
	ft-standard/modules.dep.bin'
	modprobe: FATAL: Module kheaders not found in directory /lib/modules/4.19.84-microsoft-standard
	chdir(/lib/modules/4.19.84-microsoft-standard/build): No such file or directory

	To fix this you need to rebuild the WSL2 kernel with the missing kernel modules. The below instructions are for Ubuntu 18.04 WSL2.

	1. git clone https://github.com/microsoft/WSL2-Linux-Kernel.git

	#include <bcc/proto.h>
	#include <uapi/linux/ip.h>
	#include <uapi/linux/ipv6.h>
	#include <uapi/linux/icmp.h>
	#include <uapi/linux/tcp.h>
	#include <uapi/linux/udp.h>
	#include <uapi/linux/icmpv6.h>
	#include <net/inet_sock.h>
	#include <linux/netfilter/x_tables.h>

	# use the latest ubuntu environment (18.04) available on travis
	dist: bionic

	language: go

	# You don't need to test on very old versions of the Go compiler. It's the user's
	# responsibility to keep their compiler up to date.
	go:
	- 1.16.x