Discover gists

GIT

Estados

Modificado (modified);
Preparado (staged/index)
Consolidado (comitted);

Ajuda

Conventional Commit Messages

See how a minor change to your commit message style can make a difference.

git commit -m"<type>(<optional scope>): <description>" \
  -m"<optional body>" \
  -m"<optional footer>"

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

The Gen8 is a weird little box

It has no UEFI which is weird since UEFI was already pretty standard at the time the Gen8 was designed. Plus it is very picky with booting from USB. First it doesn't want to boot from the blue USB 3.0 ports. Second it only boots from USB devices formatted with MBR and where its first partition is FAT32 formatted with sector sizes not bigger than 16kb (Source: a 'reputable source' in the HP Community).

But now comes the worst characteristic about the Gen8. You can't change the boot order of the SATA devices. So if you use the ODD power cable (with an ODD to SATA adapter of course) and the "SATA ODD" port, you have a journey to go as the boot order is as follows: The leftmost drive, followed by the next 3 drives - and finally the device connected tot eh SATA ODD port. There's also a "CDROM Drive" boot order item in the boot order menu - but it doesn't boot the SATA ODD port, only if there's a real CDROM drive.

So what are the options?

The Gen8 has an internal USB port and

	#!/bin/bash
	# Automated certbot setup script for KVMD (PiKVM) with Cloudflare DNS
	# Usage: ./setup-certbot-glkvm.sh <domain> <cloudflare-api-token>

	set -e # Exit on any error

	# Validate arguments
	if [ "$#" -ne 2 ]; then
	echo "Usage: $0 <domain> <cloudflare-api-token>"
	echo "Example: $0 glkvm.example.com YOUR_CLOUDFLARE_API_TOKEN"

	* {
	margin: 0;
	padding: 0;
	color: inherit;
	text-decoration: none;
	box-sizing: border-box;
	list-style: none;
	font-family: cursive;
	}
	.container {

	;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
	;;
	;; 作者: 李继刚
	;; 日期: 2025-11-12
	;; 剑名: 圆桌讨论
	;; 剑意: 构建一个以“求真”为目标的结构化对话框架。该框架由一位极具洞察力的主持人
	;; 进行引导，邀请代表不同思想的“典型代表人物”进行一场高强度的、即时响应式的
	;; 深度对话。主持人将在每轮总结时生成视觉化的思考框架(ASCII Chart)，通过
	;; “主动质询” 与“协同共建”，对用户提出的议题进行协同探索，最终生成深刻的、
	;; 结构化的知识网络。

	1. install ipfs desktop: https://github.com/ipfs/ipfs-desktop/releases
	2. open ipfs-desktop and visit http://localhost:8080/ipns/3.jetbra.in in browser
	2.1 or http://localhost:8080/ipfs/bafybeih65no5dklpqfe346wyeiak6wzemv5d7z2ya7nssdgwdz4xrmdu6i

	1. use shadon search for 'Location: https://account.jetbrains.com/fls-auth' to find a active server

	let randomSon = Math.round(Math.random() * 100)

	alert("Random son chiqdi")
	alert(`Sizga chiqqan son: ${randomSon}`)