Posts With Tag: Code

Lambda Calculus in TypeScript Types

Implementing lambda calculus ONLY in TypeScript types.

After watching this video from Truttle1 about things you can do in TypeScript’s type system, I’ve decided to do my own by implementing the basic Lambda Calculus interpreter.

Generative Art and Puzzle

An interesting puzzle for my D&D campaign.

Here’s an interesting puzzle I used in my D&D campaign’s final session. The puzzle and the code to generate it is attributed to @usuyus. If you know him, you know him; if you don’t… You should meet him!

Building a Trading System, First Steps

General considerations for creating a trading system and simple structure for a limit order book.

In an high-frequency trading environment, we need to have a trading system which provides interfaces for receiving data and interacting with the market for our trading models (the mathematical or algorithmic logic that analyses data and decides how to trade). One really important thing to first consider in our trading system is to separate it from our trading models. If our trading system is coupled with our trading models, it can become a nightmare situation to modify model behaviour or to add new, fundamentally different models as the time it will take to implement them will be too much.

KCL D&D App

A digital companion for the KCL D&D Society.

This application serves as an organisational tool to enhance the users’ experience, providing features for character management, party organisation, campaign tracking, and achievement systems.

The Simulation

A dynamic ecosystem that you can use to study predator-prey-plant interactions.

This project integrates multiple components to create a dynamic ecosystem that a researcher can use to study predator-prey-plant interactions, with the ability to add or remove any species or environmental factors easily by editing the JSON file.


§