Skip to content

Instantly share code, notes, and snippets.

View codegod100's full-sized avatar
๐ŸŒ
Hack the planet

nandi codegod100

๐ŸŒ
Hack the planet
View GitHub Profile
@codegod100
codegod100 / main.rs
Created October 7, 2024 17:34
mario generated from ai
use tracing::debug;
fn main() {
tracing_subscriber::fmt::init();
let spec = hound::WavSpec {
channels: 1,
sample_rate: 44100,
bits_per_sample: 16,
sample_format: hound::SampleFormat::Int,
};
@codegod100
codegod100 / monad.ts
Created February 15, 2025 00:56
monad
// Define the Monad structure using `unit` and `bind`
type Monad<M extends { __type: any }> = {
unit: <A>(value: A) => M & { __type: A };
bind: <A, B>(ma: M & { __type: A }, f: (a: A) => M & { __type: B }) => M & { __type: B };
};
// Example: Maybe monad implementation
type Just<A> = { __type: A; tag: 'Just'; value: A };
type Nothing = { __type: any; tag: 'Nothing' };
type Maybe<A> = Just<A> | Nothing;
[docker-ce-stable]
name=Docker CE Stable - $basearch
baseurl=https://download.docker.com/linux/fedora/$releasever/$basearch/stable
enabled=1
gpgcheck=1
gpgkey=https://download.docker.com/linux/fedora/gpg
{
"did": "did:plc:ngokl2gnmpbvuvrfckja3g7p"
}
\documentclass[11pt, a4paper]{article}
% --- UNIVERSAL PREAMBLE BLOCK ---
\usepackage[a4paper, top=2.5cm, bottom=2.5cm, left=2cm, right=2cm]{geometry}
\usepackage{fontspec}
\usepackage[english, bidi=basic, provide=*]{babel}
% Set default font to Sans Serif (Noto Sans) for modern clarity
\babelfont{rm}{Noto Sans}