Codeless Code

I’ve oft thought JSX an under-utilized syntax.

React is a library for declaratively specifying user interfaces.

As part of my efforts on ts-unify, I needed a way to represent ‘capturing’ and transforming values in a data structure from one form to another.

I’ve been playing with codemod transformations for TypeScript using jscodeshift (from Facebook) and ts-pattern.

This interactive tool demonstrates a steganographic technique using Unicode variation selectors (U+E0100-U+E017F) to encode hidden text within visible strings.

The hkt-toolbelt library introduces kind reification - transforming abstract type-level functions into concrete runtime signatures.

Implementing the famous Collatz conjecture entirely within TypeScript’s type system, demonstrating type-level arithmetic and recursive computation.

This deep dive explores implementing mathematically-correct function composition with full type safety.

Designing a type-safe plugin system in TypeScript that maintains strong typing guarantees while allowing extensible functionality.

A performance-optimized, non-recursive implementation of a type-level array inclusion operator in TypeScript.

Implementing point-free (tacit) programming patterns in TypeScript using Higher Kinded Types to overcome traditional type system limitations.

Extending Higher Kinded Types with variadic composition patterns, enabling clean functional composition while preserving complete type information.

A comprehensive introduction to Higher Kinded Types in TypeScript, exploring how to encode and utilize these powerful abstractions from functional programming.

Building composable type guard systems in TypeScript where runtime validation seamlessly integrates with compile-time type narrowing.

How many lambda calculus programs exist with exactly $N$ terms?

Using TypeScript’s asserts syntax to create imperative-style type mutations, moving beyond method chaining to more familiar iterative patterns for complex type operations.

Solving the classic string deduplication algorithm entirely within TypeScript’s type system using literal string types and recursive type manipulation.

TypeScript 4.1’s variadic tuple types enable building complex type-safe data structures through method chaining, where each operation expands the chain’s type signature at compile time.

Exploring how to enforce type constraints across function maps in TypeScript, where every function must accept a specific parameter type.

TypeScript’s type predicates can modify the type of this itself, enabling self-modifying type behavior that approaches dependent types.

A functional TypeScript implementation of Dijkstra’s classic algorithm for parsing mathematical expressions, converting infix notation to reverse Polish notation for stack-based evaluation.

Abstract The proliferation of unmanned vehicle technologies has drastically increased their use in multiple domains.

We explore a solution to finding Pythagorean triples with a product constraint, achieving O(√n) time complexity by reducing the problem to the well-known 3SUM problem.

Exploring methods to extract human-readable step-by-step solutions from Mathematica’s symbolic computation, addressing the black-box problem in automated mathematical derivation.

A JavaScript particle physics simulation using a quadtree spatial data structure to efficiently compute inter-particle forces, optimizing from O(n²) to near-linear complexity.

LinkedIn

An interactive JavaScript simulation demonstrating the chaotic behavior of a double pendulum system, showcasing how small changes in initial conditions lead to dramatically different outcomes.

A fast O(n) heuristic for finding near-optimal oriented bounding boxes around point sets, using orthogonal linear regression to align rectangles with the natural orientation of the data.

An interactive demonstration of simple linear regression, showing how the least-squares method finds the best-fitting line through a set of data points by minimizing vertical distances.

An interactive visualization of quadratic Bézier curves, demonstrating how three control points define smooth parametric curves commonly used in computer graphics and design.

This is the blog of Alice Poteat.

Abstract Since the discovery of right-handed twist of a β-strand, many studies have been conducted to understand the twist.

Abstract Electron cryo-microscopy (Cryo-EM) technique produces density maps that are 3-dimensional (3D) images of molecules.

Abstract Cryo-electron microscopy (Cryo-EM) is a powerful technique to produce 3-dimensional density maps for large molecular complexes.