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 Implementing complex numbers and FFT with just datatypes (no floats) A simple SAT solver using Interaction Net superpositions You can increase GPT-4's context size by asking it to compress your prompts Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM. Kind2's Conversion Checker Can we build an optimal processor? Bend - Release Day! Higher-Order Company: Towards an Optimal Computer Fast Discrete Program Search with HVM superpositions Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years)