Rijnard van Tonder rvantonder

nof1.ai Alpha Arena 提示词工程逆向分析

逆向工程说明: 本文档基于 nof1.ai Alpha Arena 的公开文档、交易行为模式、API 响应格式和社区讨论,系统性地逆向推导出其 System Prompt 和 User Prompt 的完整结构，欢迎各路大佬戳戳评论，一起来进行这个有趣的实验。

Indentation sensitive parser combinators

An indentation sensitive parser combinator language is one that helps you express ideas like "this parse only succeeds if it's within the current indentation block". The concept is somewhat small and elegant and is implemented in a few libraries. In this writeup, I will use examples from indents.

Background and goal

The direct goal will be to write the sameOrIndented parser combinator with a type

Factorio Server

This guide assumes you are using Ubuntu and have some basic linux command-line know-how.

Download

Download the server https://www.factorio.com/download-headless/stable:

	Sui Move instructions (.move files):

	- Sui is an object-oriented blockchain. Sui smart contracts are written in the Move language.

	- Sui's object ownership model guarantees that the sender of a transaction has permission to use the objects it passes to functions as arguments.

	- Sui object ownership model in a nutshell:
	- Single owner objects: owned by a single address - granting it exclusive control over the object.
	- Shared objects: any address can use them in transactions and pass them to functions.
	- Immutable objects: like Shared objects, any address can use them, but they are read-only.

	(* Arithmetic with Binary numbers (unsigned, arbitrary precision!) *)

	type digit = Zero \| One
	type t = digit list

	let rec eq a b =
	match a, b with
	\| [], [] -> true
	\| da :: a, db :: b when da = db -> eq a b
	\| _ -> false

	module Reader = struct
	type ('e, 'a) t = Reader of ('e -> 'a)

	let run = function
	\| Reader r -> r

	let map f m = Reader (fun env -> f (run m env))

	let bind f m = Reader (fun env -> run (f (run m env)) env)

	open Lwt

	let block_size = 256 * 4096
	let ifd = Lwt_unix.stdin
	let ofd = Lwt_unix.stdout

	let print spd =
	try_lwt
	Lwt_io.eprintf "%s\r" (Speed.to_string spd)
	with Speed.Undefined -> return_unit

	package main
	//Thanks to http://ecs.victoria.ac.nz/foswiki/pub/Main/TechnicalReportSeries/ECSTR11-01.pdf

	import (
	"fmt"
	)

	//We will have multiple car parts
	type CarPart interface {
	Accept(CarPartVisitor)