Viewing profile — Choc13

I had a pop at this here https://dev.to/choc13/grokking-monads-in-f-3j7f

Apologies, I wasn’t trying to call you a troll, more that your first comment seemed to me like it might have been made in jest, clearly it wasn’t. The articles you’ve linked to are…

Hmm not sure if troll, but energy conservation is definitely not just some convention. It’s a fundamental thermodynamic law. Spooky action at a distance does not violate speed of l…

Yeah sure. We initially wanted to build something to compare the equivalence of two programs written in different languages and for this we started out using KLEE. Unfortunately, w…

Yeah it can deal with symbolic memory. As long as the memory allocation is fixed size the contents can be fully or partially symbolic. We also support symbolic addresses for alloca…

Great question. This obviously isn't exposed through the playground right now as that's just a single file demo. Our backend software does integrate with larger build systems. So t…

The static type information isn't actually too important to us, what our tool cares about is being able to interpret branching conditions in the code in order to turn them into con…

Ah right, makes sense, thanks. Most of the time on the playground is spent booting a build server (we're using GitHub actions behind the scenes just for this part of the playground…

Hey, the reason for the long times on the playground is actually that we’re having to wait for build servers to boot up and then build the code before we can finally ship it off to…

On the monetisation point we do plan to have a paid version of the product too. We think that one of the limiting factors of using symbolic execution to date has been in the path e…

Ah right yeah that makes sense. We built the website using NextJS so we kinda got this for free with their Image component.

I’ve not used Hypothesis, but says it’s inspired by QuickCheck and I’m a regular user of FsCheck which is the F# equivalent. Those tools have a similar goal in mind that we do, but…

Hey, thanks for the feedback. A more comprehensive list of features is on our todo list, we’ll update the site shortly. The memory violation one doesn’t include symbolica.h because…

I should add that we believe it’s possible to support other langs too, especially if they compile down to LLVM IR, or have an interpreter/runtime that does. So we plan to eventuall…

Hmm, yeah sorry about the FireFox thing and thanks for reporting. I just checked it now and it seems like the code editor div isn't respecting the height 100% style so it's shrunk …

We do have some upcoming changes that will make the status clearer on the website and will be removing some constant time overhead that we're paying on each playground run. I agree…

Yeah that's a good point, we'll work on some more realistic examples.

Yeah I think that's a great analogy, we noticed the same thing when we used to work together at our last jobs which is what motivated to start this venture. On the implementation s…

Ah sorry about that and thanks for pointing it out. Will fix!

I’m not quite sure what you meant by this statement “Javascript that runs on back-button mouse over is not where to put your efforts.” Was this something you observed on our site, …

Thanks for the comments, they’re good points. I’ll update the page as you suggested as yeah right now at the PoC stage it’s on the slow side. Some of the time lag is due to us wait…

We're a couple of software engineers who believe that to build great software you need to write good tests, but we also sympathise when engineers say things like: - "Writing tests …

Correct. This episode in particular https://en.wikipedia.org/wiki/Fifteen_Million_Merits

Oh and "The metaverse does not have a specific definition"