Skip to content

Instantly share code, notes, and snippets.

@rmnshelest
rmnshelest / tweaks-win10.reg
Created July 11, 2021 12:20 — forked from beeyev/tweaks-win10.reg
Windows 10 must have registry tweaks 2018
Windows Registry Editor Version 5.00
;Remove 'Give access to' Context Menu in Windows 10
[-HKEY_CLASSES_ROOT\*\shellex\ContextMenuHandlers\Sharing]
[-HKEY_CLASSES_ROOT\*\shellex\ContextMenuHandlers\ModernSharing]
[-HKEY_CLASSES_ROOT\Directory\Background\shellex\ContextMenuHandlers\Sharing]
[-HKEY_CLASSES_ROOT\Directory\shellex\ContextMenuHandlers\Sharing]
[-HKEY_CLASSES_ROOT\Directory\shellex\CopyHookHandlers\Sharing]
[-HKEY_CLASSES_ROOT\Directory\shellex\PropertySheetHandlers\Sharing]
[-HKEY_CLASSES_ROOT\Drive\shellex\ContextMenuHandlers\Sharing]
@rmnshelest
rmnshelest / hott.md
Created November 27, 2018 20:02
Homotopy type theory in Python

https://abooij.github.io/wiwikwlhott/

  • univalence axiom
  • higher inductive types

"Both ideas are impossible to capture directly in classical set-theoretic foundations, but when combined in homotopy type theory, they permit an entirely new kind of "logic of homotopy types"." p13

invariance, homotopy

univalence foundations