This file contains 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
{ | |
# nix flake update; nix build .#payload | |
# python proxyclient/tools/run_guest.py -r ../not-os/result/m1n1-linux.bin | |
inputs = { | |
nixpkgs.url = "path:./nixpkgs"; | |
firmware = { | |
url = "path:./firmware"; | |
flake = false; | |
}; | |
cosmocurl = { |
This file contains 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
****** SemanticTextStore.db : | |
CREATE TABLE si_db_info ( | |
schema_version INTEGER | |
); | |
CREATE TABLE si_items ( | |
id BLOB(16) PRIMARY KEY NOT NULL | |
); | |
CREATE TABLE si_diskann_graph ( | |
id INTEGER PRIMARY KEY, |
This file contains 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
0001010100010001110011010000111001101000000001000100010001000100010001000100010001010101010101010101010101010101010101010101010111111111001010111111010101110010101111110101101110010101111110101111010010101111110101111011001010111111011010100101011111101101011110010101111110110110110010101111110101011110010101111110101110110010101111110110101100101011111101010110010101111110101101001010111111010110110010101111110101111011100101011111101011110111100101011111101101011100101011111101101101001100111110011111001111100000100101111111011101110010111111101111011100101111111010100110011001111001111000001001011111110111010010111111101110110010111111100000110000011001011111100000110000010010111110000010000011001011110000010000010000000000101100000110000101100000100111111001111100111100000100000000101100000110000101100000110000101100000100001011000001100111111100111111000001000000000010110111100001011011110111000000000000000000000000000000000000100010001000101010101010101010101010111111111111111111111100001011011111111110 |
This file contains 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
0100010001000100010001000100010101010101010101010101010101010101010100000000000000000000000000000001000100010001010101000000000000000000010001000100010001111100000010111110100000010101010111111111000000000000100010101010111111000001000000000001000001100101110111110111001010111111000001100101010110111110111101101110010001111111000000110111000000101010101011111111111111111111111111001111111111111111001110000010010111110010110000010000011011111001010101011111111111111111000000000010001111100000011011100000010101011111111111111100101110000010000011011110111000010101011000001000000001111111111111111111001010101111111000001000001000001000001100111111110110111110101111110111110111100101111111111111110111110111100101011000001000000001010101111111111110111011111111101111111100000010111111111111111111101100101111111111011010000101101111111111111111110010111111011011111100101010101111111111111111100000000000010101111100000100000000101010111111111111111110111011111101111100000010101011111111111011110111111110100001111111 |
This file contains 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
;; Original code: https://github.com/jart/sectorlisp/blob/main/lisp.lisp | |
;; Runs on LambdaLisp: https://github.com/woodrush/lambdalisp | |
(let ((assoc*) (evcon) (pairlis) (evlis) (apply*) (eval*)) | |
(setq assoc* | |
(lambda (x y) | |
(cond ((eq y ()) ()) | |
((eq x (car (car y))) | |
(cdr (car y))) | |
((quote t) | |
(assoc* x (cdr y)))))) |
This file contains 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
# License: MIT | |
# Copyright (c) 2022 Daniel Garcia-Briseno | |
# | |
# Permission is hereby granted, free of charge, to any person obtaining a copy | |
# of this software and associated documentation files (the "Software"), to deal | |
# in the Software without restriction, including without limitation the rights | |
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
# copies of the Software, and to permit persons to whom the Software is | |
# furnished to do so, subject to the following conditions: | |
# |
This file contains 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
local top = [[ | |
<!DOCTYPE html> | |
<html lang=en> | |
<head> | |
<link rel="icon" href="data:;base64,iVBORw0KGgo="> | |
<meta charset="utf-8"> | |
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> | |
<meta name="description" content="description"> | |
<style> |