Skip to content

Instantly share code, notes, and snippets.

@ingenieroariel
ingenieroariel / flake.nix
Last active December 1, 2024 23:08
Arcan on stage 1
{
# 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 = {
@dfeldman
dfeldman / gist:5a5630d28b8336f403123c071cfdac9e
Created June 5, 2024 15:48
Database Schema for Microsoft's Copilot+Recall feature
****** 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,
@woodrush
woodrush / sectorlisp-def.blc
Created September 28, 2022 07:44
SectorLISP with READ, PRINT, and DEF in binary lambda calculus
0001010100010001110011010000111001101000000001000100010001000100010001000100010001010101010101010101010101010101010101010101010111111111001010111111010101110010101111110101101110010101111110101111010010101111110101111011001010111111011010100101011111101101011110010101111110110110110010101111110101011110010101111110101110110010101111110110101100101011111101010110010101111110101101001010111111010110110010101111110101111011100101011111101011110111100101011111101101011100101011111101101101001100111110011111001111100000100101111111011101110010111111101111011100101111111010100110011001111001111000001001011111110111010010111111101110110010111111100000110000011001011111100000110000010010111110000010000011001011110000010000010000000000101100000110000101100000100111111001111100111100000100000000101100000110000101100000110000101100000100001011000001100111111100111111000001000000000010110111100001011011110111000000000000000000000000000000000000100010001000101010101010101010101010111111111111111111111100001011011111111110
@woodrush
woodrush / sectorlisp.blc
Last active September 29, 2022 04:25
SectorLISP with PRINT and READ in binary lambda calculus
0100010001000100010001000100010101010101010101010101010101010101010100000000000000000000000000000001000100010001010101000000000000000000010001000100010001111100000010111110100000010101010111111111000000000000100010101010111111000001000000000001000001100101110111110111001010111111000001100101010110111110111101101110010001111111000000110111000000101010101011111111111111111111111111001111111111111111001110000010010111110010110000010000011011111001010101011111111111111111000000000010001111100000011011100000010101011111111111111100101110000010000011011110111000010101011000001000000001111111111111111111001010101111111000001000001000001000001100111111110110111110101111110111110111100101111111111111110111110111100101011000001000000001010101111111111110111011111111101111111100000010111111111111111111101100101111111111011010000101101111111111111111110010111111011011111100101010101111111111111111100000000000010101111100000100000000101010111111111111111110111011111101111100000010101011111111111011110111111110100001111111
@woodrush
woodrush / metacircular.lisp
Created September 20, 2022 14:50
Metacircular evaluator for LambdaLisp
;; 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))))))
@dangarbri
dangarbri / Makefile
Last active May 18, 2024 21:08
Makefile for building programs with cosmopolitan libc
# 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:
#
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>