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

Debloating Nox

Nox, despite being the most feature-filled Android emulator, has a lot of negativity surrounding it due to their antics when it comes to making income off of their program. It is known for running repeated advertisments in the background, calling home and passing along system information (outside of your Android instance) as well as a vast amount of potentially sensitive data in an encrypted payload back to their multitude of servers. With the following preventitive measures, we can stop a majority of this happening as well as greatly improve the overall performance.

Download and Install a fresh copy of Nox. The latest version is fine (for now). If you already have it installed, that is fine too. No need to reinstall.
Enable Root Mode on Nox by clicking the gear icon and then checking the Root Startup box.
Install a new Launcher from the Play Store. ANYTHING but Nox's default. I suggest [Nova Launcher](https://play.google.com/s

	;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
	;;
	;; 作者: 李继刚
	;; 日期: 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

	---
	name: plan-exit-review
	version: 2.0.0
	description: \|
	Review a plan thoroughly before implementation. Challenges scope, reviews
	architecture/code quality/tests/performance, and walks through issues
	interactively with opinionated recommendations.
	allowed-tools:
	- Read
	- Grep

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

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