git init
git status
git add <whatever>
git commit -am "Initial commit"
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This script copies files pointed to by symlinks from a specified source directory | |
# to a specified destination directory. It takes two command-line arguments: the | |
# source directory containing the symlinks and the destination directory where | |
# the files pointed to by the symlinks will be copied. If the source or destination | |
# directories do not exist, the script will display an error message and exit. | |
# The copied files will retain their original names in the destination directory. | |
# | |
# Typically used to copy files out of users .cache in Ubuntu | |
import os | |
import sys |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
kill -9 $(ps aux | grep dotnet | awk '{print $2}') |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let toTitle (name : string) = | |
if System.String.IsNullOrEmpty name then | |
"" | |
else | |
let s = name.Trim().[0].ToString().ToUpper() | |
// printfn "%s" (name.[0].ToString().ToUpper()) | |
let rest = | |
if name.Length > 1 then | |
name.Substring(1).ToLower() | |
else |
Edit .gitignore
.
Then
git rm -r --cached .
git add .
git commit -m "Commit message"
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
type Page = | |
| IntPage of int | |
| StrPage of string | |
let (|IP|SP|) page = | |
match page with | |
| IntPage _ -> IP | |
| StrPage _ -> SP | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### Keybase proof | |
I hereby claim: | |
* I am fcolavecchia on github. | |
* I am fcolavecchia (https://keybase.io/fcolavecchia) on keybase. | |
* I have a public key ASDgkmNywwaatiSrmhh4MzUs3v7mvao2CYM3zeTST0pMDwo | |
To claim this, I am signing this object: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <stdio.h> | |
// | |
// | |
// | |
#define LAUNCH_BOUNDS // __launch_bounds__(512) | |
#define DEVICE_FUNCTION_QUALIFIERS __device__ |