command | description |
---|---|
ctrl + a | Goto BEGINNING of command line |
Discover gists
set ignorecase | |
set smartcase | |
set scrolloff=3 " 3 lines above/below cursor when scrolling | |
" Emulated Plugins | |
set surround | |
" set easymotion | |
set NERDTree | |
" Copy to system clipboard as well |
Company:
- HOC: Towards an Optimal Computer: why interaction paradigm can improve computers.
- HOC: Can we build an optimal processor?: like above, but as a tweet.
- HOC: Complete Historical Overview: the lore behind HOC's creation.
Theory:
- Interaction Combinators - Y.Lafont 1997: a concurrent model of computation
- Symmetric Interaction Combinators - Damiano Mazza 2009: a symmetric variant (used by HVM)
- The Optimal Implementation of Functional Programming Languages - best book to learn
- [BOHM](https://www.cambridge.org/core/services/aop-cambridge-core/content/
- HEAD : la révision courante (normalement le dernier commit)
- untracked : pas encore versionné
- unmodified : versionné mais pas modifié
- modified : ayant des modifications pas encore ajouté au repo local
- staged : sur le repo local
- fast-forward (ou ff) : explication
With this AutoHotKey script, you can use most macOS style shortcuts (eg, cmd+c, cmd+v, ...) on Windows with a standard PC keyboard.
Note that
- You should disable the
Between input languages
shotcut fromControl Panel\Clock, Language, and Region\Language\Advanced settings > Change lanugage bar hot keys
because it conflicts withcmd + shift + ↑ / ↓ / ← / →
(select text between cursor and top / bottom / beginning of line / end of line) - you shouldn't change the modifier keys mapping with keyboard DIP. This script assumes you use a standard PC keyboard layout, and wish to use shortcuts as if it was a mac keyboard layout.
import homeassistant | |
@service | |
def update_device_areas(): | |
devreg = homeassistant.helpers.device_registry.async_get(hass) | |
entreg = homeassistant.helpers.entity_registry.async_get(hass) | |
areareg = homeassistant.helpers.area_registry.async_get(hass) | |
area_ids = [] |
g.co, Google's official URL shortcut (update: or Google Workspace's domain verification, see bottom), is compromised. People are actively having their Google accounts stolen.
Someone just tried the most sophisticated phishing attack I've ever seen. I almost fell for it. My mind is a little blown.
-
Someone named "Chloe" called me from 650-203-0000 with Caller ID saying "Google". She sounded like a real engineer, the connection was super clear, and she had an American accent. Screenshot.
-
They said that they were from Google Workspace and someone had recently gained access to my account, which they had blocked. They asked me if I had recently logged in from Frankfurt, Germany and I said no.
-
I asked if they can confirm this is Google calling by emailing me from a Google email and they said sure and sent me this email and told me to look for a case number in it, which I saw in