Choc13

9 ms·

1.
by Choc13 5y ago
I had a pop at this here https://dev.to/choc13/grokking-monads-in-f-3j7f
2.
by Choc13 5y ago
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 interesting and there are clearly many scientific discoveri
3.
by Choc13 5y ago
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 light information propagation either. The particles have to b
4.
by Choc13 5y ago
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, we found it didn't quite satisfy our needs and then chan
5.
by Choc13 5y ago
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 allocations to ensure that pointer arithmetic is fully tested. We&
6.
by Choc13 5y ago
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 the way you would handle third party deps is to lin
7.
by Choc13 5y ago
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 constraints. We currently do this at the LLVM IR level, so
8.
by Choc13 5y ago
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) and then building the code. I just ran this example m
9.
by Choc13 5y ago
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 our backend for analysis. We’ve had quite a bit of feedback
10.
by Choc13 5y ago
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 explosion problem when analysing large programs. A large part
11.
by Choc13 5y ago
Ah right yeah that makes sense. We built the website using NextJS so we kinda got this for free with their Image component.
12.
by Choc13 5y ago
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 whereas they generate randomised test data (I think FsCheck
13.
by Choc13 5y ago
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 we don’t need to symbolize any variables for that one. When
14.
by Choc13 5y ago
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 eventually work on support for others too like C++, .NET, Java,
15.
by Choc13 5y ago
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 to being a few pxs heigh. I'll fix today. Tha
16.
by Choc13 5y ago
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 that the playground is on the slow side at the moment
17.
by Choc13 5y ago
Yeah that's a good point, we'll work on some more realistic examples.
18.
by Choc13 5y ago
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 side, yes we're using Z3, you can have a poke aroun
19.
by Choc13 5y ago
Ah sorry about that and thanks for pointing it out. Will fix!
20.
by Choc13 5y ago
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, or just a general point about prioritising the core product
21.
by Choc13 5y ago
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 waiting for the build stage to complete, which isn’t actually th
22.
Show HN: Symbolica – Try our symbolic code executor in the browser
45 points by Choc13 5y ago|35 comments
23.
by Choc13 5y ago
Correct. This episode in particular https://en.wikipedia.org/wiki/Fifteen_Million_Merits
24.
by Choc13 5y ago
Oh and "The metaverse does not have a specific definition"
25.
by Choc13 5y ago
>>> "“I think [it] is probably going to resemble some kind of a hybrid between the social platforms that we see today, but an environment where you’re embodied in it”, Mr Zuckerberg also said. One of the benefits of this ecosy
26.
by Choc13 5y ago
>> “A good vision for the metaverse is not one that a specific company builds, but it has to have the sense of interoperability and portability”, Mr Zuckerberg said, adding that there should be protocols like the World Wide Web Consor
27.
Mark Zuckerberg says Facebook will turn into a ‘metaverse’(theverge.com)
191 points by Choc13 5y ago|369 comments
28.
by Choc13 5y ago
Yes! I've written about this from an F# perspective, which calls them 'computation expressions' instead of 'do notation', here https://dev.to/choc13/grokking-monads-imperatively-394a If the aut
29.
by Choc13 6y ago
We planned on building a pure API product. So subscription metering would be required for us. I’ll check your product out though. Sounds interesting.
30.
by Choc13 6y ago
Hadn’t heard of it. Will check it out thanks.

More ›