A raw implementation of Eratosthenes' Sieve in functional programming.

A fast introduction to lambda calculus using OCaml.

A practical introduction to category theory concepts.

Learn the basics of Rego and policy-based authorization.

Understanding DP optimizations and (max,+) convolution in competitive programming.

Stephen Wolfram explores lambda calculus through the lens of ruliology.

Numbat is a statically typed programming language for scientific computations with first class support for physical dimensions and units.

Mojo is a programming language that unifies high-level AI development with low-level systems programming. Write once, deploy everywhere - from CPUs to GPUs

A set of utility functions for iterators, functions, and dictionaries.

Jujutsu (jj) is a version control system with a significantly simplified mental model and command-line interface compared to Git, without sacrificing expressibility or power

The confused deputy problem is a security issue where an entity that doesn't have permission to perform an action can coerce a more-privileged entity

A lightweight Node.js key-value store with a simple file-based storage engine.

A small and elegant static site generator focused on simplicity and clean design.

A multidimensional binary search tree used for nearest-neighbor search and spatial indexing.

A reflection on the cognitive trap of always wanting to fix systems once you understand them deeply.

grhkm's primary Mastodon profile, focused on math and cryptography insights.

grhkm's older Mastodon profile with infosec-related posts and discussions.

A detailed walk-through of solving the BabyRSA challenge using small-roots techniques.

A great video illustrating how subtle timing differences can completely break cryptographic systems.

Competitive programming posts, problem breakdowns, and math-heavy algorithm insights by grhkm.

grhkm's CryptoHack profile with their progress on modern cryptography challenges.