Jetzt knapp 4 Wochen vor dem Aufschlagen von iOS 6 werden die seltsamsten Wuensche und Traeume macher Menschen ins Internet geschrieben die ganz sicher nicht das Licht dieser Welt erblicken werden.

Was mich aber zum nachdenken gebracht hat, war mal wieder John Gruber, jemand der den ganzen Tag zeit hat ueber Apple nachzudenken kommt oft zu sehr scharfsinnigen Schlussfolgerungen.

Seine Punkte zu iOS 6 waren zb:

* Inter-application communication
* Third-party Notification Center widgets.
* Third-party Siri APIs.

Als Entwickler hat man natuerlich diverse Wuensche, aber was davon wird Apple in iOS 6 fuer uns bereitstellen.

* Aendern des Springboard Icons
* Bilder in Push Notifications
* Turn by turn navigation
* Routen zeichnen

Bei der Entwicklung von iOS Apps faellt einem hier und da manchmal noch eine Kleinigkeit ein die Apple verbessern koennte.
In den letzten Jahren war oft die Sprache selber das “Problem”, die meisten Huerden sind mit ARC gefallen, auch die neue Objective-C literals Erweiterung zaehlt dazu. Zum iOS 6 Release kann man aber wohl nicht davon ausgehen das wir noch mehr Features sehen werden die den LLVM Compiler betreffen. In letzter Zeit sind schon so viele Aenderungen hinzugekommen, diese muessen erst mal von der breiten Masse geprueft werden.

Was ist mit Multi-User support fuers iPad?
Was ist mit Background Tasks on Demand?
Sollte man nicht mal das App Settings Konzept von iOS ueberdenken?
Warum hab ich immer noch nicht alle iOS Core Apps auf dem iPad, Wecker, Stocks, Siri?
Wo sind die iPad Gesten auf dem iPhone?

Wie John Gruber schon sagte, die Tief haengenden Fruechte sind jetzt abgeerntet, begeben wir uns auf die naechste Ebene und gehen die Details an.

Do the hard work to make it simple
Making something look simple is easy; making something simple to use is much harder — especially when the underlying systems are complex — but that’s what we should be doing.

Die Website des halben Dutzend Krimiautoren, die sich das ausdachten, wurde mit einer Mailbombenattacke lahmgelegt, die Initiatoren wurden mit Hass-Mails eingedeckt und persönlich bedroht, sie haben Anzeige gegen unbekannt wegen Belästigung erstattet.

Während der letzte Teil für jeden, der im Netz seine Meinung äussert, schon fast als Ritterschlag gelten kann und zeigt, dass man ernst genommen wird, hege ich keinerlei Zweifel daran, dass die Autoren diese üblen Mails auch wirklich bekommen haben, glaube an den ersten Teil des Satzes einfach nicht und will auch kurz erklären, warum das so ist.

Eine Mailbombe kann, vereinfacht gesagt, so etwas sein wie eine gepackte Zip-Datei, die bei der Prüfung einer Antivirensoftware auf Schadcode ausgepackt werden muss und dafür sorgt, dass der Arbeitsspeicher des Rechners so belegt wird, dass keine weiteren Operationen mehr möglich sind. Damit ein Webserver davon betroffen ist, muss aber der Mailserver auf demselben Rechner sein, denn nur dann beeinflusst er überhaupt das Verhalten anderer Dienste. Wenn man sich aber mal genau ansieht, welche Mailserver für die Domains der Krimiautoren und der Kampagne zuständig ist, dann sieht man, dass dies ein vollkommen anderer Rechner ist als der, der die Webseiten ausliefert (was nicht wundert, ist das doch ein sogenannter Shared Host, auf dem viele verschiedene Domains gehostet werden).

Für mich steckt hier also schon der erste Fnord drin, der mich direkt zu weiteren Überlegungen bringt: Warum sollten sie lügen? Was haben sie davon, diese Geschichte so aufzuziehen?

Eine Frage, die sich in dem Kontext stellt, ist aber noch eine ganz andere: Warum machen die Krimiautoren im Rahmen des Urheberrechts eine Aktion, die so direkt Anonymous thematisiert? Man kann jetzt natürlich sagen, sie wollten einfach provozieren, wollten, dass die Anons genau so etwas machen. Aber was bringt ihnen das in der ganzen Urheberrechtsdebatte?

Thomans Stadler stellt heute in seinem Beitrag Wer koordiniert die Urheberrechtskampagne? eine Frage, die sich meiner Ansicht nach tatsächlich ergibt, denn da passiert grade etwas, was man so auch noch nicht gesehen hat: Eine Kampagne, die von vielen Seiten her Angriffe auf die vermeintlichen Feinde des Urheberrechts im Sinn hat und mal mehr, mal weniger deutlich macht, auf wen dieser Angriff konkret abzielt, aber letztendlich alles andere als eine Dialogbereitschaft zum Ausdruck bringt.

Der Subtext dieser Kampagne aber ist: Anonymität im Netz ist eine Bedrohung - für Urheber und für die Demokratie. Damit stimmen sie in die immer wieder geforderte Äusserung nach Deanonymisierung des Netzes und Vorratsdatenspeicherung ein, die auch von Seiten des Innenministeriums immer wieder zu vernehmen sind.

Der Zeitpunkt für diese Kampagne ist gut: Das Thema hat nach dem zornigen Interview mit Sven Regener im BR-Radiomagazin “Zündfunk” eine mediale Präsenz wie nie zuvor. Viele der Akteure, die sich seit Jahren mit dem Thema auseinander setzen, sind über den Raum, die diese Debatte endlich einnimmt, sehr froh - gibt es diese doch schon seit mehreren Jahren, und sie wird auch auf recht hohem Niveau geführt.

Neben vielen anderen Forderungen an ein modernes Urheberrechtssystem ist eine, dass diese Regelungen bürgerrechtsschonend sein sollen, also ohne Überwachung der Nutzer auskommt. Es sollte sich u.a. an dem System der Pauschalabgaben messen, welches seit Jahren als Abgabe auf Drucker, Festplatten usw. existiert, aber auf das Internet übertragen werden könnte (dies ist nur ein Aspekt und der Einfachheit halber starkt verkürzt). Eine der Ideen dafür ist eine Kulturflatrate oder der Ansatz Kulturwertmark, der sich zudem noch des Problems der Verteilung Pauschalen annimmt.

Diese Ideen für neue Pauschalvergütungssyteme bedrohen allerdings das bestehende und ruft damit Widerstand hervor. Wenn man z.B. mit Kulturpolikern spricht, so fällt einem auf, dass sie immer wieder gerne auf Systeme abheben, die nur funktionieren, wenn es keine anonyme und pauschale Nutzung gibt, sondern eine, die genau nachvollziehbar ist (ob und wie technisch überhaupt machbar sei mal dahin gestellt).

Und hier sehe ich auch den Zusammenhang der Kampagne: Es geht im Kern darum, Anonymität, die für uns im Alltag selbstverständlich ist, im Netz zu diskreditieren. Dabei wird sogar in dem FAZ-Artikel wenig stringent argumentiert:

Dass diese Daten aber nicht allein aus öffentlichen, leicht zugänglichen Quellen stammen, sondern das Ergebnis von Recherche und Aushorchung sind, kann man schon an dem Beispiel des Enthüllungsjournalisten Günter Wallraff sehen. Auch er, der aufgrund seiner Arbeit besonderen Wert darauf legen muss, nicht für jedermann identifizierbar zu sein, wird von der Anonymous-Gruppe, die diese Datei angelegt hat, als Zielperson aufgeführt.

Es wird also mit zweierlei Mass gemessen: Die gute Anonymität, die für einen Journalisten bei der Recherche nötig ist und die schlechte, die im Internet. Dass es dieselbe Seite derselben Medaille ist, kommt dem Schreiber dabei nicht in den Sinn. Jedenfalls geht es auch hier wieder darum, wie bösartig die Netz-Anonymität ist.

Aber ein System, dass die anonyme Nutzung im Internet unmöglich macht, benötigt ein Komponenten, die prinziell die komplette Nutzung protokollieren und deswegen auch so vehement von den Aktivisten bekämpft werden. Es gibt da auch keine VDS-Light-Lösungen, die nur bei urheberrechtlich geschütztem Material greift, auch wenn das einige denken mögen.

Noch einmal deutlich: Ich halte nichts von irgendwelchen Listen von Leuten, die andere Meinungen haben und diese öffentlich und nachdrücklich vertreten, im Gegenteil. Aber ich frage mich schon, ob diese Liste tatsächlich das ist, was der Artikel vorgibt. Denn wenn man sich diese Liste ansieht, so stammen die Daten nicht aus einem Hack wie bei Sony oder Stratfor, sondern aus öffentlich zugänglichen Quellen - auch im übrigen bei Wallraff. Und ob das wirklich Anonymous war, ein Angry Kid, das früher mal Stress mit Abmahnungen hatte und deswegen freidreht oder vielleicht auch einfach eine False Flag-Nummer, kann man nicht so einfach ermessen.

Egal wie, es ist weit weniger dramatisch, als es in dem Artikel dargestellt wurde, wobei ich verstehen kann, dass die Leute, die dort aufgeführt, vollkommen zu Recht wenig amüsiert sein dürften. Was aber eben schon auffällt ist, dass sich die ganze Debatte von Seiten der (im übrigen recht priviligierten) Urheber um das Thema Anonymität im Netz bzw. dessen Aufweichung dreht.

Nachtrag: Ob die Krimiautoren bewusst gelogen haben oder einfach nur nicht verstanden haben, was da passiert ist, vermag ich nicht zu sagen. Es ist aber einfach eine unsinnige Ansage.

Dieses Jahr habe ich es tatsächlich geschafft den Gratis Comic Tag nicht zu verpassen UND früh genug da zu sein um die Comics zu bekommen, die ich wollte (im Gegensatz zu weniger glücklichen Kollegen). Die Mayersche Buchhandlung in Trier verschenkte zwei Comics pro Person und so gab es für meine Frau “Game of Thrones” und “Die Katze des Rabbiners”, für mich “The Walking Dead” und “Justice League.”

Schade, dass es in Trier keinen richtigen Comicladen mehr gibt und es damit allgemein sehr schwierig ist hier an originale US-Comics zu kommen.

Today, it must have been exactly 10 years that I started using Debian. The story of how I came to Debian shows some of its strengths, so I’ll use this occasion to share it.

I spent the first half of 2002 as an high-school exchange student in Wenatchee, USA. I was already a user of Linux at that time: I made my first contact roughly in 1996 and did my first installation at home two years later, but all that time I was dual-booting and my main system was a well-arranged Windows 98. The machine was a regular tower PC, but nevertheless I put the computer into my trunk when I flew to the US. It took away most of the space, and I had to put some of my cloths inside the case.

So I was there, happily using my Windows and my manually set up “Linux From Scratch” until one day the inevitable happened; inevitable at least until you start doing backups: On April 30th, my hard drive crashed, and took the two systems together with 4 years of personal data with it.

Two weeks later I had a new hard drive and was pondering my options. I did plan to install Windows again; at that time Windows XP was just released. But I wanted a German version of Windows, which would be hard to get there. Also, I did not want to use Linux from Scratch any more, and wanted to make a well-founded choice of a distribution. On the other hand, I really wanted to get my machine up and running quickly, to be able to read my mail more comfortably. I had heard that Debian had good support for network installations (downloading a full 700MB CD was something to avoid at that time), so I grabbed some netinst images, burned a CD, and quickly installed Debian.

I was planning to use the system for about two weeks. I did not pay any particular attention to the setup. Heck, I even picked from my Simpsons sidekick machine naming scheme one that I would not miss being used up (“barney”). Nevertheless, I was using this installation for many years (and many upgrades), until I eventually switched to using laptops. In fact, that very installation is still on the machine somewhere and works. I did install Windows XP a few weeks later as well, but hardly used it. So May 12th of 2002 was when I turned into a full-time Linux and Debian user.

I soon became interested in Debian the project and started to contribute. But that is another story for another ten year anniversary blog post, most likely on October 21, 2013...

Wir nutzen das Internet als unverzichtbares Werkzeug, um unseren Lebensunterhalt zu bestreiten, gestalten damit unsere Freizeit und vertrauen dem Netz unsere intimsten Geheimnisse an. In Sekundenbruchteilen lässt es uns Bilder, Musik, Videos und andere Informationen teilen und austauschen. Eine von den Beschränkungen von Raum und Zeit befreite Vernetzung der Menschen untereinander ist ein zentraler Aspekt unseres Lebens geworden.

Traditionelle Kommunikationswege, wie das gesprochene Wort oder schriftliche Ausarbeitungen, haben eine jahrhundertealte Entwicklung hinter sich und sind ein fester Bestandteil unsere Sozialisation. Mit den neuen, sich rasant ändernden Spielregeln der Kommunikation im Internet müssen wir uns dahingegen erst noch vertraut machen. Was bedeuten geschlossene, zentralistische Systeme für unsere Datensicherheit? Warum sollte im Internet mehr Dezentralität herrschen? Wie können wir sicherstellen, dass unsere Programme das tun, was wir von ihnen erwarten? Was bedeutet der Bundestrojaner für unsere informationelle Selbstbestimmung?

Das Wissen über Technologien und über deren gesellschaftliche Auswirkungen ist eine Grundvoraussetzung für eine echte Teilhabe an der digitalen Lebenswirklichkeit. Das Symposium Datenspuren will dazu beitragen, dieses Wissen zu mehren.

Wir suchen digitale Kammerjäger, Helfer für die Selbsthilfe und mündige Bewohner des digitalen Dorfes, die über das ungewollte Gekrabbel aufklären. Neben Vorträgen zu Themen wie Technikfolgenabschätzung, Anonymität und Privatsphäre wünschen wir uns Workshops zum Beispiel über Verschlüsselung und den Betrieb eigener Infrastruktur.

Im Rahmen unserer Bemühungen die Netzkulturbewohner von morgen anzusprechen, freuen Wir uns auch über Einreichungen, die sich speziell an Kinder und Jugendliche richten.

Einreichungen ab sofort unter cccv.pentabarf.org/submission/DS2012 möglich (bis 31. August 2012).

Für Rückfragen stehen wir unter datenspuren@c3d2.de zur Verfügung.

Mehr Informationen auf www.datenspuren.de

Eine PDF Version des Flyers erhaltet ihr hier

What I didn't expect was that the pages look so very similar, because there's not really much original design to my blog anyway like a title picture or something. I didn't want the pages to look so stunningly similar, so I decided to change my color scheme.

That's when my lazyness kicked in. I knew there were about five or six places where I'd put small variations of that tone of green that wasn't in the original template and I didn't feel I could just hack the hex codes and get a good-looking result immediately. Therefore I came up with the simplest plan that could possibly work: Create a tool that automatically classifies colors in css style sheets into groups and offer the user to interactively change them. What could go wrong?

more

You can find examples for all things discussed in this article both in the IPython example notebooks and the zasim example notebooks.

Here's how it works.

Run ipython notebook in the console, perhaps supplying --notebook-dir as the place where notebooks should be kept. Then just create a few notebooks with text cells for explanations and code cells for examples. Other than full examples, that can just be run with "run all", you can also write incomplete code cells and ask the user to fill out the code, perhaps with an assertion at the end that the user has to make pass as an exercise.

But there's more to the IPython notebook than just code input and text output:

Cooler types of output

Displaying different formats in-line

The notebook can display graphics (pngs and svgs for instance) and HTML or javascript snippets as code output and you can input TeX equations in your markdown cells, that will be rendered with MathJax.

Making an object pretty-printable as a png or similar is pretty simple; you just have to implement a method like repr_png or similar that return appropriate data. Look at the documentation of IPython.core.formatters for more information on the available formats.

Displaying multiple things for one cell

If you want to display multiple things in one go, you can import the function display for objects that have appropriate repr_format methods or the different display_foo methods for png, svg, … from IPython.core.display. They can be used in loops for instance to display sequences of images in multiple lines. But we don't have to restrict ourselves to static imagery. With a little trick (that's going to be improved upon "soon"!) we can even get animations.

Displaying (crude) animations

At the moment, this is rather slow and somewhat sloppy with a bit of flickering, but you can use IPython.core.display.clear_output to remove stdout, stderr or "other" output from the cell currently being run. That "other" contains any images or snippets you have displayed with the display function.

With a bit of time.sleep and clear_output, you can make animations. But don't choose too short pauses between the frames, because the web frontend does not wait until the new image is generated and loaded before clearing the output.

With text, of course, this works more smoothly.

Cooler types of interaction

Using gui event loops

Of course, the magic behind the IPython notebook is just the same as the magic behind the qtconsole or the regular interactive shell. That means that you can run different types of event loops and control them from the notebook. For zasim that means that you can use the supplied PySide/Qt-based gui elements and let them show up on the screen. Of course there is no automagic VNC setup going on, so the gui windows will just pop up on the screen of the user where ipython notebook was called and will fail if no gui is available.

All you need to do to get the event loop running and push gui elements around is this little line in one of your cells:

%gui qt

Connecting other frontends

Since every notebook runs a stardard IPython kernel behind the scenes, you can connect any program that supports the IPython zmq protocol. That includes the IPython QtConsole and the regular interactive shell, too.

In the terminal you've started the notebook with, you'll see a couple of lines like this one:

[IPKernelApp] To connect another client to this kernel, use:
[IPKernelApp] --existing kernel-dcd04517-dd1e-4339-84e8-46ef617e26c1.json

Just supply this --existing argument to your other application and you can interact with the kernel that's running for the notebook.

Currently, commands run in the notebook won't show up in other connected frontends and vice versa, so it can get a bit confusing if you actively change state from the other connected frontend, but it's still very useful to inspect the state of the kernel.

Cooler ways of launching the notebook

Distributing example and tutorial notebooks with your library or framework has just one little problem: The user most likely won't be able to write to the notebooks and keep their changes, due to system-wide installations being read-only. And if the user can write to those notebooks, you may not want them to overwrite the example versions you distributed.

To solve this problem, I wrote a little IPython notebook launcher that creates copies of all the notebook's files and launches the notebook, as well as a browser, for those copies. I even went a little further and added the option to put customised imagery and style sheets in there, so you can brand the notebook web app with your logo or your website style.

This piece of code has a page on the IPython Cookbook section of their wiki and the version I use in zasim can be found in the github repo as well.

Keeping your docs and code in sync

One important thing is to keep the documentation up to date with changes to your internals. Of course you should be on your toes anyway every time you change something that's described in the documentation, but every now and then, one or two sentences in your documentation might slip by unnoticed and become out of date.

Using sphinx for zasim helped me in that aspect, because I can put code examples everywhere as doctest blocks that will be executed whenever the documentation is built. This already helps a fair bit, but one could go even further and add invisible doctests right next to the paragraphs that make statements to ensure that all statements in the documentation hold true even as you change your documentation.

But in addition to that, we can also run our example notebooks as unit tests. This can be done with a rather simple conftest.py file for py.test. Details can be found on the IPython cookbook page.

A large part of this has been done for me by minrk of the IPython project. Thanks!

Exporting notebooks to sphinx

At the moment, sphinx integration is not there, but according to an old blog post somewhere, it's a high priority item. I imagine there would be a plugin for sphinx that would read and/or execute an ipynb file including output cells and imagery and put it right into a sphinx document. That I'd love to see.

Until then you can use the print function in the notebook to open a print-view that you can then save using your browser as an html file with imagery.

That's not ideal, but it will certainly get better. Until then, you can do it like me and just tease your potential users with one or two screenshots.

Conclusion

All in all, the IPython notebook isn't just really useful for end users as a tool, but also for developers of anything that could be learnt through guided experimentation. It is not only more convenient than just text (which the user would have to copy-paste to a shell to try), but also more interactive, because the user can immediately change values inside the cells and re-evaluate. That gets pretty close to immediate feedback.

So do give it a try, either with the IPython example notebooks or the zasim example notebooks.

“Das Internet bietet fantastische Möglichkeiten zum Austausch von Wissen und Kultur, zum gemeinsamen Lernen und Lehren, zur politischen Beteiligung, zur globalen Zusammenarbeit und vieles mehr. Doch dieses Potential kann noch nicht ansatzweise ausgeschöpft werden. Es fehlt an offenen, etablierten Standards, einer Systemarchitektur für das Internet. Es geht nicht darum ein (dezentrales) soziales Netzwerk ins Internet zu stellen, sondern darum, das Internet zu einem sozialen Netzwerk zu machen.”

Folien (PDF)

[update] leider habe ich es noch nicht geschafft die shownotes fertig zu machen, diese folgen am Wochenende [update ende] pentaMusic Radio Show - abmischen, aufmischen, durchmischen. Die heutige Sendung greift das Thema Remixes auf. Grund ist der Tod des Beastie-Boys Gründers und Frontmans Adam Yauch. Die Beastie Boys haben durch Sampling den Hiphop der 80er Jahre vorangetrieben und waren auch immer für Remixes ihrer Stücke zu haben. Außerdem werden die Macher von Timeshift etwas über ihren neusten Streich erzählen und zwischen den Themen gibt es wie immer eine große Auswahl an Musik.

Und getreu dem Motto von Creative Commons könnt ihr neben dem reinen Konsum natürlich auch (live) mitmachen:

Phone

0351/32-05-47-11

Skype

pentaradio24

E-Mail

pentamusic@c3d2.de

OStatus

@pentaradio@identi.ca

Twitter

@pentaradio

Live-Chat

Jabber MUC

Live hören könnt ihr pentamusic am Dienstag, den 08. Mai ab 21:30 Uhr wie immer auf coloRadio (Stream).

• SONG: David Rovis - The Commons (cc-by-nc-sa)

• pentaMusic-20120508 (Ogg Vorbis, 94.9 MB)
• pentaMusic-20120508 (MPEG-Audio, 104.6 MB)

Weitere Informationen zum Indiepixel Summit finden sich auf www.indiepixel.de

I must say that I do like free groups. At least whenever I play around with some theorem provers, I find myself formalizing free groups in them. For Isabelle, my development of free groups is already part of the Archive of Formal Proofs. Now I became interested in the theorem prover/programming language Agda,so I did it there as well. I was curious how well Agda is suited for doing math, and how comfortable with intuitionalistic logic I’d be.

At first I wanted to follow the same path again and tried to define the free group on the set of fully reduced words. This is the natural way in Isabelle, where the existing setup for groups expects you to define the carrier as a subset of an existing type (the type here being lists of generators and their inverses). But I did not get far, and also I had to start using stuff like DecidableEquivalence, an indication that this might not go well with the intuitionalistic logic. So I changed my approach and defined the free group on all words as elements of the group, with a suitable equivalence relation. This allowed me define the free group construction and show its group properties without any smell of classical logic.

The agda files can be found in my darcs repository, and the HTML export can be browsed: Generators.agda defines the sets-of-generators-and-inverses and FreeGroups.agda (parametrized by the Setoid it is defined over) the reduction relation and the group axioms. Here are some observations I (disclaimer: Agda-beginer) made:

• Fun fact: Free groups exist not only in classical logic.
  
• Without any automation as in Isabelle, even simple things get quite complicated. A simple substitution of an equality with subst requires me to specify not only the equality and the term I want it to apply, but also to repeat the common part of the terms. Or when using the associativity of list concatenation, I have to pass all three sublists to the lemma. Maybe I am a bit spoiled by Isabelle, but I’d be worried that this would prevent large proofs.
• The levels are also annoying. Although my theory stays within one level, I have to annotate it everywhere. I’d expect the type inference to figure this out for me.
• Equality reasoning with begin ... ∎ is quite nice and surprisingly well readable.
• Besides the additional work, it is nice to be able to do the proof in almost all detail. There is a limitation, though, as some steps are done automatically (if they happen to occur when evaluating/normalizing a term) and the others, even if similar-looking, are not.
  
• It’d be great if one would be free in the choice of editor, but vim users generally have a hard time in the field of theorem provers.
  

If I were to extend this theory, there are two important facts to be shown: That there is a unique reduced word in every equivalence class (norm_form_uniq), and the universal property of the free group. For the former (started in NormalForm.agda) I’m missing some general lemmas about relations (e.g. that local confluence implies global confluence, and even the reflexive, symmetric, transitive hull is missing in the standard library). For the latter, some general notions such as a group homomorphism need to be developed first.

I planned to compare the two developments, Isabelle and Agda. But as they turned out to show quite things in different orders, this is not really possible any more. One motivation to look at Agda was to see if a dependently typed language frees me from doing lots of set-element-checking (see the “mems” lemma in the Isabelle proof of the Ping-Pong-Lemma). So far I had no such problems, but I did not get far enough yet to actually tell.

Thanks to Helmut Grohne for an educating evening of Agda hacking!

• Fotos


• letztes Mal auf der GPN 11


• vorläufiges Kongressprogramm


• Twitter timeline von @entropiagpn

• Was: GPN 12 - Hacken, Treffen, Lernen, Chillen


• Wann: 2012-06-07 (Do.) - 2012-06-10 (So.)


• Wo: Hochschule f. Gestaltung Karlsruhe, ehemal. IWKA, neben ZKM

Geht natürlich, zuständig ist das Plugin vim(re)press.

Installation

Einfach von der Seite herunterladen und nach ~/.vim/ entpacken.

cd ~/.vim/
unzip /PFAD/ZUR/vimpress-VERSION.zip

In eurer ~/.vimrc müsst ihr dann noch einen Eintrag nach dem folgenden Schema machen:

let VIMPRESS = [{'username':'user',
            \'password':'pass',
            \'blog_url':'http://your-first-blog.com/'
            \},
            \{'username':'user',
            \'blog_url':'http://your-second-blog.com/'
            \}]

Die Passwortangabe ist optional, wenn nicht, wird man interaktiv in Vim gefragt.

Zusätzlich will man noch python-markdown oder python-markdown2 (AUR) installieren. Das ermöglicht es einem die Blogposts in Markdown-Syntax zu schreiben. Das ist deutlich angenehmer als immer HTML-Elemente benutzen zu müssen.

Benutzung

:BlogNew post

erzeugt einen neuen Blogpost aus der aktuell geöffneten Datei. An die Datei wird oben ein Header mit Meta-Informationen wie Titel, Kategorien und Tags angefügt, die man dann ausfüllen kann/sollte.

:BlogPreview local

zeigt den Blogpost lokal in HTML formatiert an (Ohne Template und CSS, wirklich nur der Artikel).

:BlogPreview publish

veröffentlicht den Artikel hingegen und zeigt ihn dann an.

:BlogSave draft

speichert den Post als Entwurf. Ohne das “draft” wird er publiziert.

:BlogList [post]

zeigt alle Blogeinträge an. Man kann einzelne auswählen und editieren. Will man den Artikel mit Markdown editieren, muss man allerdings im Header “EditType” auf “Markdown” setzen (steht vorher auf “HTML“).

:BlogOpen <Artikel-ID>/<Artikel-URL>

Öffnet einen Artikel direkt zum Bearbeiten.

Sowohl :BlogNew als auch :BlogList kann man auch mit dem Argument “page” statt “post” benutzen, um Seiten statt Artikeln zu bearbeiten.

Dieser Artikel ist natürlich in Vim geschrieben

Since I don't use Ruby nor perl5 (although I do dabble in perl6 every now and then), I thought I could port it to Ned Batchelder's coverage.py. It turned out to be pretty simple, as coverage.py is rather well organised.

Thus, my little feature branch for vim sign output for coverage.py was born.

It might be very simple, but it does seem to work fine. Here is a screenshot of it in action:

It works like this:

# run the test suite with coverage enabled, thus creating the file .coverage
py.test --cov mymodule
# generate a vim-"report" of the coverage data
coverage vim
# then, in vim, source the coverage-data.vim file
:so coverage-data.vim

Whenever you open a new file, that's part of your coverage, you have to execute :Cov again to get the signs. When editing the files, vim will try to move the signs around, but you will have to recreate the coverage information manually from time to time.

There are things that could be done to make this more integrated with vim, but I think this'll do.

The next step is to see if I can get the code accepted in upstream coverage.py and get support for it into pytest-coverage, too.

Arme Menschen wie ich, die in der Welt sowohl als Apple, als auch als Google Fanboys verschrien sind kennen das Problem: Man hat Googlemail mit der Erledigung seiner Post betraut und weil man viele Domains besitzt hat man dort auch mehrere Absenderadressen eingerichtet. Das iOS Gerät in der Hosentasche scheint sich aber standhaft zu weigern diese Adressen auch zu nutzen und weil man vor seinen coolen Nerdfreunden nicht als Kackn00b dastehen will verschickt man natürlich keine E-Mails, deren Absenderadresse auf @googlemail.com enden. Aber fürchtet nicht länger, Hilfe ist nah.

1. Man begebe sich auf dem Gerät zu Einstellungen -> Mail, Kontakte, Kalender -> Account hinzufügen -> Andere -> Mail-Account hinzufügen
2. Unter “Name” trägt man ein was man später angezeigt sehen will, zu “Adresse” kommt die vollständige @googlemail.com Adresse, das Kennwort ist natürlich das Google Kennwort, bei Beschreibung kann man schreiben was man will
3. Speichern und zurück zum Homescreen. Jetzt kommt der Trick:
4. Aus irgend einem Textfeld (z.B. das von der Suche, wenn man den Homescreen ganz nach rechts schiebt) kopiert man sich ein einzelnes Komma (,).
5. Zurück zu Einstellungen -> Mail, Kontakte, Kalender -> Eben erstellter Account. Hier das Adressfeld antippen und das eben kopierte Komma hinter die @googlemail.com Adresse kopieren. Das funktioniert nur so, da die hier verfügbare Tastatur kein Komma hat. Apple hat diesen Fall offensichtlich nicht vorgesehen.
6. Hinter dieses Komma kann man jetzt eine weitere Absenderadresse eintragen (danach wieder ein Komma, eine weitere Adresse, … wichtig ist nur, dass man nach der letzten Adresse kein Komma mehr setzt).
7. Ab in die Mail App, erstellt man hier jetzt eine neue Mail kann man tatsächlich eine der Absenderadressen wählen und damit Mails verschicken.

codestre.am funktioniert im Prinzip ähnlich wie shelr, d.h. man kann Dinge, die man in einer Shell tippt (und was ausgegeben wird) mitschneiden und als ein “Video” speichern.

Im Gegensatz zu shelr, kann codestre.am allerdings Livestreams. Sehr nettes Feature. Online kann man dazu auch chatten, fehlt eigentlich nur noch Voice-Chat (aber das kann man ja auch anders lösen).

Um Aufnahmen mit codestre.am zu machen müsst ihr euch zuerst auf der Website anmelden und eine neue Aufnahme erstellen. Dann bekommt ihr einen Befehl, den ihr ausführen sollt; der sieht ungefähr so aus:

curl get.codestre.am/xxxxxxxxxxxxxxxxxxxxxxxxx | sh

Ihr bekommt also für jedes “Video” ein eigens generiertes Shellskript. Sobald es ausgeführt wird, öffnet sich eine neue Shell, die dann live gestreamt wird. Schließt man die Shell, wird die Übertragung beendet. Durch erneutes Starten des Skripts kann man sie allerdings fortsetzen. Um einen Stream ganz zu schließen, muss man ihn online als abgeschlossen markieren. Dann wird er in ein “Video” konvertiert und kann jederzeit wiedergegeben werden.

Lokal Aufnahmen zu speichern, wie in shelr ist nicht möglich, allerdings lassen sie sich als privat markierten, sodass man sie nur mit dem passenden Link ansehen kann. (Das Feature hat shelr inzwischen auch bekommen).

Hier noch eine kleine Gegenüberstellung ohne Anspruch auf Vollständigkeit:

* beide Player funktionieren zwar auf HTML-Basis, im shelr-Player passieren allerdings manchmal komische Dinge, wenn man Text auswählen will
** das heißt nicht, dann es keine Pausen gibt, nacheinander Eingegebenes wird auch nacheinander ausgegeben, es gibt allerdings keine langen Pausen, wenn man lange nichts tut

Besonders die Livestream-Funktion hat mich an codestre.am sehr begeistert, aber manchmal will man aber vielleicht auch einen lokalen Client haben, um Aufnahmen zu machen und zu verwalten. Dann muss man eben zu shelr greifen.

Wenn man fertige Aufnahmen sucht, dann ist man auf jeden Fall bei codestre.am besser bedient, da es dort schon eine große Auswahl (sogar nach Programmiersprache sortiert) gibt. Schön wären allerdings Aufnahmen mit Audiospur, die leider beide nicht liefern.