Taelin Hi! I'm a programmer and founder of the HigherOrderCO. Reach me on: Twitter: @victortaelin Instagram: @victortaelin Reddit: SrPeixinho Email: taelin@higherorderco.com Notes You can increase GPT-4's context size by asking it to compress your prompts Implementing complex numbers and FFT with just datatypes (no floats) A simple SAT solver using Interaction Net superpositions Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM. Kind2's Conversion Checker