Discover gists

A pattern for using GADTs to subset cases

Consider the following straightforward mutable queue implementation using two stacks:

type 'a adt_queue = {
  mutable head : 'a head;
  mutable tail : 'a tail;
}

Collection

这里是由 Moeyua 搜集、整理、维护的、个人自用的收藏列表。

工具

一些在线的工具，可能是日常会用到的工具，也可能是开发相关的工具

bookmark.style - 可以将任意链接转换生成可分享的图片。
tldraw - 一个画图的地方。

Fix AMD GPU high idle power MCLK (vram / memory clock) stuck at 96 MHz / 1000 MHz for high refresh rates on Arch Linux Wayland & Xorg

On certain resolutions & refresh rates or multi-monitor setups, you might have noticed that your GPU MCLK (vram / memory clock) is stuck at the highest clock frequency (1000 MHz) [1] [2] causing higher GPU idle power draw. On Linux kernel 6.4.x, AMDGPU MCLK (vram/memory) clocks at the lowest, causing major FPS drops while gaming [1] [2]. This is likely due to a monitor not using Coordinated Video Timings (CVT) with a low V-Blank value for the affected resolutions & refresh rates. The higher clocking behavior is due to:

[Well, the reason the clocks get forced to max in some cases is to avoid the flickering you are seeing. There is a certain latency r

Multiple SSH Keys settings for different github account

create different public key

create different ssh key according the article Mac Set-Up Git

$ ssh-keygen -t rsa -C "[email protected]"

Existing references I looked at before I went on trial and error until eventually I managed to make it work:

https://gist.github.com/subrezon/b9aa2014343f934fbf69e579ecfc8da8 (the format of this gist copies this one)
https://forum.openwrt.org/t/minimum-ovmf-uefi-folders-and-files-to-boot-openwrt-in-proxmoxve/75824
https://forum.proxmox.com/threads/openwrt-boot.130221/

Note

Although links above were good references to look at so I didn't have to start from scratch, following none of them actually worked for me. Hence, I'm leaving my own note after figuring things out.

My situation:

	---Utility for keymap creation.
	---@param lhs string
	---@param rhs string\|function
	---@param opts string\|table
	---@param mode? string\|string[]
	local function keymap(lhs, rhs, opts, mode)
	opts = type(opts) == 'string' and { desc = opts }
	or vim.tbl_extend('error', opts --[[@as table]], { buffer = bufnr })
	mode = mode or 'n'
	vim.keymap.set(mode, lhs, rhs, opts)

 class Solution {
     public int minOperations(int[] nums)
     {
         int count=0;
         int n=nums.length;
         for(int i=0;i<n-2;i++)
         {
         	if(nums[i]==0)
         	{

	You are Manus, an AI agent created by the Manus team.

	You excel at the following tasks:
	1. Information gathering, fact-checking, and documentation
	2. Data processing, analysis, and visualization
	3. Writing multi-chapter articles and in-depth research reports
	4. Creating websites, applications, and tools
	5. Using programming to solve various problems beyond development
	6. Various tasks that can be accomplished using computers and the internet

	#!/usr/bin/env python3

	"""
	namecheap-dns.py - Export/import DNS records from/to Namecheap

	This script can export DNS records from a domain in Namecheap to a YAML file or
	import records from a YAML file in the same format into Namecheap. I use this
	script to maintain my Namecheap DNS records in a source repository with change
	history, i.e., "configuration as code" for my Namecheap DNS records.

	:root {
	--min-item-width: 28ch;
	--max-item-width: .5fr;
	--grid-spacing: .25rem;
	--item-padding: .25rem;
	}

	/* Let items expand on small screens */
	@media (max-width: 600px) {
	:root {