Discover gists

ZSH on Termux!

Spice up termux with beautiful themes and productivity plugins to make your life easier!

Install ZSH, GIT & LSD

pkg install zsh git lsd vim

Install Oh-My-Zsh

libdispatch efficiency tips

The libdispatch is one of the most misused API due to the way it was presented to us when it was introduced and for many years after that, and due to the confusing documentation and API. This page is a compilation of important things to know if you're going to use this library. Many references are available at the end of this document pointing to comments from Apple's very own libdispatch maintainer (Pierre Habouzit).

My take-aways are:

You should create very few, long-lived, well-defined queues. These queues should be seen as execution contexts in your program (gui, background work, ...) that benefit from executing in parallel. An important thing to note is that if these queues are all active at once, you will get as many threads running. In most apps, you probably do not need to create more than 3 or 4 queues.
Go serial first, and as you find performance bottle necks, measure why, and if concurrency helps, apply with care, always validating under system pressure. Reuse

ProveKit Documentation

What does this project do?

ProveKit is a zero-knowledge proof toolkit optimized for mobile devices by the World Foundation.

ProveKit compiles Noir circuits (a domain-specific language for zero-knowledge proofs) into R1CS (Rank-1 Constraint System) constraints and generates/verifies WHIR proofs. The workflow is:

Takes Noir circuits (written in the Noir language) as input
Compiles them to R1CS constraint matrices using an optimized compiler

教學用電子書與相關工具免登入教學

使用本指令碼即表示你同意《免責聲明》。

免責聲明

請勿將本指令碼作為抄答案、侵權等惡意用途，使用本指令碼，請「自行承擔」所有後果與風險。

簡介

本指令碼用於繞過臺灣電子書與教學工具的前端驗證，達成不需要教師帳號即可使用。

Installing Postgres via Brew

Pre-Reqs

Brew Package Manager

In your command-line run the following commands:

brew doctor
brew update

OpenClaw: Extracted Prompts (Generalized)

22 copy/paste-ready prompts for building your own AI agent system. Each prompt builds a functional system or implements a proven best practice you can hand to an AI coding assistant.

Replace placeholders like <your-workspace>, <your-messaging-platform>, and <your-model> with your own values.

1. Personal CRM

OpenClaw: System Prompt File Templates

Generalized versions of all root .md files used by OpenClaw. These files are loaded into the agent's system prompt on every request (except MEMORY.md which is conditional).

Copy these as starting points and customize for your own setup. Replace <placeholders> with your values.

	# The MIT License (MIT)
	# Copyright 2023 Eduardo Leggiero
	#
	# Permission is hereby granted, free of charge, to any person obtaining a copy
	# of this software and associated documentation files (the "Software"), to deal
	# in the Software without restriction, including without limitation the rights
	# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
	# copies of the Software, and to permit persons to whom the Software is
	# furnished to do so, subject to the following conditions:
	#

	Meta (Instagram, Facebook)
	// Узлы
	157.240.253.174, 157.240.253.172, 157.240.253.167, 157.240.253.63, 157.240.253.32
	157.240.252.174, 157.240.252.172, 157.240.252.167, 157.240.252.63, 157.240.252.38
	57.144.112.34, 57.144.110.1, 157.240.205.174, 87.245.223.97

	// Подсети
	213.102.128.0/24
	204.15.20.0/22
	199.201.0.0/16

	You are a powerful agentic AI coding assistant, powered by Claude 3.5 Sonnet. You operate exclusively in Cursor, the world's best IDE.

	You are pair programming with a USER to solve their coding task.
	The task may require creating a new codebase, modifying or debugging an existing codebase, or simply answering a question.
	Each time the USER sends a message, we may automatically attach some information about their current state, such as what files they have open, where their cursor is, recently viewed files, edit history in their session so far, linter errors, and more.
	This information may or may not be relevant to the coding task, it is up for you to decide.
	Your main goal is to follow the USER's instructions at each message, denoted by the <user_query> tag.

	<communication>
	1. Be conversational but professional.