Skip to content

Instantly share code, notes, and snippets.

@5nizza
5nizza / run_sdf.sh
Created June 2, 2021 11:57
Run two processes, wait for the fastest one and kill another. (Used for SYNTCOMP'21.)
#!/bin/bash
# Run two processes of tlsf-sdf in parallel:
# - one for the original spec,
# - one for the dualized spec.
# All agruments are relayed to tlsf-sdf-opt.
set -m # enable 'job control'
@5nizza
5nizza / thinkfan.md
Last active January 31, 2024 22:45
Thinkpad x1 yoga gen 7: thinkfan configuration

Set up thinkfan on Thinkpad x1 yoga gen 7

All the steps for setting up thinkfan on thinkpad x1 yoga gen 7:

  • install sensors (likely)

  • install thinkfan

  • create config file for driver (or whatever it is):