Unbeschreibbare 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 ArticleClik here to view.
Lessons learned from 29c3
I'm back from 29C3 and it was awesome! Lessons learned for the next year:You can not escape the Hackerpest!Pack at least a full set of clothes for every day (including new trousers for every day), if...
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 ArticleUpdates (2016 and Q1 2017)
I did not blog for a while. Here are some updates on what I've been up to in the 15 months since my last blog post: I've been working on Yosys and formal verification a lot. In 2016 I've been visiting...
View ArticleClifford's Rules for Hidden Move Go
Nick Sibicky recently uploaded three videos to his youtube channel of him playing Hidden Move Go with Andrew Jackson. As someone interested in Go and AI I think Hidden Move Go would be an extremely...
View Article
