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
#![feature(test)] | |
extern crate test; | |
pub fn tarai(x: i32, y: i32, z: i32) -> i32 { | |
if x <= y { | |
y | |
} else { | |
tarai(tarai(x-1, y, z), tarai(y-1, z, x), tarai(z-1, x, y)) | |
} |
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
#!/bin/sh | |
sysctl -n hw.ncpu |
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
{"lastUpload":"2019-05-28T14:02:17.899Z","extensionVersion":"v3.2.9"} |
We can make this file beautiful and searchable if this error is corrected: It looks like row 7 should actually have 2 columns, instead of 3. in line 6.
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
q ゅ | |
w と | |
e し | |
r こ | |
t ょ | |
a は | |
s s | |
d d | |
f て | |
g た |
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
Update-ExecutionPolicy -Policy RemoteSigned | |
Disable-UAC | |
Disable-BingSearch | |
Disable-GameBarTips | |
# Dark Mode | |
Set-ItemProperty -Path HKCU:\SOFTWARE\Microsoft\Windows\CurrentVersion\Themes\Personalize -Name AppsUseLightTheme -Value 0 -Type Dword -Force | |
Set-ItemProperty -Path HKCU:\SOFTWARE\Microsoft\Windows\CurrentVersion\Themes\Personalize -Name ColorPrevalence -Value 0 -Type Dword -Force |
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
NOTEDIR := src/notebooks | |
NOTESRC := $(wildcard $(NOTEDIR)/*.py) | |
HTML := $(addprefix outputs/, $(notdir $(NOTESRC:%.py=%.html))) | |
JUPYTEXT := poetry run jupytext --to notebook | |
NBCONVERT := poetry run jupyter nbconvert --to html | |
.PRECIOUS: %.ipynb | |
.PHONY: html |
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 'a Tree = | |
| Leaf | |
| Node of 'a * 'a Tree * 'a Tree | |
let bfs (tree: 'a Tree) = | |
[ tree ] | |
|> Seq.unfold | |
(function | |
| [] -> None | |
| h :: t -> |
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
Sourcing python-remove-tests-dir-hook | |
Sourcing python-catch-conflicts-hook.sh | |
Sourcing python-remove-bin-bytecode-hook.sh | |
Sourcing pypa-build-hook | |
Using pypaBuildPhase | |
Sourcing pypa-install-hook | |
Using pypaInstallPhase | |
Sourcing python-imports-check-hook.sh | |
Using pythonImportsCheckPhase | |
Sourcing python-namespaces-hook |
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
Sourcing python-remove-tests-dir-hook | |
Sourcing python-catch-conflicts-hook.sh | |
Sourcing python-remove-bin-bytecode-hook.sh | |
Sourcing pypa-build-hook | |
Using pypaBuildPhase | |
Sourcing pypa-install-hook | |
Using pypaInstallPhase | |
Sourcing python-imports-check-hook.sh | |
Using pythonImportsCheckPhase | |
Sourcing python-namespaces-hook |
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
Sourcing python-remove-tests-dir-hook | |
Sourcing python-catch-conflicts-hook.sh | |
Sourcing python-remove-bin-bytecode-hook.sh | |
Sourcing pypa-build-hook | |
Using pypaBuildPhase | |
Sourcing pypa-install-hook | |
Using pypaInstallPhase | |
Sourcing python-imports-check-hook.sh | |
Using pythonImportsCheckPhase | |
Sourcing python-namespaces-hook |
OlderNewer