Skip to content

Instantly share code, notes, and snippets.

View redthing1's full-sized avatar

red thing redthing1

  • the eternal wonders of space
  • California
View GitHub Profile
@smo0z
smo0z / ProtonLaunch.sh
Last active November 30, 2024 07:20
Proton Launch Script
#!/bin/sh
# Application path
APP_PATH="$(dirname "${BASH_SOURCE[0]}")"
cd "$APP_PATH"
# Executable file
APP_EXEC="$APP_PATH/.exe"
# Steam / IDs
@yifanlu
yifanlu / Ghidra-OSX-Launcher-Script.scpt
Last active April 16, 2025 20:01
Ghidra.app launcher for OSX
@swlaschin
swlaschin / effective-fsharp.md
Last active October 20, 2024 12:47
Effective F#, tips and tricks

Architecture

  • Use Onion architecture

    • Dependencies go inwards. That is, the Core domain doesn't know about outside layers
  • Use pipeline model to implement workflows/use-cases/stories

    • Business logic makes decisions
    • IO does storage with minimal logic
    • Keep Business logic and IO separate
  • Keep IO at edges

@hax0kartik
hax0kartik / export_symbol.idc
Last active September 5, 2024 15:05
Export symbols from IDA to a ghidra importable symbol file
#include <idc.idc>
static FuncDump(f, start)
{
auto ea, str, count, ref;
auto end;
auto teststr;
ea = start;
@Brottweiler
Brottweiler / syyu.md
Created February 22, 2019 21:58
pacman -Syyu vs. pacman -Syu

pacman -Syu

  • User: Hey server do you have any new packages or updates or changes at all
  • Server: no
  • User: Ok bye

pacman -Syyu

  • User: hey server do you have any new packages or updates at all
  • Server: no
@MIvanchev
MIvanchev / article.md
Last active January 18, 2025 11:09
Ever wondered what it takes to run Windows software on ARM? Then this article might be for you!
@artizirk
artizirk / id_rsa to pem converting.md
Last active January 20, 2024 10:37
Converting openssh private key format to pem

Converting openssh private key format to pem

man page says that you can use -e option to convert private and public keys to other formats, that seems to be wrong. Instead you can use -p option to request changing the password but not actually setting the password.

ssh-keygen -p -f id_rsa -m pem

Converting pem to OpenPGP

Monkeysphere project includes a pem2openpgp command that can be used to import ssh private keys to gnupg keyring.

@PedroHLC
PedroHLC / kdeconnect.service
Created October 9, 2018 02:37
What I'm using to start kdeconnect in archlinux with i3 right now...
[Unit]
Description=KDE Connect
After=graphical.target
[Service]
Environment=DISPLAY=:0
ExecStart=/usr/lib/kdeconnectd
ExecStop=/usr/bin/kquitapp5 kdeconnectd
Restart=on-failure
BusName=org.kde.kdeconnect
@richlander
richlander / instructions.md
Last active March 24, 2024 14:54
Installing .NET Core 3.0 on Linux ARM64

Installing .NET Core on Linux ARM64

The following intructions can be used to install .NET Core on Linux ARM64.

Pro tip: Check out .NET Core Docker files to determine the exact instructions for installing .NET Core builds, for example .NET Core 3.1 ARM32 SDK Dockerfile.

Installing .NET Core Globally

The following instructions install the latest .NET Core globally. It isn't required to do that, but it provides the best experience.

@abcdefg30
abcdefg30 / installation.md
Last active April 10, 2025 12:31
Unofficial, manual content installation for OpenRA

Manual (unrecommended) installation of the required content files for OpenRA

⚠️ This method is not recommended and should only be applied if automatic installation fails. Success of manually installing the files can not be guaranteed. ⚠️

⚠️ The automatic installation may fail for non-english content. OpenRA does not support other languages at the current stage of development and no such content should be installed. ⚠️

⚠️ Manually installing files can corrupt your game and lead to crashes. ⚠️

If you have trouble with automatic installation, please contact the developers (via IRC, our forum, the webpage comments or our issue tracker) before attempting a manual install.