Skip to content

Instantly share code, notes, and snippets.

View LukasPietzschmann's full-sized avatar
🌸
Vibing to lofi music

Lukas Pietzschmann LukasPietzschmann

🌸
Vibing to lofi music
View GitHub Profile
@SRechenberger
SRechenberger / FreeCHR.py
Last active August 28, 2024 09:16
Example Instances of FreeCHR
from itertools import permutations
def match(pattern, constraints):
return (perm
for perm in permutations(constraints, len(pattern))
if all(p(c) for p, c in zip(pattern, perm))
)
@linderd
linderd / README.md
Last active April 24, 2025 11:58 — forked from timlinux/README.md
Linux on Thinkpad P14s Gen2 AMD / T14 Gen2 AMD

Linux (Fedora 35) on a Thinkpad P14s [T14] Gen2 AMD

These are my installation-tricks and notes for running Linux on a 2021 Thinkpad P14s Gen2 with AMD Ryzen 7 5850U. It should also be suitable for the Thinkpad T14 Gen2 AMD as they are technically the same modell.
Meanwhile there is also a good test on youtube and an entry in the arch-wiki, which also comments some points mentioned here.

Detailed specs

Shipped:

@lolzballs
lolzballs / HelloWorld.java
Created March 22, 2015 00:21
Hello World Enterprise Edition
import java.io.FileDescriptor;
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.OutputStream;
import java.io.PrintStream;
public class HelloWorld{
private static HelloWorld instance;
public static void main(String[] args){
instantiateHelloWorldMainClassAndRun();