Dewis's Blog

Mangastream Batch Downloader with wget and 7-Zip

dewisa — Mon, 04 Oct 2010 09:17:29 +0000

It’s been a long time since I visited Binktopia/Mangastream and I found an online mangareader that makes me difficult read the chapters comfortably. You see, the connection in my place is sux, really sux, so online mangareader is not my favorite way to read mangas. It’s need about 10 or 15 minutes to download a chapter depend on its size, so I prefer to download it all while I’m working and read the chapter all at once. The current mangastream is troublesome, it disable the right click, and if I have to view source everytime I need the image, it’s pretty much a waste of time.

So I create a little PHP script to extract image links and generete a batch file that download the images and zip it into single archive. It took about 15 minutes to make it work, buat it’s not ready to be published yet. I need to create error handlers, history checkers and some HTML Forms GUI to make it look great and easy to use .

To use the batch file, you’ll need a few tools. I don’t really want to reinvent the wheel even though it will make the application cooler, but there’s already mature and excellent (and FREE) softwares that could do what I need.

wget.exe try to find it at http://users.ugent.be/~bpuype/wget/ or compile the latest source code yourself :-p. It’s a simple command line downloader to download the images. Copy wget.exe to C:\Windows or C:\Windows\system32 or add path to your environment variable so wget.exe can be run anywhere.
7-Zip to add all the images to a single zip archive named the series and chapter. Make sure you installed this by default so the program installed at C:\Program Files\7-Zip. If you installed it elsewhere then you’ll have to edit the batch file before you run it.

Already have wget and 7-Zip?, all you have to do is

Download the zipped batch file.
Extract the batch file.
Double Click .bat file to run it
And wait
If the links were not found then possibly the oldest chapter been removed by mangastream because there’s a new chapter.

Here some batch downloader i’ve already generated.

More batch file at www.dewisa.net

Probably I’ll publish the script in a few days so the batch file could be generated on the fly by entering the latest links and submit it.

Advanced Operating System – First Lecture

dewisa — Tue, 03 Feb 2009 05:34:37 +0000

I don’t really know the best fitting English translation for Sistem Operasi Lanjut but temporarily I’ll settle with Advanced Operating System. If anyone has any other idea, please pitch in

At February 2nd 2009, 9 till 11 AM, Ir. Afwarman Manaf, M.Sc., Ph.D present us with summary of what will we learn and do for the rest of the semester about Operating System.

Syllabus:

OS Structure : Fundamentals
Shared Memory Systems
Parallel – Distributed Systems
Topic : Communications
Multimedia, Real-Time & Web Services
Distributed Systems: Failures. Consistency, Recovery
Protection, object based systems, object technologies

Scoring

Presentation and Discussion
Project
Ujian

Each component kinda has equal proportion to the Final Score

There’s no particular references, although Mr Afwarman brought Operating Systems: Internals and Design Principles, Fifth Edition by William Stalling. He encouraged us to search latest papers about Operating Systems and discuss about it. The rest of the lecture time we spend to hear about the purpose of life and the necessity of life, and in order to achieve true happiness we shouldn’t sacrifice our purpose of life to gain necessity of life .

Formal Methods Syllabus – First Lecture

dewisa — Tue, 03 Feb 2009 05:17:41 +0000

Today, February 3rd 2009, 7 till 9 AM, I’m attending a course subjected Formal Methods. Our Lecturer named Cecilia Nugraheni, she is working at Parahyangan University. In our first meeting She presenting the syllabus of the subject. I’ll try to present the summary of it here.

Objectives of Formal Methods is introduce formal methods in software engineering in particular RAISE (Rigorous Approach to Industrial Software Engineering), with emphasis on the spesification and design stages.

The outline of this course

Introduction to formal methods
RAISE methodology
RSL: Basic concepts; Function, built-in types; Product, Binding and typing; List, Map; Subtype, Variant; Case, Let; Variable and sequencing; Repetition

Why we learn Formal Methods? we learn it because exhaustive testing and simulation for detecting errors is often impossible. Program testing can be used to show the presence of bugs, but never to show their absence! (Dijkstra, 1979). Well it’s true… that’s why almost on every application there exist after released bugs, and we have to download the patch and applied it . Formal methods offers a logically consistent way of reasoning and exhaustive coverage to ensure the correctness of the software design.

Formal Methods definition:

A method is formal if it has a sound mathematical bases, typically given by a formal specification language. This basis provides a means of precisely defining notions like consistency and completeness and more relevant, specification, implementation and correctness.

so if you do not like mathematical notions, don’t touch this subject :p

Let’s get started!!

dewisa — Tue, 03 Feb 2009 04:42:06 +0000

Today i’ll starting a new blog. I’ll use english as main language even though my primary language is Bahasa Indonesia, because I want to practice my English from passive to a little bit active . I plan to write mostly about things I currently studying, e.g my lectures I attended, notes, exercise and assignment. Also about things like programming or other technology I interested.

Feel free to add comment on my blog, whether it’s about the content or spelling and grammatical error . I’ll really appreciate it..