alex podikoglou

Nano Stores Reference Guide

Nano Stores is a state management library designed for small, fast, and easily tree-shakeable applications. It focuses on moving application logic into stores, making the codebase more modular and testable. It supports multiple frameworks (React, Preact, Vue, Svelte, Solid, Lit, Angular, and vanilla JS).

Nano Stores Persistent (for local storage synchronization): This library extends Nano Stores to manage state persistently in localStorage and synchronize changes across browser tabs.

Core Concepts:

Atoms: Basic store for primitive types (e.g., numbers, strings, arrays, objects).
Maps: Stores key-value pairs. Changes to keys are tracked and can be used to trigger updates. Handles updating (like setKey()) instead of complete replacement.

My Notes on Lean4

Types

A few basic types are:

Bool
Nat
Float

Constants

You define constants with the following syntax:

Alex's Project Ideas

Implement russell (web version to play with).
- Design AST for logical expressions
- (Optionally) implement parser for mathy syntax
- Implement truth table generation algorithm
- Implement algorithms for checking if propositions are:
  - Tautologies
  - Contradictions
Contingencies

	type TabIndex = 0 \| 1;

	const tabsToRoutes: [TabIndex, string][] = [
	[0, '/app'],
	[1, '/app/profile'],
	]

	const tabToRoute = function(index: TabIndex): string {
	return tabsToRoutes.find(entry => entry[0] == index)[1];
	}

	package engine

	import (
	"sync/atomic"
	"time"

	"github.com/emirpasic/gods/maps/hashmap"
	)

	const (

	#!/bin/bash
	set -e

	# Function to display usage information
	show_usage() {
	echo "Usage: $0 <project_name>"
	echo "Creates a minimal C++ project structure"
	}

	# Function to output colored text

	#include <stdbool.h>
	#include <stdio.h>
	#include <string.h>

	void test_kiss(char *str);
	bool is_kiss(char *str, int str_len);

	int main(void) {
	test_kiss("mwa");
	test_kiss("mwwwa");