Skip to content

Instantly share code, notes, and snippets.

This is reply for moonbit author.

https://twitter.com/bobzhang1988/status/1784065637092089951


I have a slightly different opinion.

TypeScript was an ecosystem that combined a universal escape hatch called any with incremental typing. The community-based DefinitelyTyped provided an experience that, from a personal perspective, expanded the world of typing just by sleeping on it. This is an experience that Flow and ReScript did not provide. Unfortunately.

User authentication system

Your task is now to create a user authentication system.

This document will guide you through all the features and implication of such system, so that you don't have to search them yourself.

We will focus on web/browser-technologies, however similar concept can be widely applied. This guide, is a work in progress, feel free to comment and provide feedbacks.

Expected Workflows

@fauxpark
fauxpark / applefn.patch
Last active April 28, 2024 17:50
QMK Apple Fn
diff --git a/builddefs/common_features.mk b/builddefs/common_features.mk
index 18f8b0bbfc..4ef3e230e4 100644
--- a/builddefs/common_features.mk
+++ b/builddefs/common_features.mk
@@ -878,6 +878,10 @@ ifeq ($(strip $(JOYSTICK_ENABLE)), yes)
endif
endif
+ifeq ($(strip $(APPLE_FN_ENABLE)), yes)
+ OPT_DEFS += -DAPPLE_FN_ENABLE
@bradtraversy
bradtraversy / node_nginx_ssl.md
Last active April 28, 2024 17:49
Node app deploy with nginx & SSL

Node.js Deployment

Steps to deploy a Node.js app to DigitalOcean using PM2, NGINX as a reverse proxy and an SSL from LetsEncrypt

1. Sign up for Digital Ocean

If you use the referal link below, you get $10 free (1 or 2 months) https://m.do.co/c/5424d440c63a

2. Create a droplet and log in via ssh

I will be using the root user, but would suggest creating a new user

@Dan-Q
Dan-Q / bbc-news-rss-filter-sport-out.rb
Last active April 28, 2024 17:48
Improve the BBC News RSS feed by (a) filtering out sport, iplayer links, and BBC sounds links; and (b) stripping the anchor (#0, #1, #2 etc.) off <guid>s so "republished to front page" stories don't re-appear in your feed reader
#!/usr/bin/env ruby
require 'bundler/inline'
# # Sample crontab:
# # Every twenty minutes, run the script and log the results
# */20 * * * * ~/bbc-news-rss-filter-sport-out.rb > ~/bbc-news-rss-filter-sport-out.log 2>>&1
# Dependencies:
# * open-uri - load remote URL content easily
# * nokogiri - parse/filter XML
@TehPeGaSuS
TehPeGaSuS / thelounge_purge.sh
Last active April 28, 2024 17:47
Some useful stuff to use with The Lounge
#!/usr/bin/env bash
#------------------------------------------------------#
# This script was tested on Ubuntu 20.04 and newer #
# #
# This script cleans up the SQLite database, plaintext #
# files and uploaded files #
#------------------------------------------------------#
#-------------------------------------------------------------------------------------#
@devomman
devomman / office-activation.md
Created May 30, 2023 11:01
Office Activation Command by Omman

Office 2021

Method 1: Using my command line

Step 1.1: Open cmd program with administrator rights.

  • First, you need to open cmd in the admin mode, then run all commands below one by one.

Step 1.2: Get into the Office directory in cmd.

  • For x86 and x64
cd /d %ProgramFiles(x86)%\Microsoft Office\Office16
cd /d %ProgramFiles%\Microsoft Office\Office16
@aamiaa
aamiaa / CompleteDiscordQuest.md
Last active April 28, 2024 17:49
Complete Recent Discord Quest

Complete Recent Discord Quest

Note

This no longer works in browser!

Note

This no longer works if you're alone in vc! Somebody else has to join you!

How to use this script:

  1. Accept the quest under User Settings -> Gift Inventory
@joulgs
joulgs / terminal.txt
Last active April 28, 2024 17:42
How install libssl1.1 on ubuntu 22.04
wget http://archive.ubuntu.com/ubuntu/pool/main/o/openssl/libssl1.1_1.1.0g-2ubuntu4_amd64.deb
sudo dpkg -i libssl1.1_1.1.0g-2ubuntu4_amd64.deb