All posts by chris

Kosten und Emissionen eines Elektroautos

Wir fahren 20.000 km pro Jahr und vergleichen in dem unten genannten Artikel die Kosten für die Anschaffung eines Neuwagens, Unterhalt und Verkauf nach 10 Jahren von einem Golf, einem BMW 318d und einem Tesla Model 3. Es zeigt sich, dass das Model 3 (wenn es mit Öko-Strom betankt wird) 5-mal geringere CO2-Emissionen hat als die Verbrenner hat. Es kostet ähnlich viel wie der Golf und ist wesentlich günstiger als der BMW. Um einen eigenen Eindruck zu bekommen, stellen wir auch ein Worksheet mit den Berechnungen zur Verfügung.

Hier mein Artikel zu dem Thema und hier das Worksheet.

I use cFosSpeed to keep my Ping time nice and low

I use cFosSpeed to keep my Ping time low and be able to use VoIP, terminal sessions, remote desktop, IRC sessions and online games on the one hand and up/downloads on the other hand at the same time. cFosSpeed keeps the “pressure” of the file transfers on the line low, so urgent data can still pass quickly.

Since I’m one of the developers of cFosSpeed it’s probably no wonder I like it and endorse its use.

So, if you’re interested, click here to get to the cFosSpeed site:

 

Finally! PPLpy for Windows (Python 3.7)!

Jonas Weinz has finally managed to compiled a version of PPLpy (together with gmpy2) that works under Windows and can be installed without compiling the whole lot. Many thanks again! 🙂 This version works for Python 3.7 only.

His compiled binaries can be found on his Github page, together with his recipe how to compile it yourself.

I mirror the files here as well:

PtCut v3.3.0 available

I just released PtCut v3.3.0.

The news are:

  • “–bbox” switches on calculation of bounding boxes for polyhedra in common planes. This allows for a much faster calculation of BIOMD0000000146_numer.
  • “–filter X” allows to only use the first X polyhedra per iteration. This allows to at least calculate a subset of the solution.
  • “–remove X,…” will remove polyhedra from bags. With this, one can rewmove superfluous polyhedra. That fact and their name can be found in common planes computation.
  • I started a first attempt at some documentation! <gasp> So far, only some switches are in it.

Download here. Full PtCut page is here.

Nach dem Vorkurs ist vor dem Studium

Der Vorkurs ist vorbei! Ich freue mich, dass ich den Kurs auch dieses Jahr wieder halten durfte. Ich hoffe, dass die kommenden Informatik-Studenten in meiner Vorlesung viel gelernt haben. Die Übungen waren gut besucht und dank der guten Mithilfe meiner Tutoren sind Übungen und Vorlesung wieder mal ein wenig besser und “runder” geworden.

Ich danke allen Tutoren (besonders Sarah und Matthias) ausdrücklich für ihre gute Arbeit und allen Studenten für ihr Interesse.

Eine leicht überarbeitete Version des Skripts ist hier verfügbar.

It’s Vorkurs-Time!

Der Sommer geht zu Ende, ein neues Semester steht vor der Tür und die Bonner Informatik bietet erneut ihren Vorkurs “formale Methoden der Informatik” an und ich werde ihn wieder halten.

Jetzt am Montag, dem 3.9., geht es los. Interessenten mögen sich bitte bei https://precampus.uni-bonn.de/ anmelden. Der Kurs ist wie immer freiwillig und nicht benotet.

Er findet vom 3. – 14.9. statt im Hörsaal IV in der Meckenheimer Allee 176. Die Vorlesung findet jeden Tag statt von 10-12h. Übungen gibt es auch, jeden Tag von 13-15h. Es gibt keine Hausaufgaben.

Es gibt auch wieder ein aktualisiertes Skript. Ich werde es laufend weiter updaten. Die jeweils aktuelle Version findet sich immer auf precampus.

Ich freue mich auf die Vorlesung und auch auf jede Anmerkung dazu oder zum Skript. Am Besten persönlich oder per Email, siehe “About”.