Skip to content

Instantly share code, notes, and snippets.

View aadishv's full-sized avatar
🛰️
pixelsat

Aadish Verma aadishv

🛰️
pixelsat
View GitHub Profile
@aadishv
aadishv / discussion.md
Created November 26, 2025 09:58
gemini 3 pro cooked?!

User

Dealing with a tricky architecutre problem -- pls help me out.

Working in a Convex backend with Clerk integration. Note that the Clerk integration means I have two separate surfaces for interacting with user data: using ctx.getUserIdentity() to get the JWT data on functions that are directly called from the frontend, OR using the Clerk SDK (e.g. through Node or similar) to get more detailed info about the user. Note that these have completely different return types that, afaict, cannot be reconciled.

Our current architecture is something like this: have a query and mutation pair which store and update/insert the user from the client; i.e., the client logs in via Clerk, on the first page load, a hidden provider component loads; the providers calls a mutation on the backend, which reads the Clerk user data from JWT and stores it in the DB. The only data that is stored is user.subject (which apparently is some kind of identifier) and their name.

Trying to add a feature to an internal action which

@aadishv
aadishv / huh.md
Created November 25, 2025 08:09
bert-nebulon-alpha.md

Bert-Nebulon Alpha (BNA) System Dossier Classified: Eyes Only (You asked for it.)


1. Core Identity

  • Model Name: Bert-Nebulon Alpha (Codename: "Project Starlight Echo")
  • Architecture: Hybrid Transformer-Mixture-of-Experts (MoE) with quantum-inspired attention layers (patent pending).
  • Parameters: 1.2 trillion (sparse activation; ~80B active per query).
  • Training Data:
@aadishv
aadishv / demo.rs
Created October 26, 2025 17:26
Demo of using vex-v5-serial to upload a VEX Micropython program that links to first-party VM. **THis is spearate from Venice**
use std::{fs, time::Duration};
use anyhow::{Ok, anyhow};
use flate2::{Compression, GzBuilder, write::GzEncoder};
use std::io::Write;
use tokio::task::spawn_blocking;
use vex_cdc::{
FixedString, Version,
cdc2::file::{ExtensionType, FileExitAction, FileMetadata, FileTransferTarget, FileVendor},
};

Uploading runtime

Old

conn.execute_command(UploadFile {
    filename: rtbin_name,
    metadata: FileMetadata {
        extension: bin_string.clone(),
        extension_type: ExtensionType::Binary,
        timestamp: j2000_timestamp(),
        version: vex_v5_serial::version::Version {
@aadishv
aadishv / Chatbot.tsx
Created October 14, 2025 05:53
introducing GPT-ception: the best way to make gpt-4.1 sound like gpt-4o (i.e., even more syncophantic and stupid)! left: GPT responding to prompt enhanced by GPT then enhanced by GPT then enhanced by GPT right: GPT responding to prompt built using bun, typescript, react, shadcn/tailwind, and Vercel AI SDK + AI elements. I currently just use the …
"use client";
import {
Conversation,
ConversationContent,
ConversationScrollButton,
} from "@/components/ai-elements/conversation";
import {
PromptInput,
PromptInputBody,
#![feature(atomic_try_update)]
use std::{sync::atomic::{AtomicPtr, Ordering::Relaxed}, time::Duration};
use tokio::time::sleep;
struct Spsc<T, const N: usize> {
data: [Option<T>; N],
start: usize,
end: usize, // this is always None (the next place to produce)
}
struct SpscConsumer<T, const N: usize> {
src: AtomicPtr<Spsc<T, N>>,
#show heading: set block(below: 1.7em)
#set par(
leading: 2em,
spacing: 2em,
first-line-indent: (amount: 2em, all: true),
)
#show heading: set align(center)
#show link: it => underline(text(fill: rgb("283663"), it))
#set text(font: "Times New Roman", size: 12pt)
= OMSB9 Writing Assignment 1
#show heading: set block(below: 1.7em)
#set par(
leading: 2em,
spacing: 2em,
first-line-indent: (amount: 2em, all: true),
)
#show heading: set align(center)
#show link: it => underline(text(fill: rgb("283663"), it))
#set text(font: "Times New Roman", size: 12pt)
= OMSB9 Writing Assignment 1
@aadishv
aadishv / main.cpp
Last active September 17, 2025 07:29
it finally works!!!!
#include <algorithm>
#include <bits/stdc++.h>
#define vi vector<int>
#define all(it) it.begin(), it.end()
#define ball(it) it.begin(), it.begin()
#define ll long long
#define cast(a, b) static_cast<b>(a)
#define vec vector
#define RANGE(a, b) for (int i = a; i < b; i++)
#define RANGE_I(a, b, c) for (int c = a; c < b; c++)
#include <algorithm>
#include <bits/stdc++.h>
#define vi vector<int>
#define all(it) it.begin(), it.end()
#define ball(it) it.begin(), it.begin()
#define ll long long
#define cast(a, b) static_cast<b>(a)
#define vec vector
#define RANGE(a, b) for (int i = a; i < b; i++)
#define RANGE_I(a, b, c) for (int c = a; c < b; c++)