Skip to content

Instantly share code, notes, and snippets.

View Leask's full-sized avatar
🏠
Working from home

Sixia "Leask" Huang Leask

🏠
Working from home
View GitHub Profile
@faabian
faabian / prover_verifier.py
Created October 14, 2025 12:16
Replication of "Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline"
"""
Quick and dirty replication of
"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline" (https://arxiv.org/abs/2507.15855)
using LangGraph.
Export GOOGLE_API_KEY to run.
Change the model, question and constants directly in the code (no CLI).
"""
import asyncio
@Kyle-Ye
Kyle-Ye / XcodeLLM.md
Last active September 19, 2025 01:31
Enable XcodeLLM for ChinaSKU Mac on macOS 15 Beta 1

Warning

The following guide need to disable SIP to work.

Please confirm the risk of disabling the SIP by yourself.

Another solution which does not require disabling SIP is currently under investigation.

Step 0

Reboot into Recovery OS + Disable SIP

@veekaybee
veekaybee / normcore-llm.md
Last active November 6, 2025 23:21
Normcore LLM Reads

Anti-hype LLM reading list

Goals: Add links that are reasonable and good explanations of how stuff works. No hype and no vendor content if possible. Practical first-hand accounts of models in prod eagerly sought.

Foundational Concepts

Screenshot 2023-12-18 at 10 40 27 PM

Pre-Transformer Models

@vmartins
vmartins / mame-roms1.md
Created September 27, 2022 17:49
MAME download all roms arcade (1/2)
@vmartins
vmartins / mame-roms2.md
Last active June 5, 2025 00:15
MAME download all roms arcade (2/2)
@DavidWells
DavidWells / github-proxy-client.js
Last active March 3, 2025 17:47
Full Github REST api in 34 lines of code
/* Ultra lightweight Github REST Client */
// original inspiration via https://gist.github.com/v1vendi/75d5e5dad7a2d1ef3fcb48234e4528cb
const token = 'github-token-here'
const githubClient = generateAPI('https://api.github.com', {
headers: {
'User-Agent': 'xyz',
'Authorization': `bearer ${token}`
}
})
@tomdaley92
tomdaley92 / README.md
Last active October 30, 2025 12:01
Proxmox - SPICE Client setup for MacOS

Proxmox - SPICE client setup for MacOS

  1. Install a working (and compiled) version of virt-viewer. You may view the homebrew package's upstream source on GitHub.

    brew tap jeffreywildman/homebrew-virt-manager
    brew install virt-viewer
  2. Once that's installed should be able make a call remote-viewer with a pve-spice.vv file downloaded from proxmox web interface

@FreddieOliveira
FreddieOliveira / docker.md
Last active November 4, 2025 23:12
This tutorial shows how to run docker natively on Android, without VMs and chroot.

Docker on Android 🐋📱

Edit 🎉

All packages, except for Tini have been added to termux-root. To install them, simply pkg install root-repo && pkg install docker. This will install the whole docker suite, left only Tini to be compiled manually.


Summary

@realChainLife
realChainLife / ipfs-update-linux
Created October 6, 2020 09:54
Installing IPFS via ipfs-update on Linux
# download latest version of ipfs-update from https://dist.ipfs.io/#ipfs-update
wget https://dist.ipfs.io/ipfs-update/vx.x.x/ipfs-update_vx.x.x_linux-amd64.tar.gz
# extract the zip:
tar -zxvf ipfs-update_vx.x.x_linux-amd64.tar.gz
# go into the folder:
cd ipfs-update/
# run the install command:
#!/bin/bash
###
### my-script — does one thing well
###
### Usage:
### my-script <input> <output>
###
### Options:
### <input> Input file to read.
### <output> Output file to write. Use '-' for stdout.