Code is clean if it can be understood easily – by everyone on the team. Clean code can be read and enhanced by a developer other than its original author. With understandability comes readability, changeability, extensibility and maintainability.
Magic words:
psql -U postgresSome interesting flags (to see all, use -h or --help depending on your psql version):
-E: will describe the underlaying queries of the \ commands (cool for learning!)-l: psql will list all databases and then exit (useful if the user you connect with doesn't has a default database, like at AWS RDS)
| import tiktoken | |
| import langdetect | |
| T = tiktoken.get_encoding("o200k_base") | |
| length_dict = {} | |
| for i in range(T.n_vocab): | |
| try: | |
| length_dict[i] = len(T.decode([i])) | |
| except: |
| #!/bin/bash | |
| sudo add-apt-repository -y ppa:git-core/ppa | |
| sudo apt-get update | |
| sudo apt-get install git -y |
| Read this file first. | |
| Then read the comments at the top of parity_test.c | |
| Then read the comments above each algorithm implementation in parity.c | |
| So there I was talking about efficient implemetation of fundamental functions | |
| with Palmer over at SiFive. Back in the day, I used to participate in informal | |
| contests on rec.games.programmer to see who could craft the most efficient | |
| implementations for population count or bit reversal or bit-blitting. For | |
| programmer types, it's great fun. |
Discord timestamps can be useful for specifying a date/time across multiple users time zones. They work with the Unix Timestamp format and can be posted by regular users as well as bots and applications.
The Epoch Unix Time Stamp Converter is a good way to quickly generate a timestamp. For the examples below I will be using the Time Stamp of 1543392060, which represents November 28th, 2018 at 09:01:00 hours for my local time zone (GMT+0100 Central European Standard Time).
| Style | Input | Output (12-hour clock) | Output (24-hour clock) |
|---|---|---|---|
| Default | <t:1543392060> |
November 28, 2018 9:01 AM | 28 November 2018 09:01 |
Windows 2012 R2 Essentials: http://download.microsoft.com/download/8/F/7/8F7024D2-AB2A-4BE2-8406-1E3AC49C5C1F/9600.16384.WINBLUE_RTM.130821-1623_X64FRE_SERVER_SOLUTION_EN-US-IRM_SSSO_X64FRE_EN-US_DV5.ISO
Windows 2016: https://software-download.microsoft.com/download/pr/Windows_Server_2016_Datacenter_EVAL_en-us_14393_refresh.ISO
Windows 2019 Essentials: https://software-download.microsoft.com/download/pr/17763.737.190906-2324.rs5_release_svc_refresh_SERVERESSENTIALS_OEM_x64FRE_en-us_1.iso
How to interface with a Ajazz Stream Deck device.
The device uses the HID protocol to communicate with its software.
The number of keys can be determined from the HID device descriptors. There is currently no known provision to determine their layout or size. The buttons on the current version of the device (AKP153)
| // In light of the TOS change at Gumroad, I've modified a script by @Fhurai that will categorize all the download links with their | |
| // original asset page. In order to use this, navigate to https://app.gumroad.com/library and open your DevTools. Then paste the | |
| // following code into the Console. See more info at https://blog.wzyss.dev/easily-archive-your-gumroad-library/ | |
| async function fetchUrls(link) { | |
| // Fetch and process URLs from the given link | |
| return fetch(link) | |
| .then(res => res.text()) | |
| .then(text => { | |
| let parser = new DOMParser(); |
Here is an updated list of the colors that are currently implemented with a name.
To using colors on discord.js, this is a typedef Colors, Colors.Aqua to get the Aqua color.
| Name | Int value | Hex Code |
|---|---|---|
Default |
0 | #000000 |
Aqua |
1752220 | #1ABC9C |
DarkAqua |
1146986 | #11806A |
Green |
5763719 | #57F287 |
DarkGreen |
2067276 | #1F8B4C |