Skip to main content

Posts

2020


My favorite Anki addons

A list of anki plugins I like. This list is in no particular order. I use anki primarily for my studies of computer science. For more detail check the official pages of the plugins @ AnkiWeb. DrawingPad: Simple drawing tool made by a good friend of mine. Useful for highlighting stuff in pictures, e.g. screenshot of lecture slides. Note that you have to select an image before editing it. (Code: 370778248) Syntax Highlighting for Code: Pretty code snippets in anki.

Use Firefox on Ubuntu with touchscreen

By default Firefox had pretty bad touch support for me. E.g. no scrolling or zooming. But this was easy to change. Go to about:conifg in Firefox and set dom.w3c_touch_events.enabled=1. Then test this by running the following: env MOZ_USE_XINPUT2=1 firefox Change this as the default when starting Firefox. sudo sed -i "s|Exec=|Exec=env MOZ_USE_XINPUT2=1 |g" /usr/share/applications/firefox.desktop

2019


e-mails for new assignments in Ilias

The online learning platform ilias is used at a number of universities including the KIT. Oftentimes assignments for lectures are distributed to the students by uploading them into a specific folder in the illias course. At least I think it is quite annoying to regularly check for new assignments: Logging in, navigating to the course and check if something has changed. I solved this problem by discovering the rss feed of ilias.

Lösungswege fĂŒr HM-Klausuren

Lösungen fĂŒr Höhere Mathematik Klausuren am KIT, fĂŒr die keine offizielle Lösung existiert. Gerne können weitere Lösungen als LaTeX Snippets gesendet werden. FrĂŒhjahr 2012 #HM1 #Aufgabe 2 #a) (i) Sandwichkriterium $$|\lim_{x\to \infty}(\sqrt{3x-2}-\sqrt{3x+1})|\leq \lim_{x\to \infty}(\sqrt{3x}-\sqrt{3x}) = 0 \Rightarrow \lim_{x\to \infty}(\sqrt{3x-2}-\sqrt{3x+1}) = 0$$ (ii) Mit l’Hospital und $$\lim_{x\to \infty}\frac{e^{-x}}{x}=0$$ folgt: $$\lim_{x\to \infty} \frac{\log{1+\frac1{x}}}{\frac1{x}+e^{-x}}=\lim_{x\to \infty} -\frac1{x^2+x}\cdot\frac1{-\frac1{x^2}+e^{-x}}=\lim_{x\to \infty} -\frac1{-1-\frac1{x}+x^2e^{-x}+xe^{-x}}=1$$ b) (i) $$KR=1$$, da $$\limsup_{n\to\infty} \frac1{\sqrt[n]{\sqrt{n}}}=1$$, weiter ist fĂŒr $$\sum_{n=1}^\infty \frac{(-1)^n}{\sqrt{n}}$$ die alternierende harmonische Reihe eine Majorante und da $$\vert\frac1{2}\vert< 1$$ ist $$\sum_{n=1}^\infty \frac1{\sqrt{n}}$$ divergent.

Lineare Algebra 2 am KIT

Übersicht der Themen aus der letzten Übung: Außerdem kann ich dieses Video und seinen zweiten Teil vom MIT empfehlen. Es wird ein guter Überblick gegeben und die zahlreichen in LA I und II behandelten Themen in ihren Zusammenhang gesetzt.

Die ATIS am KIT, drucken vom Laptop

Die Abteilung Technische Infrastruktur (ATIS) gehört zur FakultĂ€t fĂŒr Informatik am KIT und ist unter Informatikstudenten hauptsĂ€chlich fĂŒr das kostenlose Drucken beliebt. Anders als im SCC (da muss man lange warten und zahlen) hat man in der ATIS 200 Freidrucke pro Semester auf den direkt zugĂ€nglichen Druckern. Außerdem gibt es dort Rechner mit Linux und Windows mit denen man bei Bedarf arbeiten kann. Sobald man sich einen ATIS Account beantragt hat, bekommt man einen Zugang mit denen man sich an den Rechnern des ATIS-Rechnerpools einloggen kann – von dort aus kann man dann auch drucken.

How I stopped my ubuntu from waking up from suspend

My Ubuntu 19.04 Laptop had the annoying property to wake up about 1 sec after being suspended (e.g the lid was closed). It took me some wasted battery charges to fix this problem. So for everyone who has similar problems (and for future me) here is how I fixed it. Open /proc/acpi/wakeup in your favorite editor. sudo vim /proc/acpi/wakeup Which looked like this: Device S-state Status Sysfs node LANC S5 *enabled pci:0000:00:19.

Softwaretechnik 1 am KIT

hilfreichen Materialien (als ich die VL gehöhrt habe) # AusfĂŒhrliche Zusammenfassung und Beispiele zu den SWT1 Themen: SWT1 Revision by example Hier ist eine gute Zusammenfassung von Lukas Bach Meine Anki Karten, Was ist Anki?! (PasswortgeschĂŒtzt, da Folien nicht unter freier Lizenz) mein Tutorium im SS20 # Meine LaTeX-Folien: Gitlab Aus diesem Git Repo nehme ich einige meiner Beispiele zum Thema Design Pattern: Design patterns implemented in Java SpĂ€ter habe ich auch noch sourcecodeexamples.

Programmieren am KIT

Im ersten Semester des Informatikstudiums am KIT besucht man ĂŒblicherweise die Vorlesung Programmieren. Diese soll gundlegende Konzepte der Programmierung am Beispiel von Java einfĂŒhren. Hier ein paar Tipps von mir: Benutzt git Schreibt viele Tests. Zum Beispiel durch Erweitern der Terminalklasse, sodass diese Textdateien einliest in denen Eingaben und erwartete Ausgaben stehen. Außerdem gibt es: Eine Onlinetestumgebung in der mehrere User TestfĂ€lle beitragen können. An vielen Stellen ist sinnvoll regulĂ€re AusdrĂŒcke zu verwenden.

Grundbegriffe der Informatik am KIT

GBI ist ein netter Rundumschlag der theoretischen Informatik (mit ein klein wenig Rechnerorganisation): Sprachen, Graphen, Automaten, Bits, Bytes, Turingmaschinen, Huffman-Codierungen, 
 In GBI hat es mir immer Spaß gemacht die Aufgaben nicht nur auf dem Papier zu lösen, sondern auch kleine Skripte zu schreiben. Viele der Aufgaben lassen sich wunderbar in wenigen Zeilen Haskell Code ausdrĂŒcken. Kleines Beispiel: iletter "" = "" iletter w = iterate tail (reverse w) !! ((length w) - 1) Im RĂŒckblick kann man sicher viele schöne Tools benutzen, um sich Dinge zu veranschaulichen.