Skip to content

Instantly share code, notes, and snippets.

View razetime's full-sized avatar
⤵️
real

Raghu R razetime

⤵️
real
View GitHub Profile
@razetime
razetime / felix_build_err.txt
Created October 26, 2022 07:43
Felix build error on latest commit
$ . buildscript/linuxsetup.sh
$ make
# =========================================================
# generates source code from "src/packages" to various places
# around the repo
# =========================================================
python3 src/tools/flx_iscr.py -q -d "src/packages" build/release
PACKAGE src/packages/exceptions.fdoc
PACKAGE src/packages/recognisers.fdoc
PACKAGE src/packages/py_bytearray.fdoc
@razetime
razetime / felix.log
Created October 28, 2022 02:35
for issue #175
This file has been truncated, but you can view the full file.
# =========================================================
# generates source code from "src/packages" to various places
# around the repo
# =========================================================
python3 src/tools/flx_iscr.py -q -d "src/packages" build/release
PACKAGE src/packages/exceptions.fdoc
PACKAGE src/packages/recognisers.fdoc
PACKAGE src/packages/py_bytearray.fdoc
PACKAGE src/packages/toolchain.fdoc
PACKAGE src/packages/unique.fdoc
This file has been truncated, but you can view the full file.
MainThread: starting '/home/razetime/.opam/default/bin/ocamldep.opt -modules src/compiler/ocs/src/ocs_wrap.ml'
* ocamldep.opt : src/compiler/ocs/src/ocs_wrap.ml
+ /home/razetime/.opam/default/bin/ocamldep.opt -modules src/compiler/ocs/src/ocs_wrap.ml
src/compiler/ocs/src/ocs_wrap.ml: Ocs_error Ocs_types
- exit 0, 0.03 sec
MainThread: starting '/home/razetime/.opam/default/bin/ocamldep.opt -modules src/compiler/ocs/src/ocs_error.ml'
* ocamldep.opt : src/compiler/ocs/src/ocs_error.ml
+ /home/razetime/.opam/default/bin/ocamldep.opt -modules src/compiler/ocs/src/ocs_error.ml
src/compiler/ocs/src/ocs_error.ml:
- exit 0, 0.01 sec
@razetime
razetime / 17-jan-clang-repl
Last active January 17, 2024 02:43
Polygeist compilation messages
[4268/5624] Linking CXX executable bin/clang-repl
FAILED: bin/clang-repl
: && /usr/bin/c++ -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -fno-lifetime-dse -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wno-missing-field-initializers -pedantic -Wno-long-long -Wimplicit-fallt
hrough -Wno-maybe-uninitialized -Wno-nonnull -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-c
olor -fn
@razetime
razetime / 15-draft.md
Last active January 18, 2024 06:10
chapter 15

Tables and Libraries

ngn/k has a hidden, somewhat secret data structure: the table. Tables are a prominent presence in k7 and k9, the latest versions of K, so ngn/k supports them for that reason.

Tables

A table uses symbols to mark columns, and integer indices to mark rows. Making a table is simple. The first method is flipping a dictionary1:

@razetime
razetime / mlc_error_fp8_1
Created May 3, 2024 15:21
MLC FP8 error 1
[2024-05-02 23:38:12] INFO auto_config.py:115: Found model configuration: dist/models/RedPajama-INCITE-Chat-3B-v1/config.json
[2024-05-02 23:38:12] INFO auto_device.py:79: Found device: cuda:0
[2024-05-02 23:38:13] INFO auto_device.py:88: Not found device: rocm:0
[2024-05-02 23:38:14] INFO auto_device.py:88: Not found device: metal:0
[2024-05-02 23:38:14] INFO auto_device.py:79: Found device: vulkan:0
[2024-05-02 23:38:14] INFO auto_device.py:79: Found device: vulkan:1
[2024-05-02 23:38:15] INFO auto_device.py:88: Not found device: opencl:0
[2024-05-02 23:38:15] INFO auto_device.py:35: Using device: cuda:0
[2024-05-02 23:38:15] INFO auto_weight.py:70: Finding weights in: dist/models/RedPajama-INCITE-Chat-3B-v1
[2024-05-02 23:38:15] INFO auto_weight.py:129: Found source weight format: huggingface-torch. Source configuration: dist/models/RedPajama-INCITE-Chat-3B-v1/pytorch_model.bin
@razetime
razetime / notofund
Created May 10, 2024 02:35
not found
[2024-05-10 10:29:59] INFO auto_device.py:79: Found device: cuda:0
[2024-05-10 10:30:00] INFO auto_device.py:88: Not found device: rocm:0
[2024-05-10 10:30:01] INFO auto_device.py:88: Not found device: metal:0
[2024-05-10 10:30:01] INFO auto_device.py:79: Found device: vulkan:0
[2024-05-10 10:30:01] INFO auto_device.py:79: Found device: vulkan:1
[2024-05-10 10:30:02] INFO auto_device.py:88: Not found device: opencl:0
[2024-05-10 10:30:02] INFO auto_device.py:35: Using device: cuda:0