Discover gists

Swift Concurrency Manifesto

Deobfuscating / Unminifying Obfuscated Web App / JavaScript Code

QWxlea's over-engineered zotero template

Faq

What are these %% begin id-pn2xitti%% and %% end id-pn2xitti %% and ^pn2xitti? These are the persistance-markers of the indivual highlights, and the reference-id to that highlight.

The markers are meant for the importer. It will skip all text within those markers, so they stay when updating a zotero-import. Removing a marked block does not work well, it will not be reimported. Don't know how to fix that. If you want to reimport a highlight-block, best is to change the highlight in zotero (for example change the color). This will update the id, and on the next import the new highlight will be imported.

The reference-id is used like this: [[@name-of-the-note#^pn2xitti]]

A tricky problem in Type Theory has a short satisfactory solution. To check if two potentially recursive expressions are equal, first we take the weak head normal form of both sides, without unrolling fixed points. Then, we do:

(F . G) == (G . F)
------------------- Fix=Fix case: apply T6's Theorem
μk(F k) == μk(G k)

(F Y) == Y
------------- Fix=Val case: apply T6's Theorem
μk(F k) == Y

PostgreSQL is Enough

Background and Cron Jobs

This is demo project to show how to use the esp_smartconfig package in Flutter to provision ESP32 devices with smart phone.

Gist is follow-up to video:

Command:

$ fastboot help

Output:

usage: fastboot [OPTION...] COMMAND...

flashing:

	Puts on glasses:

	(•_•)
	( •_•)>⌐■-■
	(⌐■_■)

	Takes off glasses ("mother of god..."):

	(⌐■_■)
	( •_•)>⌐■-■