# Posts

### September 24, 2014

+
No summary available for this post.
+
Leslie Lamport coined the phrase “proof maintenance” to describe the process of producing variations of a proof over time. It’s well known that software needs to be maintained; most of the work on a program occurs after it is “finished.” Proof maintenance is common as well, but it is usually very informal. Proofs of any […]
+
As examplified by this work, genomics is bound to have a profound effect on designing new algorithms.Stochastic Coordinate Coding and Its Application for Drosophila Gene Expression Pattern Annotation by Binbin Lin, Qingyang Li, Qian Sun, Ming-Jun Lai, Ian Davidson, Wei Fan, Jieping Ye \textit{Drosophila melanogaster} has been established as a model organism for investigating the fundamental principles of developmental gene interactions. The gene expression patterns of \textit{Drosophila […]
+
I’ve been flying an original DJI Phantom quadrotor for almost two years. Even though it’s never given me an ounce of trouble, watching the super-stable video footage from quads equipped with camera gimbals convinced me that I needed an upgrade. Rather than add a gimbal to my Phantom, I decided to keep it as a sport flyer and add a new quad to my fleet. The new ship is a Blade 350QX2 AP Combo (~$900). Its features are similar to the Phantom 2 Vision + reviewed by Norm and Will, but […] + No summary available for this post. ### September 23, 2014 + By now, the news that Microsoft abruptly closed its Silicon Valley research lab—leaving dozens of stellar computer scientists jobless—has already been all over the theoretical computer science blogosphere: see, e.g., Lance, Luca, Omer Reingold, Michael Mitzenmacher. I never made a real visit to Microsoft SVC (only went there once IIRC, for a workshop, while a grad […] + When I interviewed Daniel Spielman at this year’s Heidelberg Laureate Forum, we began our conversation by looking for common mathematical ground. The first thing that came up was orthogonal polynomials. (If you’re wondering what it means for two polynomials to be orthogonal, see here.) JC: Orthogonal polynomials are kind of a lost art, a topic […] ### September 22, 2014 + The role of sex? Cropped from source Christos Papadimitriou has a joint paper with Adi Livnat, Aviad Rubinstein, Gregory Valiant, and Andrew Wan that will appear soon at FOCS 2014. The conference is October 19–21 in Philadelphia, with workshops and tutorials on the 18th. Here are the accepted papers, several others of which interest me […] + A few months ago, I signed a contract with MIT Press to publish a new book: an edited anthology of selected posts from this blog, along with all-new updates and commentary. The book’s tentative title (open to better suggestions) is Speaking Truth to Parallelism: Dispatches from the Frontier of Quantum Computing Theory. The new book should […] + This past summer I spent a few weeks in Israel and then in Iceland (with brief visits to the Oxford workshop on Biological Sequence Analysis and Probabilistic Models, and to IST Austria). This is the first of two posts about my travels. I have been a regular visitor to Iceland during the past 12 years, and […] + Last year, there was an "Ecole de Physique" in Cargese on Statistical physics, Optimization, Inference and Message-Passing algorithms. Florent Krzakala, one of the organizers, mentioned earlier today that they had released the lecture notes of the talks. They are all on this page. Autumn School, September 30 -- October 11, 2013HomeOverviewProgram/PhotosParticipantsBookProceeding of all lecturesCalled "Statistical Physics, Optimization, Inference, and Message-Passing Algorithms" and […] + Michael Atiyah quoted Hermann Weyl in the opening talk at the second Heidelberg Laureate Forum: I believe there is, in mathematics, in contrast to the experimental disciplines, a character which is nearer to that of free creative art. There is evidence that the relation of artistic beauty and mathematical beauty is more than an analogy. […] + An app might only cost a buck or two, but if you end up buying things that don't strike your fancy, that could add up to a lot of wasted money. It's best to go into the Play Store with some idea of what's a safe bet. That's what the Google Play App Roundup is here to do--it's the best new stuff every week. Just click on the app name to head to the Play Store and test it out yourselfThis week there's a new volume control app, a game about being a Goat, and a lovely atmospheric puzzler.Noyze […] + No summary available for this post. ### September 21, 2014 + My new pet theory is that avantouinti (literally “hole-in-the-ice-swimming”) and love of chili peppers are somehow related. At least here in Tampere I can find people who do both: go out in extreme cold, and jump to the lake, and eat … Continue reading → + It happened last season. When Franck and I decided to program Season 1 of the Paris Machine Learning meetup, we initially thought the whole thing would run out pretty quickly. Indeed, our interest was to get people to talk about algorithms as opposed to specific web/langage technologies as is usually the case in technical meetups these days.Over the course of the Parisian Winter, we both realized that people who came to the meetups were not scared by difficult subjects. In fact, the feedback […] + If you walk across the Seine in Paris on the Pont des Arts you’ll see thousands and thousands of love locks. I saw this morning that Heidelberg has its own modest collection of love locks on the Old Bridge across the Neckar. These may be new. If they were here last year, I didn’t notice […] ### September 20, 2014 + Needed to generate draws from an inverse Gaussian today, so I wrote the following Rcpp code: It seems to be faster than existing implementations such as rig from mgcv and rinvgauss from statmod packages. rename rrinvgauss as desired. The post Generate Random Inverse Gaussian in R appeared first on Lindons Log. + Random Functions for Dependence and Component Analysis by David Lopez-Paz. The slides are here.ICML: Randomized Nonlinear Component Analysis by David Lopez-Paz; Suvrit Sra; Alex Smola; Zoubin Ghahramani; Bernhard SchoelkopfJoint Talk: Automatic Statistician - the big picture & Automatic construction and natural language description of nonparametric regression models by Zoubin Ghahramani and James LLoyd. The slides are here.Other talks and videos of the First MSR-MLG Joint […] + Norm Drinks Soylent, Day 7 + I’m in Heidelberg again for the Heidelberg Laureate Forum. Next week I will be writing about the forum on the HLF blog and posting on Twitter with hash tag #hlf14. + No summary available for this post. + If you listened to this week's edition of This Is Only a Test, you know that I was in Portland last week for the XOXO Festival. XOXO is a gathering of interesting makers of all types, from game developers to filmmakers to engineers to sculptors and more. Over the weekend, I got to meet dozens of fascinating folks from around the world. (The talks will be online in coming weeks, and I'll post the ones that were particularly relevant to Tested readers on the site as they come online.)XOXO's talks […] ### September 19, 2014 + No summary available for this post. + Norm Drinks Soylent, Day 5 + Here is another fascinating aspect of randomization, detecting causation from correlation: The Randomized Causation Coefficient by David Lopez-Paz, Krikamol Muandet and Benjamin RechtWe are interested in learning causal relationships between pairs of random variables, purely from observational data. To effectively address this task, the state-of-the-art relies on strong assumptions regarding the mechanisms mapping causes to effects, such as invertibility or the existence of additive noise, […] + No summary available for this post. + Here are a slew of very interesting papers connecting to the earlier Hardware Based Stochastic Gradient Descent and much earlier random features:High-performance Kernel Machines with Implicit Distributed Optimization and Randomization by Vikas Sindhwani, Haim AvronComplex machine learning tasks arising in several domains increasingly require "big models" to be trained on "big data". Such models tend to grow with the complexity and size of the training data, and do not make strong parametric […] + The next generation of Nvidia graphics cards has arrived. We first saw Nvidia's Maxwell architecture--the follow-up to Keplar--in the GTX 750 GPU. That$150 card was an entry-level introduction to Nvidia's new approach to desktop GPU design, incorporating power efficiencies learned from generations of Tegra development. From Loyd's GTX 750 review:"Kepler has a monolithic control logic unit that managed scheduling for up to 192 cores. Maxwell now allocates a smaller, more efficient control logic […]
+
No summary available for this post.