Tci Gravifer Fang Gravifer

What is Confer

a conversation thread with the confer.to LLM; manually copied

What is confer?

Confer is a private, end-to-end encrypted AI assistant created by Moxie Marlinspike, the founder of Signal. It's designed with a strong focus on user privacy—so much so that your conversations are truly private by design, not just policy. Here's what makes Confer stand out:

🔐 Privacy-First Design

Keybase proof

I hereby claim:

I am gravifer on github.
I am gravifer (https://keybase.io/gravifer) on keybase.
I have a public key ASBLuTT6HCVvb3tmggve9xUor4X4KC6p259_SWje4Qmgrgo

To claim this, I am signing this object:

最大的英文字母反切封闭集合是什么？ - 方讫的回答 - 知乎

Mathematica one-liners

Visualize a block matrix mat

MatrixForm[{Grid[Map[Grid, mat, {2}], Dividers -> Center]}]

performance notes

In prototyping, you may use something like

My BucketList

This list is still far from complete.
Coq
Lean (prover)
Haskell
OCaml

	# <https://github.com/orgs/community/discussions/6874>, where I cannot even find the source of the Bash version I based this on; this Web UX is c**p
	gh api `
	--method PUT `
	-H "Accept: application/vnd.github+json" `
	/notifications `
	-f last_read_at="$(date -Format +'YYYY-MM-DDTHH:MM:SSZ')" `
	-F read=true

	import Lean

	open Lean

	deriving instance Repr for ParserDescr

	unsafe def getParserDescrUnsafe (name : Name) : CoreM (Option ParserDescr) := do
	let info ← getConstInfo name
	if info.type.isConstOf ``ParserDescr \|\| info.type.isConstOf ``TrailingParserDescr then
	return some (← evalConst ParserDescr info.name)

	# https://chatgpt.com/share/674595bf-959c-8007-ab19-7a9d55328526
	class BucketStack:
	def __init__(self):
	self.stack = []

	def push(self, bucket):
	self.stack.append(bucket)

	def pop(self):
	if self.stack:

	# see https://github.com/microsoft/terminal/issues/4066#issuecomment-991775872

	# Feature deprecated
	# # A Light colorScheme is bound as counterpart to one and only one Dark colorScheme.
	# # To configure two colorSchemes as a pair, select one of them as default in dark mode,
	# # switch to light mode, select the other as default, then switch back to dark mode;
	# # the script will now toggle this pair correctly for any other profile.

	param(
	[String] $themeMode, # if not provided, default to the opposite of the mode recorded in the config file

	$dependencies = @(
	"Get-GeoLocationCoordinates",
	)
	foreach ($script in ){
	iex ((New-Object System.Net.WebClient).DownloadString("https://gist.githubusercontent.com/Gravifer/a0012ea5f115bf48bc652c1b02845bd8/raw/d6d06a82ed8282e14aed0f258ff39b8e89dcf01e/$script.ps1"))
	}

	function Get-GeoCodeCoordinatesAddress {
	param (
	[Parameter(ValueFromPipeline=$true)]