Profile cover photo
Profile photo
Stefan Bucur
669 followers
669 followers
About
Stefan's posts

Post has shared content
Pretty much informative and uncluttered UI for flight planning: http://google.com/flights
Get a bird's-eye view of your next adventure with the updated Flight Search. It’s now much easier to browse different destinations and choose the right one for your next trip. You can even zoom in and out of locations all around the world to see potential destinations and price fluctuations by month in the expanded map view: goo.gl/hLjNc7.

Post has attachment
Monthey, VS
Photo

Post has shared content
So when will we see something like this done for a systems conference? :)
Some nice Graphics ahead
SIGGRAPH 2014
Watch this !

Post has shared content

Post has shared content
Beautiful abstract art?

Rather this is a graphical representation of the frequency of four digit PIN codes. On the x-axes we have the first two PIN digits from 00.. to 99.., on the y-axes we have the last two digits from ..00 to ..99. Popular PIN codes include the yellow diagonal, PIN codes of the form XYXY, and even more bright XXXX. The vertical yellow line are PIN codes marking a year, mostly between the years 1930-2010. The yellow blob on the lower left are US formatted calendar days from 01/01 to 12/31 (you can even see how many days each month has). Also singleton yellow dots can be explained.

Anyway, it is beautiful, in my opinion.
Photo

Post has shared content

Post has shared content
One of the most educative uses of GIFs that I've seen (check all the 9 pics).

Post has shared content
It is simply mind-boggling how such a complex microscopic machine (a) is made possible by the laws of physics and (b) resulted naturally in the process of evolution...
This is an animation of DNA replication by DNA polymerase and accurately shows the function of all its subunits.

Source: http://youtu.be/OjPcT1uUZiE

h/t: chemistrydoc
Animated Photo

Post has attachment
Software testing can be daunting, time-consuming, and prone to human error. Automated testing techniques, such as model checking or symbolic execution, promise to alleviate the testing effort and spot more programming errors. Alas, at the moment, such techniques face several challenges in getting mainstream adoption.

One such challenge is the difficulty of producing automated testing engines for dynamic interpreted languages, such as Python or Ruby, which are getting increasingly popular among web developers and system integrators.

To this end, I'm happy to share our latest research result, a recipe and system -- Chef --  for turning vanilla interpreter implementations into correct and complete symbolic execution engines. With only a fraction of the effort needed to build such an engine from scratch, we built using Chef symbolic execution engines for Python and Lua, which we used to find bugs and obtain code coverage in popular library packages.

Read more about Chef in our upcoming ASPLOS'14 paper, also available at http://dslab.epfl.ch/pubs/chef.pdf?attredirects=0

Post has attachment
My original plan was to go up on a mountain to try out my new snow chains. But close to the summit, the road became more difficult and I had to turn back. Fortunately, the cloud blanket was dissipating during my descent, and I got the chance to shoot these photos.
PhotoPhotoPhotoPhotoPhoto
Above the Clouds and Back
6 Photos - View album
Wait while more posts are being loaded