Namdak Tonpa 5HT

🌐

I'm very skeptical that person without empathy can create beautiful mathematics.

Wandering Artist

5HT / longchenpa.txt

Created November 2, 2025 02:56

	tonpa@TRISTELLAR:~/depot/longchenpa/longchenpa.guru$ tree -dL 4 .
	.
	├── 'khor.zhag
	│ ├── 'brug.yul
	│ ├── bal.yul
	│ │ └── yang.le.shod
	│ ├── bod
	│ │ └── gangs.ri.mtho.dkar
	│ ├── pa.ki.si.than
	│ ├── rgya.gar

5HT / gist:cebfbc367d6214812324ab61e7c095cf

Last active August 5, 2025 09:54

	Перелік проблемних сторінок на ендпойнті FHIR/INGREDIENTS при видачі по 100

	https://drlz.info/api/docs/#/FHIR/apps_api_fhir_routers_get_ingredients

	Fatal Error: <<"Traceback (most recent call last):\n File \"/usr/local/lib/python3.7/site-packages/ninja/operation.py\", line 105, in run\n return self._result_to_response(request, result, temporal_response)\n File \"/usr/local/lib/python3.7/site-packages/ninja/operation.py\", line 202, in _result_to_response\n result = response_model.from_orm(resp_object).dict(\n File \"/usr/local/lib/python3.7/site-packages/ninja/schema.py\", line 164, in from_orm\n return super().from_orm(obj)\n File \"pydantic/main.py\", line 574, in pydantic.main.BaseModel.from_orm\npydantic.error_wrappers.ValidationError: 21 validation errors for NinjaResponseSchema\nresponse -> items -> 78 -> substance -> strength -> concentrationRatio -> denominator -> value\n none is not an allowed value (type=type_error.none.not_allowed)\nresponse -> items -> 79 -> substance -> strength -

5HT / sem-compare.txt

Last active July 30, 2025 06:19

Semaphore Implementation in TRON, QNX, BeOS and NuttX

	Let's Write Scientific Article About Comparison of Semaphore Implementation in different Real-Time OS: TRON, QNX, BeOS, NuttX:

	Our Intention is to buils refined API on all thoese API to achieve best real-time performance and idiomatic implementation.
	Could you propose your version of Real-Time Semaphore implementation that is far better in terms of provability
	of correcntess (simplicity) and performance?

	BeOS:

	status_t acquire_sem(sem_id sem);
	status_t acquire_sem_etc(sem_id sem, uint32 count, uint32 flags, bigtime_t timeout);

5HT / SkynetRT.tree

Last active July 31, 2025 12:39

tree -d -L 4 .

	tonpa@TRISTELLAR:~/depot/skynetrt/rt$ tree -dL 4 .
	.
	├── apps
	│ ├── init
	│ ├── nsh
	│ └── skynet
	├── drivers
	│ ├── eeprom
	│ ├── fdt
	│ ├── i2c

5HT / gist:dcdbf58317090935bacbc2aa043ff516

Last active July 19, 2025 22:05

RTS 1.0

	maxim@raspberrypi:~/depot/bitedits/rts $ tree -d -L 4 .
	.
	├── apps
	│ ├── hello
	│ ├── init
	│ └── nsh
	├── drivers
	│ ├── devicetree
	│ ├── eeprom
	│ ├── i2c

5HT / .config

Last active July 3, 2025 13:38

NuttX Configuration macOS

	# macOS

	#
	# Automatically generated file; DO NOT EDIT.
	# NuttX/x86_64 Configuration
	#

	#
	# License Setup
	#

5HT / .config

Last active July 3, 2025 13:22

NuttX Configuration Linux

	# linux

	#
	# Automatically generated file; DO NOT EDIT.
	# NuttX/x86_64 Configuration
	#

	#
	# License Setup
	#

5HT / Pythagorean-Theorem.coq

Created May 31, 2025 01:50

	Parameter Point : Set.(* Define congruence of segments, written as AB ≡ CD *)
	Parameter Cong : Point -> Point -> Point -> Point -> Prop.
	Notation "A B ≡ C D" := (Cong A B C D) (at level 70).(* Define betweenness: B is between A and C, written A-B-C *)
	Parameter Bet : Point -> Point -> Point -> Prop.
	Notation "A - B - C" := (Bet A B C) (at level 70).(* Define perpendicularity: line AB ⊥ CD *)
	Parameter Perp : Point -> Point -> Point -> Point -> Prop.
	Notation "A B ⊥ C D" := (Perp A B C D) (at level 70).(* Congruence is an equivalence relation *)
	Axiom Cong_refl : forall A B, A B ≡ A B.
	Axiom Cong_sym : forall A B C D, A B ≡ C D -> C D ≡ A B.
	Axiom Cong_trans : forall A B C D E F, A B ≡ C D -> C D ≡ E F -> A B ≡ E F.(* Identity axiom for congruence *)

5HT / consciousness.txt

Created May 27, 2025 03:37

	Volume VIII: Consciousness
	==========================

	Kuhn arrays all the theories on a linear spectrum, simplistically and roughly,
	from the most physical on the left (at the beginning) to the least physical
	on the right (near the end).

	* Physicalism
	* Non-Reductive Physicalism
	* Integrated Information Theory

5HT / gist:77a1be40baa6b79998e3a091add9b283

Created April 11, 2025 20:29

https://x.com/5htco/status/1910790679451906457

	Ця система типів є фундаментом і алгебраїчної геометрії тому шо квантор узагальнення Pi
	є нетривіальним ізоморфізмом до розшарування Fiber Bundle, використовується як
	основний примітив алгебраїчної геометрії.

	type term =

	I) Мова складається з 5 слів. 2 слова універсальні для всіх типізованих мов програмування.

	1) Перше слово --- це "Змінна" --- інтуітивно природнє поняття, яке показує іменоване алфавітами або числами місце в програмі-реченні, що може містити інші програми-речення.