Wednesday, November 17, 2010

Nicole Scherzinger - Poison / TWEWY - Twister

A bit of a pointless post, but I noticed that the beginning of Nicole Scherzinger's Poison


samples from The World Ends With You:


There is even a guy with headphones at the beginning of the video =)

Wednesday, November 3, 2010

gdb instruction traces

> gdb [exe] --batch -x debug.cmds > trace.log 2>&1
with debug.cmds containing:
[prelude for misc setup including probably "b main" and "run"]
disp/i $pc
source stepiN.txt
and stepiN.txt containing N copies of "si\n" (Anyone know of a loop capability in gdb?). I tried to use this to get a good trace of an execution that happened to trail off into oblivion (executing "code" where there is none).

Other ideas for scripts:
[prelude]
b func_you_care_about
source cont_bt_N.txt

where "cont_bt_N.txt" contains N repetitions of
c
bt
i r
...
This will let you know the contexts in which "func_you_care_about" is reached.

This can also be done more simply by setting "commands" after setting the breakpoint (see http://johnnyjacob.wordpress.com/2009/07/07/gdb-scripting-short-article-for-internal-magazine/).


Misc: Just saw a talk on LLVM's lldb. It is also really scriptable. It provides scriptability from python and the ability to evaluate pretty complex C/C++ statements once a breakpoint is reached (e.g., a for-loop with printf to look through an array). One audience member commented that you could pretty much do Valgrind with these tools, but perhaps with higher overheads. Getting good traces with multi-threaded programs may also be a problem. I tried the instruction-by-instruction "stepi", and unfortunately, the trace got stuck in a CompareAndSwap loop.

Wednesday, September 15, 2010

Mugetsu



Lots of people reading Bleach =). There are no relevant links on the front page, but if you click the trends link then you will see many relevant blogposts:



Pretty cool.

Friday, August 13, 2010

Scripts Mysteriously Updated

We had a (locally downloaded) python script that needed to be given execute permissions. Mysteriously, this month it lost its execute permissions. The modification date, obviously was also some time in August. How did this happen?
XYZBBQ> How did it change? Who touched it?
jvoung> Maybe it likes to touch itself. Late at night.
Sigh.

Thursday, August 12, 2010

Fail Fail (Fail)


X> ugh
X> the dependencies for other things are also wrong
X> heh
X> script fal
X> *fail
jvoung> fail fail



The first time I tried to post this, I left the user names in angle brackets, so blogger stripped them completely. "Fail Fail" fail.

Thursday, July 8, 2010

Swedish Names

Got a giggle out of these two sentences from The Girl Who Played With Fire:
"He was pleased to have Jerker Holmberg on his team. Holmberg was fifty-five and originally from Angermanland."

Saturday, June 5, 2010

How I Lost Your Mother

Brothers from another mother?


Ted Mosby vs Sayid Jarrah.





Daniel Faraday vs Barney Stinson.

Tuesday, March 9, 2010

Defended.

For those who missed it:


I Leave UCSD :(

Saturday, February 20, 2010

Yahoo Sports Having Some Fun Again

Oh, those jokesters.



They also honored Robert Horry a while back.

Thursday, February 18, 2010

Latex include vs input

In the process of putting together my dissertation, I found that if I write sections in different files and combine the results in the main tex file using \include{file}, I would end up with wasteful whitespace due to pagebreaks between sections. Apparently, \include did a bit more than I wanted for Sections, but did the right thing for Chapters:

http://www.tac.dk/cgi-bin/info2www?(latex)\include

What does the trick is to use \input and manually place \clearpage between chapters. Another bonus of using \input is that it can be nested -- files that are \input can have \input as well.

Wednesday, February 10, 2010

The Seventeen Provers of the World

The seventeen provers of the world:

http://www.cs.ru.nl/~freek/comparison/index.html

Seems like they could have provided more of a summary of this comparison. E.g., they could have provided "lines of proof script" for each, but I guess that particular comparison (or any one number) would be unfair.

I don't know Metamath, but the Metamath one looks strange.

Monday, February 1, 2010

"Sprinkles" on English Muffins

Random thought: What do you call the "sprinkles" on the top of an English muffin? Is it just a kind of bread crumb (i.e., it's just crumbled English muffin)?