At Symbolica we're building a symbolic execution service that explores every reachable state of a...
👋 Hi, I'm ~~Matt~~ Choc.
This section can contain a subtitle or tagline. The recommended length is one to three sentences, but can be changed as you prefer.
About
This is the “about” excerpt. It can be used to provide a paragraph about yourself that people can read on the homepage to get a sense of who you are. There also exists a dedicated about page where you can write more about yourself for those who are interested.
Recent Posts
Symbolica's Console Newsletter Interview
This week we chatted to Jackson Kelley in the Console newsletter about our open-source symbolic executor.
Azure Functions with F# using .NET 5
Serverless computing promises to make it "easier" to just write some code, sling it at the cloud and...
Grokking Lenses
In most functional programming languages data structures are immutable by default, which is great bec...