Hackergame 2024 Write-up

1
function submitResult() {
2
  const inputs = document.querySelectorAll(".input-box");
3
  let allCorrect = true;
4

5
  inputs.forEach((input) => {
6
    if (input.value !== answers[input.id]) {
7
      allCorrect = false;
8
      input.classList.add("wrong");
9
    } else {
10
      input.classList.add("correct");
11
    }
12
  });
13

14
  window.location = `?pass=${allCorrect}`;
15
}

1
fetch("/game", {
2
  method: "POST",
3
  headers: {
4
    "Content-Type": "application/json",
5
  },
6
  body: JSON.stringify({}),
7
})
8
  .then((response) => response.json())
9
  .then((data) => {
10
    console.log(data);
11
    const inputs = [];
12
    data["values"].forEach(([a, b]) => {
13
      if (a > b) {
14
        inputs.push(">");
15
      } else {
16
        inputs.push("<");
17
      }
18
    });
19
    console.log(inputs);
20

21
    setTimeout(() => {
22
      submit(inputs);
23
    }, 5000);
24
  })
25
  .catch((error) => {
26
    document.getElementById("dialog").textContent = "加载失败，请刷新页面重试";
27
  });

1
@app.route("/view")
2
def view():
3
    conversation_id = request.args.get("conversation_id")
4
    results = execute_query(f"select title, contents from messages where id = '{conversation_id}'")
5
    return render_template("view.html", message=Message(None, results[0], results[1]))

1
select title, contents from messages where id = '' UNION SELECT GROUP_CONCAT(title, ' ') as all_titles, GROUP_CONCAT(contents, ' ') as all_contents FROM messages

9 collapsed lines
1
from flask import Flask, render_template, request, flash, redirect
2
import json
3
import os
4
import traceback
5
import secrets
6

7
app = Flask(__name__)
8
app.secret_key = secrets.token_urlsafe(64)
9

10
UPLOAD_DIR = "/tmp/uploads"
30 collapsed lines
11

12
os.makedirs(UPLOAD_DIR, exist_ok=True)
13

14
# results is a list
15
try:
16
    with open("results.json") as f:
17
        results = json.load(f)
18
except FileNotFoundError:
19
    results = []
20
    with open("results.json", "w") as f:
21
        json.dump(results, f)
22

23

24
def get_answer():
25
    # scoring with answer
26
    # I could change answers anytime so let's just load it every time
27
    with open("answers.json") as f:
28
        answers = json.load(f)
29
        # sanitize answer
30
        for idx, i in enumerate(answers):
31
            if i < 0:
32
                answers[idx] = 0
33
    return answers
34

35

36
@app.route("/", methods=["GET"])
37
def index():
38
    return render_template("index.html", results=sorted(results))
39

40

41
@app.route("/submit", methods=["POST"])
42
def submit():
43
    if "file" not in request.files or request.files['file'].filename == "":
44
        flash("你忘了上传文件")
45
        return redirect("/")
46
    file = request.files['file']
47
    filename = file.filename
48
    filepath = os.path.join(UPLOAD_DIR, filename)
49
    file.save(filepath)
22 collapsed lines
50

51
    answers = get_answer()
52
    try:
53
        with open(filepath) as f:
54
            user = json.load(f)
55
    except json.decoder.JSONDecodeError:
56
        flash("你提交的好像不是 JSON")
57
        return redirect("/")
58
    try:
59
        score = 0
60
        for idx, i in enumerate(answers):
61
            score += (i - user[idx]) * (i - user[idx])
62
    except:
63
        flash("分数计算出现错误")
64
        traceback.print_exc()
65
        return redirect("/")
66
    # ok, update results
67
    results.append(score)
68
    with open("results.json", "w") as f:
69
        json.dump(results, f)
70
    flash(f"评测成功，你的平方差为 {score}")
71
    return redirect("/")

1
from tokenizers import Tokenizer
2

3
tokenizer = Tokenizer.from_pretrained("afrias5/Allama370b")
4

5
with open("source.html", "r", encoding="utf-8") as f:
6
    content = f.read()
7
    output = tokenizer.encode(content)
8
    print(len(output.tokens))

1
print('(0|1|2|3|4|5|6|7|8|9)*' + '(' + '|'.join(f'{i:04d}' for i in range(0, 10000, 16)) + ')')