Skip to content

Instantly share code, notes, and snippets.

@hirrolot
hirrolot / CoC.ml
Last active February 20, 2026 20:59
How to implement dependent types in 80 lines of code
type term =
| Lam of (term -> term)
| Pi of term * (term -> term)
| Appl of term * term
| Ann of term * term
| FreeVar of int
| Star
| Box
let unfurl lvl f = f (FreeVar lvl)
@fl64
fl64 / books.md
Last active February 20, 2026 20:59
books
@karpathy
karpathy / microgpt.py
Last active February 20, 2026 20:58
microgpt
"""
The most atomic way to train and run inference for a GPT in pure, dependency-free Python.
This file is the complete algorithm.
Everything else is just efficiency.
@karpathy
"""
import os # os.path.exists
import math # math.log, math.exp
@EverythingSmartHome
EverythingSmartHome / All open windows and doors
Last active February 20, 2026 20:58
A collection of useful templates for Home Assistant dashboards
{{ states.binary_sensor
| selectattr('attributes.device_class', 'in', ['door','window'])
| selectattr('state', 'equalto', 'on')
| list | count }}
/*
* Copyright 2026 Kyriakos Georgiopoulos
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
@Techwizz-somboo
Techwizz-somboo / flash-furios-gx6.md
Last active February 20, 2026 20:56
Flashing FuriOS on a Gigaset GX6

Flashing FuriOS on a Gigaset GX6

Flashing FuriOS on a Gigaset GX6 is actually pretty straight-forward, as one might expect since it is the same phone, physically, as the Furilabs FLX1.

This has also been tested on a GX6 Pro and GX6, check the Quirks & Fixes section for known problems.

Join our Matrix room for support and questions, or comment on this gist.

Requirements

/*
* Copyright 2026 Kyriakos Georgiopoulos
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
@namazso
namazso / viewing_copy.md
Last active February 20, 2026 20:51
Your Archival Copy is Not Your Viewing Copy

Your Archival Copy is Not Your Viewing Copy

Technical explanation of display compatibility challenges when viewing analog-sourced video content on digital displays.

Introduction

Standard Definition video content is predominantly formatted for analog CRT display systems. This applies to analog storage formats (VHS, LaserDisc, etc.) as well as many digital media formats (DVD-Video). Individuals new to video archival often attempt to create a single copy that serves both as an authentic archival master and as a readily viewable file. This approach typically fails to achieve either objective effectively. This document explains the technical rationale for maintaining separate archival and viewing copies.

This document focuses primarily on 50/59.94 Hz native video content, including home video and other non-broadcast productions. If the steps are followed correctly, it is possible to create a "viewing copy" of the media that has viewing experience close to original, but consistent and compatible playback o

@nxrighthere
nxrighthere / Unreal-AgX-Tonemapper.usf
Last active February 20, 2026 20:50
AgX tonemapping for Unreal Engine 5
// See image comparison https://imgur.com/a/9L2P7GJ
// Read details https://iolite-engine.com/blog_posts/minimal_agx_implementation
// Usage:
// 1. Open "Project Settings" and change "Working Color Space" to "sRGB / Rec709"
// 2. Open `Engine\Shaders\Private\PostProcessTonemap.usf` file
// 3. Find `half3 OutDeviceColor = ColorLookupTable(FinalLinearColor);` line
// 4. Replace it with `half3 OutDeviceColor = ApplyAgX(FinalLinearColor);` line
// 5. Find `half3 ColorLookupTable( half3 LinearColor )` function
// 6. After the scope of the function, add the code below and run `RecompileShaders Changed` from console