Recently in Book Category

811-1.jpgIch hab seit Kurzem das Buch Time Management for System Administrators (es gibt hierfür auch eine Version in Deutsch) durch.

Als hauptberuflicher Linux Systemadministrator entspreche ich exakt der Zielgruppe dieses Buches. Das Buch ist verständlich geschrieben und läßt sich flüssig lesen. Außerdem schläft man beim Lesen dieses Buches nicht ein, da es auch viel Humor (aus dem Lifestyle eines Sysadmins) mitbringt (Hier wird beispielsweise die CPU eines Computers und der L1 und L2 Cache zum Vergleich mit dem menschlichen Gehirn herangezogen. Sich auf etwas zu konzentrieren bedeutet nämlich etwas im CPU Cache zu haben. CPU-Power sollte man sich im Gehirn zudem sinnvoll einteilen. So sollte man in der Tageszeit, wo man sich am besten konzentrieren kann, die schwierigen Aufgaben lösen und nicht triviale Tickets bearbeiten und zu langweiligen Meetings gehen und die CPU idlen lassen :-).

Die dort beschriebenen Methoden lassen sich fast alle in meinen Alltag einbringen. Mich hat das Buch ein gutes Stück weitergebracht. Hier die offizielle Zusammenfassung des Buches:

"Time is a precious commodity, especially if you're a system administrator. No other job pulls people in so many directions at once. Users interrupt you constantly with requests, preventing you from getting anything done. Your managers want you to get long-term projects done but flood you with requests for quick-fixes that prevent you from ever getting to those long-term projects. But the pressure is on you to produce and it only increases with time. What do you do? The answer is time management. And not just any time management theory--you want Time Management for System Administrators, to be exact. With keen insights into the challenges you face as a sys admin, bestselling author Thomas Limoncelli has put together a collection of tips and techniques that will help you cultivate the time management skills you need to flourish as a system administrator. Time Management for System Administrators understands that an Sys Admin often has competing goals: the concurrent responsibilities of working on large projects and taking care of a user's needs. That's why it focuses on strategies that help you work through daily tasks, yet still allow you to handle critical situations that inevitably arise. Among other skills, you'll learn how to: * Manage interruptions * Eliminate timewasters * Keep an effective calendar * Develop routines for things that occur regularly * Use your brain only for what you're currently working on * Prioritize based on customer expectations * Document and automate processes for faster execution What's more, the book doesn't confine itself to just the work environment, either. It also offers tips on how to apply these time management tools to your social life. It's the first step to a more productive, happier you."

Thumbnail image for 41QUtMNiIqL.jpgMittlerweile hab ich das Buch Funktionale Programmierung.: Sprachdesign und Programmiertechnik durch. Hier erstmal ein Quote von wlt158 @ Amazon:

Das Buch ist ordentlich geschrieben, aber die Thematik ist für Einsame, denn, auch wenn es wirklich spannend und zukunftssicher ist, man geht einen akademischen Weg, einen Einsiedlerweg, oder für Optimisten: einen Königsweg, denn die deklarative Programmiung, wozu die funktionale Programmiung ja gehört, ist einfach die Zukunft - da gibts kein Wenn und Aber. Doch man wird sich über dieses spannende Thema in keinem Zug und keinem Bus mit keinem einzigen Nichtspezialisiten unterhalten können, denn das, was da drin steht, blicken 99% der Menschen um einen rum definitv nicht. Geschweige denn der oder die Lebenspartner/in. Ausnahme: Man arbeitet in einer Spezialabteilung für funktionale Programmierung. Ihr mutigen Pioniere! Mein Kompliment für das Buch.

Ich bin NICHT der Meinung, dass deklarative Programmierung die Zukunft ALLEINE sein wird. Imperative Sprachen werden in der Zukunft auch weiterhin die Oberhand behalten. Allerdings werden imperative Sprachen von deklarativen Sprachen immer mehr beeinflusst werden. Fast alle modernen imperativen Programmierprachen haben bereits jetzt einen gesunden Anteil funktionaler (deklarativer) Sprachelemente enthalten. Z.B. gibt es in C++0x sowie C# bereits Lambda-Funktionen.

Die Zukunft wird vermutlich in den General Purpose Misch-Sprachen und in den Domain-Specific Sprachen liegen. Rein-Funktionale Sprachen, wie Haskell, werden immer ein Nischendasein leben. Allerdings wirds immer eine Daseinsberechtigung geben, da alleine der Community-Kreis groß genug sein wird.

Letztendlich kann ich Jedem, der sich für funktionale Programmierung etwas tiefer auseinadersetzen möchte, dieses Buch empfehlen.

Als nächstes steht bei mir nun "Programming in Prolog" an :)

Programming Haskell Book @ Amazon

| No Comments | No TrackBacks

Something went wrong (take a look at the prices, the books are exactly the same):

programming-haskell.png

Two new books ordered

| No Comments | No TrackBacks

The first book I've ordered is Programming in Prolog. This book covers everything I should know about Prolog for my next exam.

HsM-3667014.jpgOriginally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be the basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete.

This book was available for just 5 EUR (used)!

The second book I ordered is The Haskell Road to Logic, Maths and Programming:

41GMVH8KHHL._SL500_AA300_.jpgThe purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.

I gonna start to read those books AFTER finishing my previous book which is still very interesting! :)

41QUtMNiIqL.jpg I've just ordered a new book (in german language) called "Funktionale Programmierung: Sprachdesign und Programmiertechnik " (in english "Functional programming: Language design and programming techniques"). This book is for people who know already a little bit about functional programming but want to dig deeper a little bit! It is demonstrating lots of stuff using functional programming languages such as Haskell and Opal.

'Programming Haskell' online lectures

| 1 Comment | No TrackBacks

haskell.png I found a great series of free haskell lectures online at http://www.cs.nott.ac.uk/~gmh/book.html#videos. The referent is going through all the chapters of the book 'Programming Haskell'. The videos are pretty good and atm I am enjoying watching them. You should give them a try as well! I think you don't even need to buy the book in order to understand everything.

Update: I put those videos on my pub FTP server for download: ftp://ftp.buetow.org/pub/OnlineLectures/ProgrammingHaskell/

41VPCK8QCXL._SS500_.jpgDuring Christmas break I read the book "Structure and Interpretation of Computer Programs - Second Edition" (by Harald Abelson and Garald Jay Sussman with Julie Sussman).

"The book should be read by every self-respecting computer scientist. Because of its clarity, simplicity, and wit, this work is highly recommended to anyone seeking an understanding of the emerging pradigms of computer science"

-- Mitchell Wand, American Scientist

This book handles all the topics using the dialect of Lisp called Scheme. It is impressive how simple a syntax and the interpreter and how powerfull the corresponding language can be. The book is mainly dealing with funcional programming techniques. I should overthink Fype, which is my own language for which I wrote an interpreter for.

Language, Proof and Logic

| 1 Comment | No TrackBacks

logic.jpgI just ordered my next book (for US $1.20 from eBay USA + US $11 shipping). In germany this book costs from ~20 up to ~60 EUR.

Language, Proof and Logic covers topics such as the boolean connectives, formal proof techniques, quantifiers, basic set theory, and induction. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

This kind of logic has been introduced in the first two chapters of my previous AI book. I want to dig deeper :)

New book ordered :)

| No Comments | 1 TrackBack

21wDjQ05uLL._SL500_AA180_.jpg While my Real World Haskell book nears completion, I ordered on Amazon "Grundkurs Künstliche Intelligenz: Eine praxisorientierte Einführung" (which is german and says: Basics of Artificial Intelligence: A practic-oriented introduction). This book seems to cover all the material which is taught on the basic AI classes at the universities. Sadly, I did not have any AI class during my university time (I studied informatics). And the book has, as far as I know, only good critics.

Progress in Haskell

| 1 Comment | No TrackBacks

My first real program written in Haskell is growing. It is forming valid english sentences.

makeSentences = do
	let pronoun = SgI 
        in print $ (pronounForm pronoun) 
           +++ (futureForm pronoun $ IrregularVerb 
                         "go" "went" "gone") 
           +++ (superlative $ RegularAdjective "fast")
	let pronoun = SgHe 
        in print $ (pronounForm pronoun) 
           +++ (presentForm pronoun $ IrregularVerb 
                         "go" "went" "gone") 
           +++ (comparative $ RegularAdjective "fast")
	let pronoun = PlWe 
        in print $ (pronounForm pronoun) 
           +++ (pastForm pronoun $ RegularVerb "watch") 
           +++ (comparative $ IrregularAdjective 
                         "good" "better" "best")

The output of this small program is as follows:

*Main> makeSentences
"I will go the fastest"
"he goes faster"
"we watched better"

real-world-haskell.jpgSo far the program handles pronouns, regular verbs, irregular verbs, regular adjectives and irregular adjectives with all of their exceptions. The program is less then 200L. Since I am used to C/C++/Perl and Java, programming in Haskell forces me to rethink the way of programming. It's a great experience. I still 've much to learn. And my Real World Haskell book I've only finished half yet :)

Learning functional programming

| 4 Comments | 1 TrackBack

The last weeks I started (slowly but constantly) to learn functional programming using Haskell. First, I started with the functional programming practices (available as videos) of the RWTH Aachen (University). However those practices aren't so good if you don't have the lecture itself as well. Afterwards I was reading most of the Yet Another Haskell Tutorial and did most of the practices listed inside. I did this until I found out about the book Real World Haskell, which is also available for free as HTML pages. I decided a hard cover book is much nicer and it is supporting the authors, so I ordered myself a copy of this. While waiting for it, I found a 15 year old book about Informatics in my shelf.

vorlesung-informatik.jpg

The last ~150 pages teach how to functional program using the Gofer Programming Language. While waiting for Real World Haskell I am reading how to program in Gofer at the moment. Gofer can be seen as a very light version of Haskell. So if I learn Gofer, then I also learn Haskell. Today, Haskell is 100% compatible to Gofer plus more.

One of my long term goals may be reimplementing my AI IRC Bot in Haskell. At the moment, the bot is written in Perl.

About this Archive

This page is an archive of recent entries in the Book category.

Blogroll is the previous category.

buetow.org is the next category.

Find recent content on the main index or look in the archives to find all content.