Clik here to view.
Was muss ein Taschenrechner koennen (Teil 3)
Vor ziemlich genau 2 Jahren habe ich ueber den CASIO fx-991ES geblogged. Bis vor ein paar Tagen war das meiner Meinung nach der empfehlenswerteste wissenschaftliche Rechner in der unteren Preisklasse...
View ArticleClik here to view.
LaTeX - Wurzel mit Haken
Ich schreibe ja recht viele Texte mit LaTeX. Kuerzlich hat A. folgendes Problem an mich herangetragen, dass ich nicht auf anhieb loesen konnte: Wurzeln sollten mit einem "Haken" hinten gesetzt werden,...
View ArticleLibraries fuer lineare Algebra
In letzter Zeit habe ich einiges zu linear Algebra C Libraries recherchiert. Hier eine kurze Aufstellung der interessantesten Dinge die ich gefunden habe: Zunaechst die Loesungen die ich bereits...
View ArticleUnbeschreibbare Zahlen
Seit etwa eineinhalb Jahren beschaeftigt mich folgender Gedanke. Sicherlich ist der nicht grundlegend neu und daher habe ich mich entschlossen mal darueber zu bloggen. Moeglicherweise hat ja eine...
View ArticleWhen Patents Attack! (This American Life)
This American Life hat vor fast zwei Wochen die hervorragend gemachte Folge "When Patents Attack!" ausgestrahlt. Ich erwaehne das hier weil die Folge ein Musterbeispiel dafuer ist, wie man einem...
View ArticleAndroid Apps
Nachdem ich gerade mein Android Handy neu aufsetzen musste hier eine kleine Liste von Android Apps die ich gut finde und auf meinem Handset installiert habe (neben Apps wie YouTube und Google Maps die...
View ArticleMetalab Elektrunikkurs - Zweiter Durchgang
Morgen Abend, Fr. 30.3.2012 ab 19:00, startet der zweite Turnus des Metalab Elektronikkurs. In aller kuerze hier einfach noch mal ein copy&paste der Ankündigung:Das Metalab (http://metalab.at/)...
View ArticleInstalling Xilinx ISE 14.2 / Vivado 2012.2 on Kubuntu 12.04.1 LTS (64bit)
This is a quick write-up of the steps necessary to install Xilinx ISE 14.2 / Vivado 2012.2 on Kubuntu (Ubuntu) 12.04.1 LTS (64bit). First of all lets be said that Xilinx does not officially support...
View ArticleVortraege, meine und anderer Leute
Ich werde in den kommenden zwei monaten jeweils einen LUGA Vortrag halten (Achtung: fuer die LUGA unueblich sind die Termine Donnerstags):Do, 23.5.2013 -- High-Performance-Computing mit GPUsDo,...
View ArticleControlling a Rigol DS2000 Scope using Linux
I recently bought a RIGOL DS2072 Oscilloscope. This is not a review but let me just say this: For the price this scope is awesome! Of course I want to control my new scope from Linux. There are some...
View ArticleTomTom Start: design bug in power-up logic, or planned obsolescence
I own a TomTom Start navigation system. A few weeks ago it suddenly stopped working: It simply would not power on. Yesterday I took it apart to see if there was something I could do to fix it, or...
View ArticlePhoenix is dead, long live Phoenix!
After over 8 years of service my old server had a fatal crash three days ago. The disk controller died and killed both disks (RAID1) in the process. Fortunately my backup strategy worked like a charm...
View ArticleInstalling Ubuntu on an Acer Chromebook 13 (Tegra K1)
I bought an Acer Chromebook 13 CB5-311-T6R7 (the one with the NVidia Tegra K1 ARM CPU) to run it in a dual-boot configuration with Chrome OS and Ubuntu. I've used a slightly modified version of the...
View ArticleClik here to view.
C++11 std::unordered_set and std::unordered_map are slower than a naive...
For Yosys I was long stuck with std::set and std::map as primary container classes because one of the goals of Yosys is to produce identical outputs for the same input across all compilers and...
View ArticleProjects and other stuff 2015
Some of the stuff I did in 2015: Yosys now has a powerful formal verification flow based around the SMT2 file format: yosys-smtbmc. I've also made a presentation on computational complexity, SAT/SMT...
View Article
