rise4fun z3py is unavailable from several weeks due to some security issues. I tried to find out some resources for learning z3py but ended in vain. Please suggest some resources to learn z3py
I created a zip file with the Z3Py tutorials sources.
It is basically a few HTML pages and a bunch of python files.
Here is the link:
https://github.com/leodemoura/leodemoura.github.com/blob/master/files/z3py.zip?raw=true
Update (Jan 14, 2014): the Z3Py tutorials are back online
The official z3py tutorials website has been taken down due to security problems and is still unavailable at the time of writing of this post.
Meanwhile you can access a mirror of the website containing all the files at github.
You can also use Wayback Machine to see tutorials such as http://web.archive.org/web/20121117183725/http://rise4fun.com/Z3Py/tutorialcontent/advanced
Related
I want to learn PyTorch in great detail.
I have read all the docs and tutorials on the main site. I learn better from paper. When I print from website pages, I am getting very small letters. This makes the printouts difficult to read them.
The packages offer PDF documentation, but I cannot find a similar file for the main PyTorch site.
Where can I find a similar resource for official PyTorch documentation?
I don't think there is an official pdf. The pytorch documentation uses sphinx to generate the web version of the documentation. But sphinx can also generate PDFs.
So you could download the git repo of pytorch, install sphinx, and then generate the PDF yourself using sphinx.
The instructions to built the HTML can be found here, and generating the PDF should be no different.
I recently watched great google talks speech about Cling - C++ language interpreter. But I wonder if anyone except people at CERN (where it is developed) are using Cling, and how good it is from non-collider-physics-scientist point of view, can you write desktop apps with it?
There are some videos of uses cases different from the High Energy Physics: http://www.youtube.com/results?search_query=cling+c%2B%2B (I think first couple are the relevant ones)
It has the potential to be very useful, but it is very young. There is no documentation that I could find, no dedicated mailing list, no online tutorials. I was able to get small toy code to run, but couldn't figure out how to use it productively on a large library yet.
Cling project is well established one. You can find more information in their official website cling. They also have a forum
Thanks
I have started working on Corona SDK.As you all know it uses Lua as the programming language,i wanted to know some good links or ebooks which i can refer to begin development.I am an iPhone developer and working on objective C since last 1 year.
Any suggestions,help would be appreciated.
Thanks
Aditya
I've been using this: Programming in Lua, first edition (FREE online edition of the book)
The Corona SDK forums are also good for specific issues related to the SDk itself. It seems it is having a few database problems just right now, but you might want to check it later.
Edit: just for completeness, here is the link to the Lua Bookstore # amazon (not an affiliate link).
You can also check out http://learningcorona.com/ which has a huge listing of tutorials for Corona.
Here's a great resource for learning Lua, it's aimed towards beginner programmers (doesn't sound like you), but it does a great job at introducing Lua and most of the basic concepts:
Lua for Beginners:
http://lua.gts-stolberg.de/en/index.php?uml=1
That, as well as the "Learning Corona" section of the Ansca docs should be plenty enough to get you up to speed in a very short amount of time:
http://developer.anscamobile.com/resources/docs/
TIP: Start working on a project, or converting an existing app using Corona and you'll learn it blazing fast! That's what I did, and I learned it quickly enough to have one of my games fully converted in about 8 days.
For understanding basics of CORONA SDK I will prefer "Corona.SDK.Mobile.Game.Development.Beginners.Guide"
book from Packtpub publication.
and You can also check out http://www.learningcorona.com/ for tutorial both video and audio.
The Lua Reference Manual is also an excellent read: Concise and complete.
Lua Gems is also worth looking at (at least the freely available snippets).
I found the Beginning Lua Programming book to be pretty good as a complete reference for Lua with good example code.
My very personal advice is just take a look at great books (Programming in LUA is covering everything) and switch as soon as possibles to samples / tutorials in order to learn all the API functions.
There are several Corona sdk video tutorials on YouTube. One demonstrates how to create a simple balloon game in a few minutes. You can have Your Lua editor in one window and YouTube in another, and click on the video to start/stop and switch to the editor and type in the code. Some tutorials provide links to download the code.
hello you can use their website they have good documentation you will find it here
http://docs.coronalabs.com/api/
I'm finding it very difficult to find any decent tutorials on how to get up and running with WCAT quickly. Does anyone have a link to a decent tutorial on it that they found useful when trying to get to grips with WCAT?
For me the best thing that I used to get going with WCAT was to get their "sample" running, which tied to a base IIS installation with a single file.
Once I got that done, i found that the help documentation was very easy to understand, it is just the initial setup that was tricky.
Otherwise, this blog posting is pretty straightforward as well.
Just another option that helped me getting into this:
Using the WCAT Fiddler Extension.
This extension automatically generates all the necessary files and also calls them for you.
If you want to understand what's going behind the scenes, a good starting point for me was to use Process Explorer to see which files the Fiddler extension generates and how it calls them.
Somehow the WCAT Fiddler Extension was not working on my side and does not support POST so I decided to create my own. I shared the source code on github just incase your interested.
Here's the link: https://github.com/francischie/FiddlerWCAT
I've also found this article which combines LogParser 2.2 with WCAT. You may find that interesting too.
Where can I find the documentation for IdocScript for Stellent/Oracle UCM? I just got assigned to do maintenance on a page that uses it, and have no prior experience with either Stellent or the script. My specific problem has to do with string manipulation, but I can hardly find any documentation online at all, odd for a programming-related topic.
If you are after a book, there is the one by Brian Huff (Bex - http://bexhuff.com/) linked below.
Actually it is the only one. Written before Oracle bought Stellent and may be a missing some IDOC changes.
As a resourse tho it is very handy to have around as it touches on all things UCM (including a decent chunk on IDOC).
The Definitive Guide to Stellent Content Server Development
~ Brian Huff
Of course I answered my own question 15 minutes after I asked it. Oracle has a guide buried deep in its documentation website. It's available as a PDF or in HTML format (thanks, Raystorm).