Blog – Symbolica | Modern Computer Algebra

Blazing fast expression evaluation with custom assembly

expression evaluation

compiler

This blog post uses the computational framework Symbolica. Symbolica is free for hobbyists and a single-core instance is free for non-commercial use. Would you like to have…

Algorithms through the lens of symbolic pattern matching

pattern matching

graph theory

This blog post uses the computational framework Symbolica. Symbolica is free for hobbyists and a single-core instance is free for non-commercial use. Would you like to have…

How I learned to stop worrying and love the global state

rust

code

After the goto statement, mutable global variables may be the most frowned upon pattern in modern programming. There is a reason for its infamy, as it is a canary in a…

Control flow patterns in Rust

rust

code

Rust has some great control flow features that drastically simplify writing algorithms. In this short blog post we will consider some design patterns that use break and conti…

Introduction to Symbolica

news

maths

pattern matching

Symbolica is a symbolic manipulation toolkit and a computer algebra system. In this first blog post I will try to explain what these terms mean, what the use is of symbolic…