| // ==UserScript== | |
| // @name Djinni Quick Apply Pro | |
| // @namespace http://tampermonkey.net/ | |
| // @version 2.2.0 | |
| // @description Automate job applications on Djinni.co directly via Tampermonkey | |
| // @author You | |
| // @match https://djinni.co/* | |
| // @grant none | |
| // ==/UserScript== |
| ✘ ~/projects/mm0 learn ±✚ ./examples/test_pub_theorem.sh | |
| === Setting up test files === | |
| === First Verification (Base case) === | |
| elab test_thm.mm1 | |
| elabbed test_thm.mm1 | |
| 1 sorts, 1 term/def, 3 ax/thm | |
| Verification succeeded! | |
| === Experiment 1: Adding a new PUB theorem not declared in MM0 === | |
| elab test_thm.mm1 | |
| elabbed test_thm.mm1 |
| (async () => { | |
| const sleep = (ms) => new Promise((r) => setTimeout(r, ms)); | |
| // 1. Locate the true feed scroll container | |
| let container = document.querySelector('[data-scrollable]'); | |
| if (!container) { | |
| const feed = document.querySelector('[data-feed-group]'); | |
| if (feed) { | |
| let p = feed.parentElement; | |
| while (p && p !== document.body) { |
These dump the entire function representation at major compilation boundaries:
set_option trace.Compiler.init trueset_option trace.Compiler.saveBase true