Oracle 1: Perfect Retrieval Suppose an oracle answers every factual question instantly. The model never forgets anything. Question: Does theorem proving become easy? If not, then factual knowledge wasn't the issue. This separates memory from reasoning. Oracle 2: Perfect Search Suppose an oracle instantly returns the best next action among all possibilities. Question:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import torch | |
| import torch.nn as nn | |
| from tqdm import tqdm | |
| # --- CONFIG --- | |
| DIM = 2048 | |
| BLOCK_SIZE = 16 | |
| LR = 0.01 | |
| ITERATIONS = 100 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ./llama-server \ | |
| -m gemma-4-12B-it-Q4_K_M.gguf \ # Target model | |
| -md gemma-4-12B-it-assistant-Q5_K_M.gguf \ # MTP drafter (small ~0.4B) | |
| --spec-type draft-mtp \ # Enable MTP speculative decoding | |
| --spec-draft-n-max 4 \ # Typically 3-5 for Gemma 4 MTP (experiment) | |
| --spec-draft-n-min 1 \ | |
| -c 131072 \ # Context (try 262144 if you have memory) | |
| --cache-type-k q4_0 \ # 4-bit KV cache | |
| --cache-type-v q4_0 \ | |
| -ngl 99 \ # Offload all layers to GPU |
uv run profile.py ~/.hermes/logs/agent.log
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <stdio.h> | |
| #include <stdlib.h> | |
| #include <string.h> | |
| // Raw dog Interaction Calculus demo in C | |
| // Demonstrates superpositions (SUP), lambdas, apps, global scoping via env | |
| // Uses function pointers for reduction rules and term kinds | |
| typedef enum { | |
| TERM_VAR, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ./build/bin/llama-server \ | |
| -m ~/models/Qwen3.6-35B-A3B-UD-Q4_K_XL.gguf \ | |
| -ngl 99 \ | |
| -c 262144 \ | |
| -np 1 \ | |
| -fa on \ | |
| --jinja --reasoning-format deepseek \ | |
| --cache-type-k q4_0 \ | |
| --cache-type-v q4_0 \ | |
| --host 0.0.0.0 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 76 420680387 THE TRUSTEES OF GRINNELL COLLEGE $1,086,636,902.00 | |
| 227 421143702 IOWA STATE UNIVERSITY FOUNDATION $292,636,627.00 | |
| 491 420698295 MERCY MEDICAL CENTER $97,889,322.00 | |
| 555 844628214 University of Iowa Strategic Initiatives Fund $82,026,731.00 | |
| 637 426139033 COMMUNITY FDN OF GREATER DES MOINES $66,046,696.00 | |
| 711 420680460 DRAKE UNIVERSITY $53,492,350.00 | |
| 760 420796760 STATE UNIVERSITY OF IOWA FOUNDATION $48,287,270.00 | |
| 771 510233180 MERCY HOSPITALCEDAR RAPIDSIA ENDOWMENT $47,162,540.00 | |
| 815 420703280 ST AMBROSE UNIVE |
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ORG_EIN ORG_NAME_L1 SF_01_FRGN_REG_TOT_EXP | |
| 0 980571483 NOVO HOLDINGS AS $23,648,391,120.00 | |
| 1 941156365 THE BOARD OF TRUSTEES OF THE LELAND $18,850,601,940.00 | |
| 2 941105628 KAISER FOUNDATION HOSPITALS $12,144,993,009.00 | |
| 3 210634501 The Trustees of Princeton University $11,728,687,974.00 | |
| 4 350868188 University of Notre Dame du Lac $11,239,145,760.00 | |
| 5 980593375 GAVI ALLIANCE $10,845,619,280.00 | |
| 6 590735717 Howard Hughes Medical Institute $10,526,015,441.00 | |
| 7 60646973 Yale Unive |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| from __future__ import annotations | |
| import sys, argparse, typing, re, unicodedata, json, uuid, time, functools, itertools | |
| from dataclasses import dataclass | |
| from tinygrad import Tensor, nn, UOp, TinyJit, getenv, function | |
| from tinygrad.uop.ops import resolve | |
| from tinygrad.helpers import partition, DEBUG, Timing, GlobalCounters, stderr_log, colored, Context | |
| from tinygrad.viz.serve import TCPServerWithReuse, HTTPRequestHandler | |
| class SimpleTokenizer: | |
| def __init__(self, normal_tokens:dict[str, int], special_tokens:dict[str, int], preset:str="llama3"): |
NewerOlder